Konjunkcia (logika)
Logická konjunkcia je výroková spojka. Používa sa pre ňu symbol ∧.
Dva výroky spojené konjunkciou tvoria výrok (nazývaný aj konjunkciou týchto dvoch výrokov), ktorý je pravdivý práve vtedy, ak sú pravdivé obidva spájané výroky. V hovorovom jazyku sa väčšinou vyjadruje spojkou a.
| p | q | p ∧ q |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 0 |
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ázdnej množiny výrokov sa považuje za pravdivý výrok.
Pozri aj
[upraviť | upraviť zdroj]Externé odkazy
[upraviť | upraviť zdroj]- Konjunkcia na pohodovamatematika.sk
