Logo
Unioonpeedia
Side
Hankige see Google Play
Uus! Lae Unioonpeedia oma Android ™!
Free
Kiiremini kui brauser!
 

Modus ponens

Index Modus ponens

Modus ponens (lühend MP; lad modus ponendo ponens) on tingimusloogikas kasutatav keeleline järeldusreegel, mis põhineb jaatusel.

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.

Uus!!: Modus ponens ja Valetaja paradoks · Näe rohkem »

VäljuvSaabuva
Hei! Oleme Facebookis nüüd! »