Definition:Propositional Logic/Also known as

Propositional Logic: Also known as

As propositional logic (as are its synonyms) is such a mouthful and takes so long to write, some authors succumb to the temptation to abbreviate it by referring to it more-or-less consistently as PropLog.

Propositional logic is also referred to as:

• zeroth order logic (where first order logic is predicate logic)
• propositional calculus
• sentential calculus
• theory of deduction

Sources

• 1946: Alfred Tarski: Introduction to Logic and to the Methodology of Deductive Sciences (2nd ed.) ... (previous) ... (next): $\S \text{II}.7$: Sentential calculus (footnote)
• 1959: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd ed.) ... (previous) ... (next): $\S 2.1$: Propositions and their Relations
• 1993: M. Ben-Ari: Mathematical Logic for Computer Science ... (previous) ... (next): Chapter $1$: Introduction: $\S 1.2$: Propositional and predicate calculus
• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): logic
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): logic