Combining Philosophers

Ideas for Hermarchus, Jos L. Zalabardo and Christopher Peacocke

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

display all the ideas for this combination of philosophers

---

1 idea

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / b. Basic connectives

10896	Propositional logic just needs ¬, and one of ∧, ∨ and → [Zalabardo]
	Full Idea: In propositional logic, any set containing ¬ and at least one of ∧, ∨ and → is expressively complete.
	From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §2.8)