Ekvivalents: erinevus redaktsioonide vahel

Allikas: Vikipeedia
Eemaldatud sisu Lisatud sisu
Ukangur (arutelu | kaastöö)
Resümee puudub
16. rida: 16. rida:
|}
|}


==Ekvivalentsi illustreerimine Venni diagrammide abil==
==Venni diagrammid==
Punased alad näitavad tõest tõeväärtust (nagu [[Image:Venn0001.svg|40px]] ''[[ühend|ühendi]]'' puhul).
Punased alad näitavad tõest tõeväärtust (nagu [[Image:Venn0001.svg|40px]] ''[[ühend|ühendi]]'' puhul).



Redaktsioon: 14. august 2018, kell 17:45

Ekvivalents ehk bikonditsionaal ehk vastavus[viide?] on loogikatehe, mis vastab seosele "... parajasti siis, kui ..." [1] ja märgitakse ~.

Ekvivalentsi tõeväärtustabel
X Y X~Y
0 0 1
0 1 0
1 0 0
1 1 1

Ekvivalentsi illustreerimine Venni diagrammide abil

Punased alad näitavad tõest tõeväärtust (nagu ühendi puhul).

kahe lausearvutuse lause ekvivalents on
ekvivalentne välistava disjunktsiooni eitus:

Ekvivalents ja kolme lausearvutuse
lause välistav disjunktsioon
annavad sama tulemuse:



saab lihtsamalt avaldada kujul

Vaata ka

Viited