That e.g. the propositions “ p ” and “ ~ p ” in the connection “ ~ ( p . ~ p ) ” give a tautology shows that they contradict one another. That the propositions “ p ⊃ q ”, “ p ” and “ q
6.1201
541
That e.g. the propositions “ p ” and “ ~ p ” in the connection “ ~ ( p . ~ p ) ” give a tautology shows that they contradict one another. That the propositions “ p ⊃ q ”, “ p ” and “ q