Disjunkcia (logika): Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
wiki; todo: demorganove pravidla |
Bez shrnutí editace |
||
Riadok 1:
Logická '''disjunkcia''' (používa sa pre ňu symbol ∨) je [[výroková spojka]], ktorej hodnota je pravda práve vtedy, keď aspoň jeden zo vstupných operandov je pravda.
Dva [[výrok]]y spojené disjunkciou tvoria výrok (nazývaný aj ''disjunkciou týchto dvoch výrokov''), ktorý je [[pravdivostná hodnota|pravdivý]] práve vtedy, ak je pravdivý aspoň jeden zo spájaných výrokov. V hovorovom jazyku sa väčšinou vyjadruje spojkou [[alebo]].
{| class="wikitable"
! ''p'' !! ''q'' !! ''p'' ∨ ''q''
|- align=center
| 0 || 0 || 0
|- align=center
| 0 || 1 || 1
|- align=center
| 1 || 0 || 1
|- align=center
| 1 || 1 || 1
|}
Disjunkcia viacerých výrokov (množiny výrokov) je pravdivá práve vtedy, ak je pravdivý aspoň jeden z týchto výrokov. Disjunkcia [[prázdna množina|prázdnej množiny]] výrokov sa považuje za nepravdivý výrok.
==Pozri aj==
* [[Konjunkcia (logika)|Konjunkcia]]
* [[Implikácia (logika)|Implikácia]]
* [[Negácia (logika)|Negácia]]
[[Kategória:Logika]]
|