14th slide onwards
tautological consistency - there exists a situation where all wff’s are true together
A set of propositions is inconsistent if a conjunction of propositions is a contradiction
A set of propositions is tautologically valid
if and only if
The set of propositions’ negated conclusion creates an inconsistency.
Efficiency