Sunum yükleniyor. Lütfen bekleyiniz

Sunum yükleniyor. Lütfen bekleyiniz

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

Benzer bir sunumlar


... konulu sunumlar: "ÖNERMELER MANTIĞINDA SEMANTİK VE DİZİMSEL ÇIKARIM Yılmaz KILIÇASLAN."— Sunum transkripti:

1 Ö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ı L 0 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ü pqrq  rp  (q  r) ¬r¬r q  ¬ r ¬p¬p

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

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 1. φ  ψ. m 2. φ. n. ψ Ç , m 1, m 2

10 Dizimsel Çıkarım Kuralları - 5  Bağlacı İçin Ekleme Kuralı: 1... m. φVarsayım. n-1. ψ 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 1. φ  ψ. m 2. φ  X. m 3. ψ  X. n. X Ç , m 1, m 2, m 3

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... m1. φ  ψ. m2. ψ  φ. n. (Φ  ψ) E , m1, m2

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

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

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

19 Ö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, ┴ Ç ¬, 5, r E¬ 14.r  p 1 Ç , 3 15.p 1 Ç , 3, ┴ Ç ¬, 4, 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.

20 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))


"ÖNERMELER MANTIĞINDA SEMANTİK VE DİZİMSEL ÇIKARIM Yılmaz KILIÇASLAN." indir ppt

Benzer bir sunumlar


Google Reklamları