Propositional calculus - related articles and key terms

Related articles: Propositional formula   First-order logic   Deduction theorem   Well-formed formula   Sequent calculus   Turnstile (symbol)   Logical connective   Formal system   Entailment   Modal logic   Boolean algebra (structure)   Boolean algebra (logic)   Laws of Form   Term logic   Many-valued logic   Theorem   Truth table   Boolean-valued function   Conditional proof   Logical graph

Key terms: propositional   calculus   inference   rightarrow   axiom   propositional calculus   neg   propositional logic   inference rule   vdash   entails   disjunction   lor   neg p   modus ponens   iff   syntactically   leftrightarrow   raining outside   boolean algebra   propositional variables   soundness   provable   intuitionistic   heyting algebra   logika   rightarrow q   logical connectives   calculi   biconditional   tautology   mathematical logic   natural deduction   neg q   lnot   conjunction elimination   falsity   sentential   truth assignment   deduction theorem   lor q   logically valid   material conditional   inductive step   turnstile


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