Konjunkcia (logika)

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.

Pozri aj

• Disjunkcia
• Implikácia
• Ekvivalencia
• Negácia

Externé odkazy

• Konjunkcia na pohodovamatematika.sk