back to ideas for this text

---

Single Idea 10896

[from 'Introduction to the Theory of Logic' by José L. Zalabardo, in 5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / b. Basic connectives ]

Full Idea

In propositional logic, any set containing ¬ and at least one of ∧, ∨ and → is expressively complete.

Gist of Idea

Propositional logic just needs ¬, and one of ∧, ∨ and →

Source

José L. Zalabardo (Introduction to the Theory of Logic [2000], §2.8)

Book Reference

Zalabardo,José L.: 'Introduction to the Theory of Logic' [Westview 2000], p.71

---