Mantık Bağlaçları ve Doğruluk Tabloları
Mantıkta, ifadeler arasında bağlantı kurmak için kullanılan sembollere bağlaç denir. Her bağlacın kendine özgü bir doğruluk tablosu vardır.
Ve (∧) bağlacı her iki ifadenin de doğru olması durumunda sonucu doğru yapar. Örneğin, 1∧1=1 iken, 1∧0=0'dır. Bu bağlaç için p∧p=p ve p∧p'=0 özelliklerini bilmek önemlidir.
Veya (∨) bağlacı ise ifadelerden en az birinin doğru olması durumunda sonucu doğru yapar. 1∨0=1 ve 0∨0=0 gibi. p∨1=1 ve p∨p'=1 özellikleri dikkat edilmesi gereken kurallardandır.
⚠️ Dikkat! "Veya" bağlacı günlük hayatta kullandığımız "ya da" anlamından farklı olabilir. Mantıkta "veya" ifadelerden biri veya her ikisinin doğru olması durumunda sonuç doğrudur.
İse (→) bağlacı koşullu önermeleri ifade eder. p→1=1 ve p→p=1 olduğunu unutmayın. Bu bağlaçta öncül yanlış olduğunda sonuç her zaman doğrudur .
Ancak ve ancak (↔) bağlacı iki önermenin doğruluk değerleri aynı olduğunda doğru, farklı olduğunda yanlıştır. p↔p=1 ve p↔p'=0 şeklinde özetlenebilir.