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

Implikatsioon

Index Implikatsioon

A \rightarrow B. The circle on the left bounds all members of set A, and the one on the right bounds all members of set B. The red area describes all members for which the material conditional is true, and the white area describes all members for which it is false. The material conditional differs significantly from a natural language's "if...then..." statement. It is only false when both the antecedent A is true and the consequent B is false Implikatsioon ehk materiaalne implikatsioon on tõeväärtuste algebras ehk loogikaalgebras binaarne tehe, mille tulem on väär parajasti siis, kui tehte esimene operand on tõene ja teine operand on väär. Implikatsiooni saab tähistada järgnevalt.

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 »

Ümbersuunamised siin:

Materiaalne implikatsioon.

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