Combining Texts

Ideas for 'works', 'Introduction to the Theory of Logic' and 'Sickness unto Death'

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

display all the ideas for this combination of texts

---

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)