Konjunkcia (logika)

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie

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 aj[upraviť | upraviť zdroj]