Konyunksiya

Konyunksiya — riyaziyyat və məntiqdə "və" əməliyyatı kimi tanınır.^[1] Bu, iki ifadənin hər ikisi doğrudursa, nəticənin də doğru olduğu bir məntiq əməliyyatıdır.^[2]

Konyunksiya yalnız hər iki ifadə doğru olduqda Doğru nəticə verir.^[3] Əgər hər hansı bir ifadə yalandırsa, nəticə də Yalan olacaq. Bu əməliyyat Bul cəbrində və kompüter elmlərində geniş istifadə olunur, məsələn, proqramlaşdırmada şərt ifadələrində.

Klassik təklif hesablamasında konyunksiyanın xassələri aksiomalardan istifadə etməklə müəyyən edilir. Klassik müddəa hesablamaları müxtəlif aksioma sistemləri ilə müəyyən edilə bilər və onlardan bəziləri konyunksiyanın xüsusiyyətlərini təsvir edəcəkdir. Ən çox yayılmış variantlardan biri konyunksiya üçün 3 aksioma daxildir:^[4]

${\displaystyle a\land b\to a}$
${\displaystyle a\land b\to b}$
${\displaystyle a\to (b\to (a\land b))}$

Bu aksiomlardan istifadə edərək birləşmə əməliyyatını ehtiva edən digər düsturları sübut edə bilərsiniz.^[5] Nəzərə alın ki, klassik təklif hesablamaları nəticəni operandların dəyərlərindən hesablamır (Bul cəbrində olduğu kimi), əksinə aksiomalar və nəticə çıxarma qaydaları əsasında bütövlükdə düsturu sübut etməyi tələb edir.^[6]

Vikianbarda Konyunksiya ilə əlaqəli mediafayllar var.

• Wolfram MathWorld: Conjunction
• "Property and truth table of AND propositions". May 6, 2017 tarixində arxivləşdirilib.