12 suhted: Assotsiatiivsus, Cambridge, De Morgani seadused, Distributiivsus, Eeldus, Hulgateooria, Ivan Orlov, Järeldus (traditsiooniline loogika), Kommutatiivsus, Refleksiivsus, Transitiivsus, Willard Van Orman Quine.
Assotsiatiivsus
Assotsiatiivsus ehk ühenduvus on binaarse tehte omadus: tehet * nimetatakse assotsiatiivseks, kui iga x, y ja z korral (x * y) * z.
Uus!!: Implikatsioon ja Assotsiatiivsus · Näe rohkem »
Cambridge
left Cambridge on ülikoolilinn Inglismaal East Anglias, Cambridgeshire'i krahvkonna keskus.
Uus!!: Implikatsioon ja Cambridge · Näe rohkem »
De Morgani seadused
De Morgani seadused on Boole'i algebras ja lausearvutuses kasutusel olevat kaks põhisamaväärsust.
Uus!!: Implikatsioon ja De Morgani seadused · Näe rohkem »
Distributiivsus
Distributiivsus ehk jaotuvus on binaarse tehte omadus jaotuda teise binaarse tehte suhtes.
Uus!!: Implikatsioon ja Distributiivsus · Näe rohkem »
Eeldus
Eeldus on propositsioon (väide), mille tõesus võetakse arutlemisel aluseks, olgugi et selle tõesus pole kindel.
Uus!!: Implikatsioon ja Eeldus · Näe rohkem »
Hulgateooria
Hulgateooria on matemaatika haru, mis uurib hulkade üldisi omadusi, samuti järjestusi ja muid seoseid ning mõningaid muid valdkondi.
Uus!!: Implikatsioon ja Hulgateooria · Näe rohkem »
Ivan Orlov
Ivan Jefimovitš Orlov (1886 – hiljemalt 1936) oli vene filosoof, loogik ja tööstuskeemik.
Uus!!: Implikatsioon ja Ivan Orlov · 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!!: Implikatsioon ja Järeldus (traditsiooniline loogika) · Näe rohkem »
Kommutatiivsus
Kommutatiivsus ehk vahetuvus ehk vahetatavus on binaarse tehte, sealhulgas binaarse algebralise tehte omadus: hulgal S defineeritud tehe * on kommutatiivne, kui iga x ja y korral hulgast S kehtib: x * y.
Uus!!: Implikatsioon ja Kommutatiivsus · Näe rohkem »
Refleksiivsus
Refleksiivsus on binaarse seose omadus, mis seisneb selles, et iga element on selles seoses iseendaga.
Uus!!: Implikatsioon ja Refleksiivsus · Näe rohkem »
Transitiivsus
Transitiivsus on binaarse seose omadus, mis seisneb selles, et kui x on seoses y-ga ja y on omakorda seoses z-ga, siis on ka x seoses z-ga.
Uus!!: Implikatsioon ja Transitiivsus · Näe rohkem »
Willard Van Orman Quine
Willard Van Orman Quine (25. juuni 1908 Akron, Ohio – 25. detsember 2000 Boston) oli ameerika filosoof ja loogik.
Uus!!: Implikatsioon ja Willard Van Orman Quine · Näe rohkem »