Combining Texts

Ideas for 'Mahaprajnaparamitashastra', 'Principia Mathematica' and 'Kant and the Critique of Pure Reason'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL

9542	The best known axiomatization of PL is Whitehead/Russell, with four axioms and two rules [Russell/Whitehead, by Hughes/Cresswell]
	Full Idea: The best known axiomatization of PL is Whitehead/Russell. There are four axioms: (p∨p)→p, q→(p∨q), (p→q)→(q∨p), and (q→r)→((p∨q)→(p∨r)), plus Substitution and Modus Ponens rules.
	From: report of B Russell/AN Whitehead (Principia Mathematica [1913]) by GE Hughes/M Cresswell - An Introduction to Modal Logic Ch.1