noun
модус толленс
A valid form of argument in logic where if a conditional statement ('if P, then Q') is accepted, and the consequent (Q) is denied, then the antecedent (P) must also be denied.
Логикадағы дұрыс дәлелдеу түрі, мұнда шартты пікірді ('егер P болса, онда Q') қабылдасақ, ал қорытындыны (Q) жоққа шығарсақ, онда алғышартты (P) да жоққа шығару керек.