Propositional Calculus

The formal basis of Logic dealing with the notion and usage of words such as ``Not,'' ``Or,''``And,'' and ``Implies.'' Many systems of propositional calculus have been devised which attempt toachieve consistency, completeness, and independence of Axioms.

References

Cundy, H. and Rollett, A. Mathematical Models, 3rd ed. Stradbroke, England: Tarquin Pub., pp. 254-255, 1989.

Nidditch, P. H. Propositional Calculus. New York: Free Press of Glencoe, 1962.

• Highly Abundant Number
• Highly Composite Number
• Higman-Sims Group
• Hilbert Basis Theorem
• Hilbert Curve
• Hilbert Function
• Hilbert Hotel
• Hilbert Matrix
• Hilbert Number
• Hilbert Polynomial
• Hilbert's Axioms
• Hilbert-Schmidt Norm
• Hilbert-Schmidt Theory
• Hilbert's Constants
• Hilbert's Inequality
• Hilbert's Nullstellansatz
• Hilbert Space
• Hilbert's Problems
• Hilbert's Theorem
• Hilbert Transform
• Hillam's Theorem
• Hill Determinant
• Hill's Differential Equation
• Hindu Check
• Hinge