Propositional calculus - related articles and key terms

Related articles: Axiom   Modal logic   Boolean function   Entailment   Set theory   Logical connective   First-order logic   Boolean algebra (structure)   Boolean algebra (logic)   Mathematical logic   Truth table   Consistency   Theorem   Argument

Key terms: propositional   neg   infer   axiom   rightarrow   mathcal   lor   iff   vdash   neg p   propositional calculus   inference rule   propositional logic   disjunction   provable   modus ponens   soundness   neg q   syntactically   leftrightarrow   logika   raining outside   boolean algebra   lor q   intuitionistic   heyting algebra   propositional variables   biconditional   propositional constants   turnstile   operator symbols   logical connectives   parse graphs   we may infer   leftrightarrow q   natural deduction   mathematical logic   inductive step   converse of dt   semantically entails   logical calculi   logically valid   truth assignment   deduction theorem   boolean or heyting   two simpler propositions   syntactically entails   conjunction elimination   sentence of propositional logic   intuitionistic propositional calculus


Search external links cited by footnotes on Wikipedia page Propositional calculus: