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

Proof :-

Modus Tollens :-

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

Proof :-

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