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

Modus tollens

Index Modus tollens

Modus tollens (lüh MT, lad modus tollendo tollens) on tingimusloogikas kasutatav keeleline järeldusreegel, mis põhineb eitusel.

4 suhted: Eeldus, Järeldus (traditsiooniline loogika), Modus ponens, Tuletusreegel.

Eeldus

Eeldus on propositsioon (väide), mille tõesus võetakse arutlemisel aluseks, olgugi et selle tõesus pole kindel.

Uus!!: Modus tollens ja Eeldus · Näe rohkem »

Järeldus (traditsiooniline loogika)

Järeldus (järeldamine) on arutlus, mille käigus ühest või mitmest otsustusest, mida nimetatakse järelduse eeldusteks, saadakse loogika vahenditega uus otsustus (järeldis kitsamas mõttes ehk tuletis).

Uus!!: Modus tollens ja Järeldus (traditsiooniline loogika) · Näe rohkem »

Modus ponens

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

Uus!!: Modus tollens ja Modus ponens · 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 tollens ja Tuletusreegel · Näe rohkem »

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