Function that checks for the application of Modus Tollens: (i) ~q; (ii) p -> q; (iii) ~p This follows the same logic as modusPonens, except that here we go from the negation of the consequent of a conditional to the negation of the antecedent.
Generated using TypeDoc
Function that checks for the application of Modus Tollens: (i) ~q; (ii) p -> q; (iii) ~p This follows the same logic as modusPonens, except that here we go from the negation of the consequent of a conditional to the negation of the antecedent.