1 vztah: Ekvivalence (logika).
Ekvivalence (logika)
Název ekvivalence je v logice používán pro binární logický operátor značený symbolem ⇔ (\Leftrightarrow \,\!). Významově odpovídá tento operátor větné konstrukci „právě tehdy, když“ (zastarale „tehdy a pouze tehdy, když“ a „tehdy a jen tehdy, když“) (anglicky if and only if, zkráceně iff) — ekvivalence tedy říká, že spojovaná tvrzení platí pouze zároveň (obě ano, nebo obě ne).
Nový!!: Logická rovnice a Ekvivalence (logika) · Vidět víc »