Konyunksiya

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

Konyunksiya (və) əməliyyatının cədvəli

A (ifadə)	B (ifadə)	A ∧ B (konyunksiya)
Doğru	Doğru	Doğru
Doğru	Yalan	Yalan
Yalan	Doğru	Yalan
Yalan	Yalan	Yalan

Konyunksiya yalnız hər iki ifadə doğru olduqda Doğru nəticə verir. Ə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 məntiq

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:

$a\wedge b\to a$
$a\wedge b\to b$
$a\to (b\to (a\wedge b))$

Bu aksiomlardan istifadə edərək birləşmə əməliyyatını ehtiva edən digər düsturları sübut edə bilərsiniz. 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.

Xarici keçidlər

• Wolfram MathWorld: Conjunction
• Şablon:Cite web