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

1 thought on “State and Prove Modus Ponens and Modus Tollens”

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

Comments are closed.

Scroll to Top