Disjunkcia (logika): Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
wiki; todo: demorganove pravidla |
Bez shrnutí editace |
||
| Riadok 1: | 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. |
|||
'''Disjunkcia''' je [[výroková spojka]]. |
|||
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]]. |
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. |
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]] |
[[Kategória:Logika]] |
||
Verzia z 09:22, 24. jún 2006
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ýroky spojené disjunkciou tvoria výrok (nazývaný aj disjunkciou týchto dvoch výrokov), ktorý je pravdivý práve vtedy, ak je pravdivý aspoň jeden zo spájaných výrokov. V hovorovom jazyku sa väčšinou vyjadruje spojkou alebo.
| p | q | p ∨ q |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 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ázdnej množiny výrokov sa považuje za nepravdivý výrok.