Current Total Ideas:
structure for 'Formal Logic'
alphabetical list of themes
expand these ideas
4. Formal Logic / B. Propositional Logic PL / 4. Soundness of PL
[any formula which has a proof is a valid formula]
If any of the nine rules of propositional logic are applied to tautologies, the result is a tautology
The rules preserve validity from the axioms, so no thesis negates any other thesis