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 pq
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 ajUpraviť

Externé odkazyUpraviť