Konjunktsioon (loogika)
Allikas: Vikipeedia
Konjunktsioon ehk loogiline korrutamine ehk "ning" on üks binaarne loogikatehe sümbolloogika süsteemides, mis sisaldavad lauseloogikat.
Konjunktsiooni tähistamiseks kasutatakse tavaliselt sümboleid "∧" ja "&".
"P ∧ Q" ehk "P & Q" loetakse "P ja Q".
"P ∧ Q" on tõene siis ja ainult siis, kui "P" on tõene ja "Q" on tõene.
Konjunktsiooni tõeväärtustabel on niisugune:
X | Y | X & Y |
---|---|---|
tõene | tõene | tõene |
tõene | väär | väär |
väär | tõene | väär |
väär | väär | väär |
Konjunktsioon töötab umbes samamoodi nagu eestikeelne sõna "ja" (või "ning"). Lause "Ilm on tuuline ja mina istun arvuti taga" väidab, et samal ajal on tõene nii see, et ilm on tuuline, kui ka see, et mina istun arvuti taga. Sümbolite abil võib seda üles märkida nii: P & Q, kus "P" vastab lausele "Ilm on tuuline" ja "Q" vastab lausele "Mina istun arvuti taga".