SEMANTİK VE DİZİMSEL ÇIKARIM

... konulu sunumlar: "SEMANTİK VE DİZİMSEL ÇIKARIM"— Sunum transkripti:

1 SEMANTİK VE DİZİMSEL ÇIKARIM
ÖNERMELER MANTIĞINDA SEMANTİK VE DİZİMSEL ÇIKARIM Yılmaz KILIÇASLAN

2 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 ╞ ψ

3 Alıştırma - 1 Sunu 1’deki ilk 5 argümanı L0 dili ile kodlayınız ve her bir argümanının geçerliliğini semantik olarak gösteriniz.

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

5 Alıştırma – 2’nin çözümü
p q r q  r p  (q  r) ¬r q  ¬r ¬p 1

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

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

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

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

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

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

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

13 Dizimsel Çıkarım Kuralları - 8
 Bağlacı İçin Çıkarma Kuralı: 1. . . m φ  ψ m φ  X m ψ  X n X Ç , m1, m2 , m3

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

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

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

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

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

19 Örnek p  (q  r) öncül (¬p1  ¬r)  p öncül (p  q)  (r  p1) öncül
¬p varsayım ¬r varsayım ¬p1  ¬r E, 4, 5 p Ç, 2, 6 q  r Ç, 1, 7 p  q Ç, 3 q Ç, 7, 9 r Ç, 8, 10 ┴ Ǭ, 5, 11 r E¬ r  p1 Ç, 3 p Ç, 3, 14 ┴ Ǭ, 4, 15 P1 E¬ 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. Anahtar: p: Cinayeti hizmetçi kız işledi. q: Cinayet tabancayla işlendi. r: Cinayet salonda işlendi. p1: Cinayeti baş uşak işledi.

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