State and Prove Modus Ponens and Modus Tollens

Modus Ponens :-

If A and B are two simple propositions defined on Universe of discourse X then the compound proposition tautology

modus-ponens-tautology

Proof :-

Modus-Ponens-Proof

Modus Tollens :-

When A and B are two simple propositions defined on Universe of elements X then the compound proposition

Modus Tollens Tautology

Proof :-

Modus-Tollens-Proof

One Response

  1. tisha

    It’s hard to come by well-informed people on this topic, however, you sound like you know what you’re talking about!
    Thanks