Doğruluk Tabloları ve Mantıksal Bağlaçlar
Doğruluk tabloları, mantıksal önermelerin tüm olası doğruluk değerlerini gösteren tablolardır. Bir önermede n tane önerme varsa, doğruluk tablosunda 2^n tane satır olur. Örneğin, 4 önerme içeren bir doğruluk tablosunda 2^4=16 satır bulunur.
Mantıkta en temel iki bağlaç "veya" (v) ve "ve" (∧) bağlaçlarıdır. Bu bağlaçlar önermeleri birleştirerek yeni önermeler oluşturmamızı sağlar. "Veya" bağlacı iki önermeden en az birinin doğru olması durumunda sonucu doğru yaparken, "ve" bağlacı iki önermenin de doğru olması durumunda sonucu doğru yapar.
Bu bağlaçların özelliklerinden bazıları şunlardır: p∨q = q∨p (değişme özelliği), p∧(q∨r) = (p∧q)∨(p∧r) (dağılma özelliği), p∨(q∨r) = (p∨q)∨r (birleşme özelliği) ve p∧(q∧r) = (p∧q)∧r (birleşme özelliği).
Önemli Not: Mantıksal ifadelerdeki her bağlacın nasıl çalıştığını anlamak, karmaşık önermeleri çözümlemenin anahtarıdır. Günlük hayatta kullandığımız "veya" ile matematiksel "veya" arasında fark vardır - matematiksel "veya" kapsayıcıdır (her iki önerme doğruyken de sonuç doğrudur).