Mantık Bağlaçları: Anlamları, Sembolleri ve Doğruluk Tabloları

Mantık bağlaçlarının amacı ve bileşik önerme

Mantık bağlaçları, tek başına birer önerme olan ifadeleri belirli kurallarla bir araya getirir. Böylece birden fazla önermenin doğruluk durumuna bağlı yeni bir önerme elde edilir. Bu yeni ifadeye bileşik önerme denir. Örneğin “Ankara Türkiye’dedir.” ve “2 + 3 = 5.” ifadeleri ayrı ayrı önermedir. “Ankara Türkiye’dedir ve 2 + 3 = 5.” ifadesi ise iki önermenin “ve” bağlacıyla birleştirilmesiyle oluşan bileşik önermedir.

Bir bileşik önermenin doğruluk değeri, onu oluşturan önermelerin doğruluk değerlerine ve kullanılan bağlacın kuralına göre belirlenir. Bu nedenle yalnızca cümlenin günlük dildeki anlamına bakmak yeterli değildir; bağlacın hangi koşulda doğru veya yanlış sonuç verdiği bilinmelidir. Örneğin “ve” bağlacında iki tarafın da doğru olması gerekirken “veya” bağlacında en az bir tarafın doğru olması yeterlidir. Doğruluk tabloları, bu farklı koşulları bütün olasılıklarıyla düzenli biçimde gösterir.

Değil, ve, veya, ise, ancak ve ancak bağlaçları

Değil bağlacı bir önermenin doğruluk değerini tersine çevirir. “p değil” ifadesi ¬p ile gösterilir. p doğruysa ¬p yanlış, p yanlışsa ¬p doğrudur. Örneğin p: “Bugün yağmur yağıyor.” önermesi doğru olduğunda ¬p: “Bugün yağmur yağmıyor.” önermesi yanlıştır.

Ve bağlacı ∧ sembolüyle gösterilir ve p ∧ q biçiminde yazılır. Bu bağlaç, iki koşulun birlikte gerçekleşmesini ister. “Ders çalıştım ve ödevimi yaptım.” ifadesinin doğru olması için hem “Ders çalıştım.” hem de “Ödevimi yaptım.” önermelerinin doğru olması gerekir. Günlük dildeki “ve” anlamı, iki kümenin ortak bölümünü ifade eden kesişim düşüncesiyle de ilişkilendirilebilir; ortak bölümde bulunanlar her iki koşulu birden sağlar.

Veya bağlacı ∨ sembolüyle gösterilir. p ∨ q ifadesi, p veya q önermelerinden en az birinin doğru olması durumunu anlatır. Matematiksel mantıkta bu “veya” kapsayıcıdır; yani iki önerme aynı anda doğru olduğunda da ifade doğrudur. Örneğin “Sınavdan yüksek not aldım veya proje yaptım.” ifadesinde öğrencinin yalnızca birini yapması yeterli olduğu gibi ikisini birden yapması da ifadeyi doğru kılar. Kümelerde birleşim düşüncesinde de iki kümeden en az birinde bulunan elemanlar alınır; ortak elemanlar dışlanmaz.

İse bağlacı → sembolüyle gösterilir ve p → q biçiminde yazılır. Burada p koşul, q ise bu koşul gerçekleştiğinde beklenen sonuçtur. Bu bileşik önerme yalnızca p doğru, q yanlış olduğunda yanlıştır; diğer durumlarda doğru kabul edilir. Örneğin “Bir sayı 4’ün katı ise çifttir.” önermesinde 4’ün katı olma koşulu gerçekleşip sayının çift olmaması mümkün olmadığından bu yapı doğru bir koşullu ilişki verir.

Ancak ve ancak bağlacı ↔ sembolüyle gösterilir ve p ↔ q biçiminde yazılır. İki önermenin doğruluk değeri aynı olduğunda bu bileşik önerme doğrudur; biri doğru, diğeri yanlış olduğunda yanlıştır. “Bir sayı ancak ve ancak 2 ile tam bölünüyorsa çifttir.” ifadesi, iki koşulun birbirini karşılamasını anlatır. Bu bağlaç, tek yönlü “ise” ilişkisinden farklı olarak iki yönlü bir koşul kurar.

Bağlaçların doğruluk değerine etkisi

Bir bağlacın sonucu, bağlı önermelerin doğru veya yanlış olmasına göre değişir. Değil bağlacında tek bir önerme bulunur ve sonuç doğrudan tersine çevrilir. Ve bağlacında sonuç ancak iki önerme de doğruysa doğrudur. Bu nedenle p doğru, q yanlış olduğunda p ∧ q yanlıştır; iki koşuldan biri bile gerçekleşmemiştir.

Veya bağlacında en az bir önermenin doğru olması yeterlidir. p doğru, q yanlış olduğunda p ∨ q doğru; p yanlış, q yanlış olduğunda ise yanlıştır. Buradaki “veya”, günlük konuşmada bazen kullanılan “yalnızca biri” anlamından farklıdır. İki önerme de doğru olduğunda kapsayıcı veya bağlacı yine doğru sonuç verir.

İse bağlacında dikkat edilmesi gereken tek yanlış durum, ilk önermenin doğru ve ikinci önermenin yanlış olmasıdır. p yanlış olduğunda q’nun doğru veya yanlış olması, p → q ifadesini yanlış yapmaz. Örneğin “Bir sayı 10’un katı ise 5’e bölünür.” ifadesinde sayı 10’un katı değilse, koşullu ifadenin önündeki koşul gerçekleşmediği için mantıksal tabloya göre ifade yanlış durumuna girmez. Bu değerlendirme, cümlenin günlük hayattaki olasılığından çok koşullu önermenin tanımına dayanır.

Ancak ve ancak bağlacı iki yönlü eşleşme arar. p ve q aynı doğruluk değerine sahipse p ↔ q doğru, farklı doğruluk değerlerine sahipse yanlıştır. Örneğin p doğru ve q doğru iken “p ancak ve ancak q” doğrudur; p doğru, q yanlış iken yanlıştır. Böylece bağlaçların etkisi, yalnızca sembollerle değil, hangi doğruluk durumlarını kabul ettikleriyle ayırt edilir.

Temel doğruluk tablolarını okuma ve oluşturma

Doğruluk tablosu, bir veya daha fazla önermenin alabileceği tüm doğru-yanlış durumlarını satırlar hâlinde gösterir. Bir önerme için iki olasılık vardır: D (doğru) ve Y (yanlış). İki farklı önerme için dört durum yazılır: ikisi de doğru, birincisi doğru ikincisi yanlış, birincisi yanlış ikincisi doğru ve ikisi de yanlış. Önce p ve q sütunları oluşturulur, ardından kullanılan bağlacın kuralına göre sonuç sütunu doldurulur.

Örneğin p ∧ q tablosunda yalnızca p ile q’nun aynı satırda ikisinin de D olduğu durumda sonuç D olur. p ∨ q tablosunda ise en az bir sütun D olduğu sürece sonuç D yazılır. Bu iki tabloyu okurken “ve” için bütün koşulların, “veya” için en az bir koşulun aranması gerekir.

p → q için sonuç sütununda yalnızca p = D ve q = Y satırında Y bulunur. p ↔ q içinse p ile q’nun aynı olduğu satırlara D, farklı olduğu satırlara Y yazılır. ¬p tablosunda yalnızca p sütunu bulunur ve sonuç sütununa p’nin karşıt doğruluk değeri geçirilir.

Bir doğruluk tablosu oluştururken önce değişkenleri yazmak, sonra olası satırları eksiksiz sıralamak ve en son bağlacın kuralını uygulamak güvenli bir yöntemdir. Örneğin p ∨ q için tablo şöyledir:

p | q | p ∨ q D | D | D D | Y | D Y | D | D Y | Y | Y

Bu tabloda üçüncü satır, p yanlış olsa bile q doğru olduğu için “veya” bağlacının doğru sonuç verdiğini gösterir. Aynı yöntem, başka bir bağlaç seçilerek onun kendi doğruluk kuralına uygulanır.

Bileşik önermeleri sembolleştirme ve parantez kullanımı

Sözel bir bileşik önermeyi sembolleştirmek için önce temel önermeler belirlenir ve her birine bir harf verilir. Örneğin p: “Ali çalışıyor.”, q: “Ali başarılı oluyor.” seçilirse “Ali çalışıyor ve Ali başarılı oluyor.” ifadesi p ∧ q biçiminde yazılır. “Ali çalışmıyor veya başarılı oluyor.” ifadesinde ise ¬p ∨ q kullanılır.

Birden fazla bağlaç bulunduğunda parantez, hangi ifadelerin birlikte değerlendirileceğini gösterir. “p ve q veya r” ifadesi günlük dilde belirsiz kalabileceğinden (p ∧ q) ∨ r ya da p ∧ (q ∨ r) biçimlerinden hangisinin kastedildiği açıkça yazılmalıdır. Parantez, önce hangi alt bileşik önermenin oluşturulacağını belirler ve doğruluk tablosunda ara sonuç sütunu kurmayı kolaylaştırır. Bağlaçlarda işlem önceliği, parantez yoksa hangi işlemin önce değerlendirileceğini belirleyen kısa bir kurallar bütünüdür; ancak açık ve hatasız yazım için gerekli yerlerde parantez kullanmak en güvenli yoldur.

Mantık bağlaçlarını birbirinden ayırt etme

Bağlaçları ayırt ederken cümlede kaç koşulun birlikte arandığına ve doğruluk tablosundaki özel duruma bakılmalıdır. “Ve” iki koşulun da gerçekleşmesini ister; bu yüzden yalnızca iki tarafın da doğru olduğu durumda doğrudur. “Veya” en az bir koşulun gerçekleşmesiyle doğru olur ve iki tarafın birlikte doğru olmasına da izin verir. Küme birleşimi ve kesişimi örneği bu farkı görmeyi kolaylaştırır: kesişim ortak üyeleri, birleşim ise iki kümenin en az birinde bulunan üyeleri kapsar.

“İse” ile “ancak ve ancak” arasındaki fark özellikle önemlidir. p → q tek yönlü bir koşul kurar ve yalnızca p doğru, q yanlış olduğunda yanlıştır. p ↔ q ise iki yönlü eşdeğerlik arar; p ile q’nun doğruluk değerleri aynı değilse yanlış olur. Bu nedenle p yanlış, q doğru olduğunda p → q doğruyken p ↔ q yanlıştır.

“Değil” diğerlerinden farklı olarak iki önermeyi birleştirmez; tek bir önermenin doğruluk değerini tersine çevirir. Sembolü gördüğünüzde önce onun etkilediği önermeyi belirleyin. Parantez varsa ¬(p ∨ q) gibi bütün bileşik ifadeyi de olumsuzlayabilir; bu durumda önce parantez içindeki ifade değerlendirilir. Mantıksal denkliğin ayrıntılı incelenmesi ve mantık yasaları, bu bağlaçların farklı ifadeler arasındaki ilişkisini daha ileri düzeyde ele alır.