7 suhted: Aksioom, Aquino Thomas, Loogika mõisteid, Modus tollens, Stoitsism, Tuletusreegel, Valetaja paradoks.
Aksioom
Aksioom ehk postulaat on matemaatikas väide, mis võetakse tõestuseta aluseks deduktiivse teooria ülejäänud väidete tuletamiseks.
Uus!!: Modus ponens ja Aksioom · Näe rohkem »
Aquino Thomas
Aquino Thomas ehk Thomas Aquinost (itaaliapäraselt Tommaso d'Aquino; arvatavasti 1225 Roccasecca – 7. märts 1274 Fossanova) oli Itaalia päritolu dominikaani munk, katoliku vaimulik ja pühak ning kirikudoktor.
Uus!!: Modus ponens ja Aquino Thomas · Näe rohkem »
Loogika mõisteid
Siin on loetletud loogika mõisteid.
Uus!!: Modus ponens ja Loogika mõisteid · Näe rohkem »
Modus tollens
Modus tollens (lüh MT, lad modus tollendo tollens) on tingimusloogikas kasutatav keeleline järeldusreegel, mis põhineb eitusel.
Uus!!: Modus ponens ja Modus tollens · Näe rohkem »
Stoitsism
Stoitsism oli antiikfilosoofia koolkond.
Uus!!: Modus ponens ja Stoitsism · Näe rohkem »
Tuletusreegel
Tuletusreegel või järeldusreegel on loogiline vorm, mis koosneb eelduste süntaksi analüüsi ja järelduste tuletamise funktsioonidest.
Uus!!: Modus ponens ja Tuletusreegel · Näe rohkem »
Valetaja paradoks
Valetaja paradoks on paradoks, mis tekib, kui mingi propositsiooni kohta jõutakse järeldusele, et ta on tõene parajasti siis, kui ta ei ole tõene.