Mantık Bağlaçları ve Doğruluk Tabloları

"Ve" (∧) bağlacı iki önermenin her ikisi de doğru olduğunda sonucun doğru olmasını sağlar. Sadece p=1 ve q=1 iken p∧q=1 olur. Ve bağlacı değişme ve birleşme özelliğine sahiptir, yani p∧q = q∧p ve p∧(q∧r) = (p∧q)∧r şeklinde yazılabilir.

"Veya" (∨) bağlacı ise en az bir önerme doğruysa sonucu doğru yapar. Sadece p=0 ve q=0 iken p∨q=0 olur, diğer tüm durumlarda sonuç 1'dir. Veya bağlacı da değişme ve birleşme özelliklerine sahiptir.

De-Morgan Kuralları bağlaçların değillerini dönüştürmeye yarar: (p∧q)' = p'∨q' ve (p∨q)' = p'∧q'. "Ya da" (⊕) bağlacı ise iki önermenin tam olarak biri doğru olduğunda sonuç doğru olan özel bir bağlaçtır.

💡 İpucu: "İse" (⇒) bağlacını hatırlamak için şunu düşünebilirsin - sadece öncül doğru ve sonuç yanlışsa $p=1, q=0$, ifadenin tamamı yanlıştır!

"İse" (⇒) bağlacı koşullu önerme oluşturur ve p⇒q = p'∨q şeklinde yazılabilir. Bir koşullu önermenin karşıtı, tersi ve karşıt tersi vardır. "Ancak ve ancak" (⇔) bağlacı ise iki önerme aynı doğruluk değerine sahip olduğunda sonucu doğru yapar.