sa se arate că următoarea formula de calcul propozițional este tautologi:
a=((pVq)^nul p).→ (modus tollendo ponens)
