Current Total Ideas:
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]
Propositional logic is complete, since all of its tautologous sequents are derivable