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.