Sembolik mantık, matematiksel ifadelerin doğruluk değerlerini analiz etmek için kullanılan bir sistemdir. Temel mantık operatörleri olan "Ve" (∧), "Veya" (∨) ve "Değil" (¬), bileşik önermeler oluşturmada kullanılır.
"Ve" operatörü, iki önermenin her ikisinin de doğru olması durumunda sonucun doğru olmasını sağlar. Diğer durumlarda sonuç yanlıştır.
"Veya" operatörü, iki önermeden en az birinin doğru olması durumunda sonucun doğru olmasını sağlar. Yalnızca ikisi de yanlışsa sonuç yanlıştır.
"Değil" operatörü, bir önermenin doğruluk değerini tersine çevirir. Doğru ise yanlış, yanlış ise doğru yapar.
Bu operatörlerin davranışını doğruluk tablolarıyla gösterebiliriz:
Ve (∧):
Veya (∨):
Değil (¬):
1. "Ayşe matematik çalışıyor ve Ali müzik dinliyor." önermesi sembolik mantıkta nasıl ifade edilir? (p: Ayşe matematik çalışıyor, q: Ali müzik dinliyor)
a) p ∨ q
b) p ∧ q
c) ¬p ∧ q
d) p → q
e) p ↔ q
Cevap: b) p ∧ q
Çözüm: "Ve" bağlacı ∧ sembolü ile gösterilir. İki önermenin de doğru olması durumunda bileşik önerme doğrudur.
2. "Hava yağmurlu veya yerler ıslak" önermesinin sembolik karşılığı aşağıdakilerden hangisidir? (r: Hava yağmurlu, s: Yerler ıslak)
a) r ∧ s
b) r ∨ s
c) ¬r ∧ s
d) r → s
e) ¬(r ∨ s)
Cevap: b) r ∨ s
Çözüm: "Veya" bağlacı ∨ sembolü ile temsil edilir. Önermelerden en az birinin doğru olması bileşik önermeyi doğru yapar.
3. "Bugün değil pazartesi" ifadesinin sembolik gösterimi nedir? (t: Bugün pazartesi)
a) t ∧ ¬t
b) t ∨ ¬t
c) ¬t
d) t → ¬t
e) t ↔ ¬t
Cevap: c) ¬t
Çözüm: "Değil" olumsuzlama operatörü ¬ ile gösterilir. Önermenin doğruluk değerini tersine çevirir.