Propositional Proof Theory

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Propositional Proof Theory.

• Modus Ponendo Tollens — From the incompatibility of A and B together with A, infer not-B: affirming one jointly forbidden proposition eliminates the other.