Modus tollens
Definition of Modus tollens:
-
The rule of logic which states that if a conditional statement (‘if p then q ’) is accepted, and the consequent does not hold ( not-q ) then the negation of the antecedent ( not-p ) can be inferred.
إنكار الاستدلال
تعريف إنكار الاستدلال:
-
قاعدة المنطق التي تنص على أنه إن قبلنا العبارة الشرطية «إن تحقق أ يتحقق ب»، ولم يتحقق ب، بالإمكان استنتاج أن أ لم يتحقق.
— Source: Oxford Languages