Ekvivalenca: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
{{počisti}} Kategorija:Logika |
Počistil, uskladil z ostalimi operacijami, +interwiki |
||
Vrstica 1:
V [[matematika|matematični]] [[logika|logiki]] je '''ekvivalenca''' dvočlena [[logika|logična operacija]] med izjavami. Znak za ekvivalenco je <math>\Leftrightarrow</math> ali redkeje tudi <math>\leftrightarrow</math>. Ekvivalenca <math>A\Leftrightarrow B</math> je pravilna, samo če imata operanda ''A'' in ''B'' enako logično vrednost (ali sta oba pravilna ali pa oba napačna).
Ekvivalenca▼
Ekvivalenco <math>A\Leftrightarrow B</math> lahko beremo na več načinov:
{| class="wikitable"▼
*''A'', če in samo če ''B''.▼
*Iz ''A'' sledi ''B'' in iz ''B'' sledi ''A''.▼
*''A'' natanko takrat, ko ''B''.▼
*''A'' je potreben in zadosten pogoj za ''B''.▼
== Pravilnostna tabela ==
▲{| class="wikitable" align="center"
▲|+ Ekvivalenca
|- ▼
! ''A''
! ''B''
! <math>A\Leftrightarrow B</math>
|-
| p || p || p
|-
| p || n || n
|-
| n || p || n
|-
| n || n || p
▲|-
|}
'''Opomba''': ''p - pravilno, n - nepravilno''
==Glej tudi==
▲Iz A sledi B in iz B sledi A.
* [[negacija]]
* [[Konjunkcija (logika)|konjunkcija]]
* [[disjunkcija]]
* [[implikacija]]
▲A, če in samo če B.
▲A natanko takrat, ko B.
▲A je potreben in zadosten pogoj za B.
[[Kategorija:Logika]]
[[ca:Si i només si]]
[[de:Logische Äquivalenz]]
[[el:Αν και μόνο αν]]
[[en:Logical equivalence]]
[[eo:S.n.s.]]
[[es:Bicondicional]]
[[fi:Jos ja vain jos]]
[[fr:Équivalence logique]]
[[he:אם ורק אם]]
[[hu:Akkor és csak akkor]]
[[is:Eff]]
[[it:Se e solo se]]
[[ja:同値]]
[[lmo:Si e noma si]]
[[lt:Tada ir tik tada (teiginys)]]
[[mk:Ако и само ако]]
[[nl:Dan en slechts dan als]]
[[pl:Równoważność]]
[[pt:Se e somente se]]
[[simple:If and only if]]
[[sr:Акко]]
[[sv:Om och endast om]]
[[ur:اگر بشرط اگر]]
[[vi:Tương đương logic]]
[[zh:当且仅当]]
| |||