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:Józef Maria Bocheński  (1959), A Précis of Mathematical Logic, translated by Otto Bird from the French and German editions, Dordrecht, South Holland:  D. Reidel, passim.

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.

 İstinadlar 

 Xarici keçidlər 

Wolfram MathWorld: Conjunction

Kateqoriya:Məntiq