1 vztah: Modus tollens.
Modus tollens
Ve výrokové logice Modus tollens, také Modus tollendo tollens či popírání důsledku je pravidlo usuzování, jehož forma je následující: Jestliže A implikuje B a zároveň neplatí B, neplatí A.
1 vztah: Modus tollens.
Ve výrokové logice Modus tollens, také Modus tollendo tollens či popírání důsledku je pravidlo usuzování, jehož forma je následující: Jestliže A implikuje B a zároveň neplatí B, neplatí A.