ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN. Önermeler Mantığı - Bağlaçlar Yalnızca doğruluk değerleri üzerinden fonksiyonel olarak tanımlanabilen bağlaçlar ve.

... konulu sunumlar: "ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN. Önermeler Mantığı - Bağlaçlar Yalnızca doğruluk değerleri üzerinden fonksiyonel olarak tanımlanabilen bağlaçlar ve."— Sunum transkripti:

1 ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN

2 Önermeler Mantığı - Bağlaçlar Yalnızca doğruluk değerleri üzerinden fonksiyonel olarak tanımlanabilen bağlaçlar ve olumsuzluk operatörü, Önermeler Mantığı için Mantık Sabiti olabilirler. Örnekler: (1) Ali kafasını duvara çarptı ve ağlıyor. (2) Ali ağlıyor çünkü kafasını duvara çarptı. (3) Ali ağlıyor. (4) Ali kafasını duvara çarptı. (5) Ali ağlıyor çünkü yağmur yağıyor. (6) Yağmur yağıyor.

3 Önermeler Mantığı – Doğruluk Tabloları (1) OLUMSUZLUK: φ ¬φ ----------------- 0 1 1 0 VE: φ ψ (φ  ψ) ----------------------- 0 0 0 0 1 0 1 0 0 1 1 1

4 Önermeler Mantığı – Doğruluk Tabloları (2) VEYA: φ ψ (φ  ψ) --------------------------- 0 0 0 0 1 1 1 0 1 1 1 1 İSE φ ψ (φ  ψ) ----------------------- 0 0 1 0 1 1 1 0 0 1 1 1

5 Önermeler Mantığı – Doğruluk Tabloları (3) ANCAK VE ANCAK: φ ψ (φ  ψ) --------------------------- 0 0 1 0 1 0 1 0 0 1 1 1

6 Önermeler Mantığı ve Küme Kuramı

7 Önermeler Mantığı – Bir Formel Dil-L 0 (1) SÖZDİZİM: A. Temel İfadeler 1. Mantık Sabitleri: ¬, , , ,  2. Önerme Değişkenleri: p, q, r, p 1, q 1, r 1, … B. Oluşum Kuralları 1. Her önerme değişkeni L 0 ’a ait bir formüldür. 2. Eğer φ L 0 ’a ait bir formül ise ¬φ da öyledir. 3. Eğer φ ve ψ L 0 ’a ait formül iseler (φ  ψ), (φ  ψ), (φ  ψ), (φ  ψ) de öyledir. 4. Başka bir şey formül olamaz.

8 Önermeler Mantığı – Bir Formel Dil-L 0 (2) L 0 için bir BNF (Backus-Naur Form) Gramer: Formül  p | q | r | p 1 | q 1 | r 1 | … Formül  ¬ Formül | ( Formül  Formül ) | ( Formül  Formül ) | ( Formül  Formül ) | ( Formül  Formül )

9 Önermeler Mantığı – Bir Formel Dil-L 0 (2) SEMANTİK: L 0 için modelimiz bütün önerme değişkenlerine 1 yada 0 değerini atayan bir F fonksiyonudur. 1. [  ] F = F(  ), bütün  önerme sabitleri için. 2. Eğer [φ] F = 0 ise [¬φ] F = 1’dir (ve diğer durumlarda [¬φ] F = 0’dır). 3. Eğer [φ] F = 1 veya [ψ] F = 1 ise [φ  ψ] F = 1’dir. 4. Eğer [φ] F = 1 ve [ψ] F = 1 ise [φ  ψ] F = 1’dir. 5. Eğer [φ] F = 0 veya [ψ] F = 1 ise [φ  ψ] F = 1’dir. 6. Eğer [φ] F = 1 ve [ψ] F = 1 veya [φ] F = 0 ve [ψ] F = 0 ise [φ  ψ] F = 1’dir.

10 Semantik Geçerlilik Eğer φ 1 … φ n önermelerinin her birinin doğru olduğu bütün modellerde ψ önermesi de doğruysa, φ 1 … φ n / ψ argümanına (semantik olarak) geçerli bir argüman denir. Bu durumda ψ, φ 1 … φ n önermelerinin semantik sonucudur deriz: φ 1 … φ n ╞ ψ

11 Alıştırma - 1 Aşağıdaki argümanının geçerliliğini semantik olarak gösteriniz. p  (q  r), q  ¬ r / ¬ p

12 Hep-Doğrular ve Hep-Yanlışlar

13 Dizimsel Çıkarım Kuralları - 1  Bağlacı İçin Ekleme Kuralı: 1... m 1.φ. m 2.ψ. n. φ  ψ E , m 1, m 2

14 Dizimsel Çıkarım Kuralları - 2  Bağlacı İçin Çıkarma Kuralı (i): 1... m. φ  ψ. n. φ Ç , m

15 Dizimsel Çıkarım Kuralları - 3  Bağlacı İçin Çıkarma Kuralı (ii): 1... m. φ  ψ. n. ψ Ç , m

16 Dizimsel Çıkarım Kuralları - 4  Bağlacı İçin Çıkarma Kuralı: 1... m 1. φ  ψ. m 2. φ. n. ψ Ç , m 1, m 2

17 Dizimsel Çıkarım Kuralları - 5  Bağlacı İçin Ekleme Kuralı: 1... m. φVarsayım. n-1. ψ n. φ  ψ E 

18 Dizimsel Çıkarım Kuralları - 6  Bağlacı İçin Ekleme Kuralı (i): 1... m. φ. n. φ  ψ E , m

19 Dizimsel Çıkarım Kuralları - 7  Bağlacı İçin Ekleme Kuralı (ii): 1... m. ψ. n. φ  ψ E , m

20 Dizimsel Çıkarım Kuralları - 8  Bağlacı İçin Çıkarma Kuralı: 1... m 1. φ  ψ. m 2. φ  X. m 3. ψ  X. n. X Ç , m 1, m 2, m 3

21 Dizimsel Çıkarım Kuralları - 9  Bağlacı İçin Çıkarma Kuralı: 1... m. φ  ψ. n. (Φ  ψ)  (Φ  ψ) Ç , m

22 Dizimsel Çıkarım Kuralları - 10  Bağlacı İçin Ekleme Kuralı (i): 1... m1. φ  ψ. m2. ψ  φ. n. (Φ  ψ) E , m1, m2

23 Dizimsel Çıkarım Kuralları - 11  Bağlacı İçin Ekleme Kuralı (ii): 1... m1. φ  ψ. m2. ψ  φ. n. (ψ  φ) E , m1, m2

24 Dizimsel Çıkarım Kuralları - 12 ¬ Operatörü İçin Çıkarma Kuralı: 1... m 1. ¬ φ. m 2. φ. n. ┴ Ç ¬, m 1, m 2

25 Dizimsel Çıkarım Kuralları - 13 ¬ Operatörü İçin Ekleme Kuralı: 1... m 1. φ Varsayım. n-1. ┴ n. ¬ φ E ¬

26 Örnek Hizmetçi kız tarafından işlendiyse, ancak salonda olması halinde cinayet, tabancayla gerçekleştirilmiştir. Fakat, salonda gerçekleşmemiş olması halinde, baş uşak suçsuz ise, cinayet hizmetçi kız tarafından işlenmiştir. Ancak tabancayla işlenmiş olması halinde cinayeti hizmetçi kız işlemiş iken, salonda gerçekleşmiş olması halinde baş uşak suçludur. Öyleyse, baş uşak suçludur. 1.p  (q  r) öncül 2.(¬p 1  ¬r)  p öncül 3.(p  q)  (r  p 1 ) öncül 4.¬p 1 varsayım 5.¬r varsayım 6.¬p 1  ¬r E , 4, 5 7.p Ç , 2, 6 8.q  r Ç , 1, 7 9.p  q Ç , 3 10.q Ç , 7, 9 11.r Ç , 8, 10 12.┴ Ç ¬, 5, 11 13.r E¬ 14.r  p 1 Ç , 3 15.p 1 Ç , 3, 14 16.┴ Ç ¬, 4, 15 17.P 1 E¬ Anahtar: p: Cinayeti hizmetçi kız işledi. q: Cinayet tabancayla işlendi. r: Cinayet salonda işlendi. p 1 : Cinayeti baş uşak işledi.

27 Alıştırmalar - 2 Aşağıdaki ifadelerin L 0 ’a ait birer formül olup olmadığını gösteriniz. 1. ¬(¬p  q) 2. (p  ((p  q))) 3. (p  (q  r)) 4. (¬p  ¬¬p) 5. (p  (p  q)  q)

28 Alıştırmalar - 3 Aşağıdaki cümleleri L 0 ’ın ifadeleri olarak formüle ediniz. 1. Kimse gülmedi veya alkışlamadı. 2. Güneş parlarken yağmur yağarsa, gökkuşağı görünür. 3. Ahmet işe arabayla veya bisiklet ve trenle gider. 4. Annem ve babam birlikte giderlerse ben gitmeyeceğim, ama sadece babam giderse ben de gideceğim. 5. Yardımına ihtiyacım olduğunda bana yardım etmezsen, bana ihtiyacın olduğunda da ben sana yardım etmem.

29 Alıştırmalar - 3 Aşağıdaki teoremleri dizimsel çıkarım ile ispatlayınız: 1. (p  q) |-- (q  p) 2. (p  q)  r |-- (q  p)  r 3. |-- ((p  q)  r)  (p  (q  r))