Ekvivalencia (logika): Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
interwiki, infobox, wikilinky |
doplnenie tabulky pravdivostnych hodnot |
||
Riadok 1:
'''Ekvivalencia''' ([[latinčina|lat.]] aequivalentia - rovnoznačnosť) je [[operácia logická|logická operácia]], ktorá spočíva v použití spojok typu "vtedy a len vtedy, keď" alebo "práve vtedy, keď" v [[usudzovanie|usudzovaní]]; často sa vyjadruje pomocou [[implikácia|implikácie]] a [[Konjunkcia (logika)|konjunkcie]]. Symbolicky sa označuje znakom <math>\Leftrightarrow \!\,</math>, alebo <math>\leftrightarrow</math>, ktorý sa nazýva ekvivalentor.
{| class="wikitable"
! ''p'' !! ''q'' !! ''p'' <math>\Leftrightarrow \!\,</math> ''q''
|- align=center
| 0 || 0 || 1
|- align=center
| 0 || 1 || 0
|- align=center
| 1 || 0 || 0
|- align=center
| 1 || 1 || 1
|}
== Pozri aj ==
* [[Konjunkcia (logika)|Konjunkcia]]
* [[Disjunkcia (výroková spojka)|Disjunkcia]]
* [[Implikácia (logika)|Implikácia]]
* [[Negácia (logika)|Negácia]]
| |||