structure for all areas    |     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]