Sunum yükleniyor. Lütfen bekleyiniz

Sunum yükleniyor. Lütfen bekleyiniz

Ö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.

Benzer bir sunumlar


... 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: φ ¬φ VE: φ ψ (φ  ψ)

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

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

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 Hep-Doğrular ve Hep-Yanlışlar

11 Alıştırmalar - 1 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)

12 Alıştırmalar - 2 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.


"Ö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." indir ppt

Benzer bir sunumlar


Google Reklamları