Directory

Konjunkcia (logika) – Wikipédia Preskočiť na obsah

Konjunkcia (logika)

z Wikipédie, slobodnej encyklopédie

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 pq
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.

Externé odkazy

[upraviť | upraviť zdroj]