structure for 'Formal Logic'    |     alphabetical list of themes    |     expand these ideas

---

4. Formal Logic / B. Propositional Logic PL / 5. Completeness of PL

[there is a proof for every valid formula]

1 idea

9539	Propositional logic is complete, since all of its tautologous sequents are derivable [Lemmon]