Konjunkcia (logika)
Z Wikipédie
Logická konjunkcia (používa sa pre ňu symbol ∧) je výroková spojka.
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 |
---|---|---|
0 | 0 | 0 |
0 | 1 | 0 |
1 | 0 | 0 |
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ázdnej množiny výrokov sa považuje za pravdivý výrok.
[úprava] Pozri aj
[úprava] Externé odkazy
- Výroková logika Logické hádanky, na ktorých riešenie treba využiť logické operácie.