Hur skriver man ett argument med modus ponens och modus tollens?

Hur skriver man ett argument med modus ponens och modus tollens?

Om idag är måndag så imorgon är det tisdag.