Konjunkcia (logika): Rozdiel medzi revíziami

Smazaný obsah Přidaný obsah
Helix84 (diskusia | príspevky)
d wiki
Luks (diskusia | príspevky)
Bez shrnutí editace
Riadok 1:
Logická '''Konjunkciakonjunkcia''' (používa sa pre ňu symbol ∧) je [[výroková spojka]].
 
Dva [[výrok]]y spojené konjunkciou tvoria výrok (nazývaný aj ''konjunkciou týchto dvoch výrokov''), ktorý je [[pravdivostná hodnota|pravdivý]] práve vtedy, ak sú pravdivé obidva spájané výroky. V hovorovom jazyku sa väčšinou vyjadruje [[spojka|spojkou]] [[a]].
 
{| class="wikitable"
! ''p'' !! ''q'' !! ''p'' ∧ ''q''
|- align=center
| 0 || 0 || 0
|- align=center
| 0 || 1 || 0
|- align=center
| 1 || 0 || 0
|- align=center
| 1 || 1 || 1
|}
 
Konjunkcia viacerých výrokov (množiny výrokov) je pravdivá práve vtedy, ak je pravdivý každý z týchto výrokov. Konjunkcia [[prázdna množina|prázdnej množiny]] výrokov sa považuje za pravdivý výrok.
 
==Pozri aj==
 
* [[Disjunkcia (logika)|Disjunkcia]]
* [[Implikácia (logika)|Implikácia]]
* [[Negácia (logika)|Negácia]]
 
[[Kategória:Logika]]