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
It’s hard to come by well-informed people on this topic, however, you sound like you know what you’re talking about!
Thanks