Disjunkcia (výroková spojka): Rozdiel medzi revíziami

chýba zhrnutie úprav
(wiki; todo: demorganove pravidla)
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]].
 
{| 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]]
487

úprav