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

Comments 1

Leave a Reply

Your email address will not be published. Required fields are marked *