Logo
Uniepedie
Sdělení
Nyní na Google Play
Nový! Ke stažení Uniepedie na vašem zařízení se systémem Android™!
Stažení
Rychlejší přístup než prohlížeči!
 

Logická rovnice

Index Logická rovnice

#PŘESMĚRUJ Ekvivalence (logika).

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 »

OdchozíPřicházející
Ahoj! Jsme na Facebooku teď! »