Ve Veya Bağlacı

On altı ikili mantıksal bağlaç: totolojiler ve doğruluk değerleri.

Mantıkta, bir bağlaç, iki ya da daha fazla cümleyi, söz dizimi kurallarına uygun olarak bağlayan bir sembol ya da sözcüktür. Bağlaç ile oluşturulan bileşik cümle sadece esas cümlelere bağımlıdır.

En sık kullanılan mantık bağlaçları iki cümleyi birleştirmek için kullanılan ikili bağlaçlardır. Sıkça kullanılan tümleme ise bir tekli bağlaçtır.

Bağlaçlar ve niceleyiciler, mantık sistemlerinde kullanılan ana sabit çeşitleridir. Mantık bağlaçları anlamsal olarak çoğunlukla doğruluk fonksiyonu ile ifade edilir, ancak bunun geçerli olmadığı durumlar da vardır.

Yaygın mantık bağlaçları[değiştir

Veya bağlacı nedir ve &#;zellikleri nelerdir? Veya bağlacı &#;rnekleri ile konu anlatımı (mantık)

Haberin Devamı

 Tek kuvvet özelliği: Bir önermede veya bağlacının kullanılması ile birlikte kendi doğruluk değerine eşit olmaktadır. Bu önerme ise şu şekilde gösterilir.

 p ∨ p ≡ p

 1 ∨ 1 ≡ 1

 0 ∨ 0 ≡ 0 şeklinde olmaktadır.

 Birleşme özelliği: Değişme özelliğinin bir uzantısı olarak, sadece veya bağlaçlarından meydana gelen bir bileşik önermede parantez işaretinin yerinin değişmesi durumu sonucu herhangi bir şekilde etkilemez.

 (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)

 (1 ∨ 0) ∨ 0 ≡ 1 ∨ (0 ∨ 0)

 Örnek:

 Aşağıda "veya ∨" bağlacının kullanımı ile alakalı olan örnekler verilmiş durumdadır. Buna göre:

 1 ∨ (0 ∨ 1) ≡ 1 ∨ 1 ≡ 1

 (1 ∨ 1) ∨ (0' ∨ 1) ≡ 1 ∨ 1 ≡ 1

 1 ∨ (r ∨ r) ≡ 1 ∨ r ≡ 1

 (0' ∨ s) ∨ (s ∨ 1) ≡ 1 ∨ 1 ≡ 1

Haberin Devamı

 (t ∨ r) ∨ (t' ∨ r') ≡ (t ∨ t') ∨ (r ∨ r') ≡ 1 ∨ 1 ≡ 1 şeklinde önermeler oluşur.

 Pratik Yöntem: p ve q önermelerinin doğruluk değerleri 1 ve 0'ın toplamı gibidir. İlk durumda 2 sonucu çıkmaktadır. 2 diye doğruluk değeri bulunmamaktadır. Bundan dolayı da 2 olarak çıkan sonucu da 1 olarak alırız.

 Özellikleri: Her p, q, r önermesi için şöyle bir çözüm oluşur;

 - p V p ≡ p

 - p V q ≡ q V r

 - (p V q) V r ≡ p V (q V r)

 - 0 V p ≡ p V 0 ≡ p

 - 1 V p ≡ p V 1 ≡ 1

 - p V p' ≡ p' V p ≡ 1 şeklindedir.