Sembolik mantık, matematiksel ifadelerin ve akıl yürütmelerin mantıksal bağlaçlar kullanılarak modellenmesidir. Temel mantıksal işlemlerden olan "Ve" (∧), "Veya" (∨) ve "Değil" (¬), bileşik önermeler oluşturmak için kullanılır.
Ve bağlacı, iki önermenin her ikisinin de doğru olması durumunda sonucun doğru olduğu bir işlemdir. Matematiksel gösterimi ∧ şeklindedir.
Veya bağlacı, iki önermeden en az birinin doğru olması durumunda sonucun doğru olduğu bir işlemdir. Matematiksel gösterimi ∨ şeklindedir.
Değil işlemi, bir önermenin tersini alır. Matematiksel gösterimi ¬ veya ~ şeklindedir.
Soru 1: Aşağıdaki sembolik mantık ifadesinin doğruluk değeri nedir? \( (p \lor q) \land \lnot p \) (p: Doğru, q: Yanlış)
a) Doğru
b) Yanlış
c) Belirsiz
d) Koşullu
e) Hiçbiri
Cevap: b) Yanlış
Çözüm: \( p \lor q \) (Doğru ∨ Yanlış) = Doğru, \( \lnot p \) = Yanlış. Doğru ∧ Yanlış = Yanlış.
Soru 2: "Ayşe matematik çalışıyor VE müzik dinlemiyor" cümlesinin sembolik mantık gösterimi aşağıdakilerden hangisidir?
a) \( p \lor \lnot q \)
b) \( p \land q \)
c) \( p \land \lnot q \)
d) \( \lnot p \lor q \)
e) \( p \rightarrow q \)
Cevap: c) \( p \land \lnot q \)
Çözüm: "VE" bağlacı ∧ ile, "dinlemiyor" ifadesi ise ¬q ile temsil edilir. p: Matematik çalışıyor, q: Müzik dinliyor.