MANTIK BİLİMİNE GİRİŞ VE ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN.

... konulu sunumlar: "MANTIK BİLİMİNE GİRİŞ VE ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN."— Sunum transkripti:

1 MANTIK BİLİMİNE GİRİŞ VE ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN

2 Mantık Bilimi Neyle Uğraşır?
Mantık, akıl yürütmenin bilimi olarak tanımlanabilir. Çıkarımlar, (argümanlar) akıl yürütmenin önemli araçlarıdır. Mantık biliminin görevi, doğru akıl yürütmenin ya da eş deyişle geçerli çıkarım oluşturmanın yasalarını tespit etmektir.

3 Çıkarımlar Çıkarım, içlerinden bir tanesinin sonuç ve diğerlerinin öncül (aksiyom) olduğu, bir dizi yargı cümlesinden (ya da, daha kesin bir ifadeyle, bir dizi önermeden) oluşur. Eğer öncüllerinin doğru olması halinde sonucu doğru olmak zorundaysa, bu çıkarıma geçerli bir çıkarım denir.

4 Çıkarım Örnekleri (1) Ali partiye gelecek veya Ayşe partiye gelecek.
Ali partiye gelmeyecek. Ayşe partiye gelecek. Ali bir çocuk bakıcısı bulamazsa partiye gelmeyecek. Ali çocuk bakıcısı bulamadı. Bütün uçaklar düşebilir. Bütün F-16’lar uçaktır. Bütün F-16’lar düşebilir.

5 Çıkarım Örnekleri (2) Ali bir öğretmendir. Ali akıllıdır.
Bütün öğretmenler aptal değildir. Bütün balıklar memelidir. Moby Dick bir balıktır. Moby Dick memelidir.

6 Geçerlilik ve Öncüllerin/Sonucun Doğruluğu
Bir çıkarımın, geçerli olup olmadığını anlamak için öncüllerinin veya sonucun doğruluk değerini bilmek gerekmez (örn. Çıkarım 1). Geçerli bir çıkarımın, öncülleri veya sonucu açıkça yanlış olabilir (örn. Çıkarım 5). Geçersiz bir çıkarımın, bütün öncülleri doğru olabilir. Örnek: Bütün atlar memelidir. Bütün atlar otoburdur. Bütün memeliler otoburdur.

7 Çıkarım Şemaları (1) Aşağıdaki bütün çıkarımlar geçerlidir:
Can partiye gelecek veya Ayşe partiye gelecek. Can partiye gelmeyecek. Ayşe partiye gelecek. Can derse gelecek veya Ayşe derse gelecek. Can derse gelmeyecek. Ayşe derse gelecek.

8 Çıkarım Şemaları (2) Eğer bütün alternatifleri denersek 1. çıkarım tipindeki çıkarımlarda yalnızca veya ve olumsuzluk takısının geçerliliği etkileyen öğeler olduğunu görürüz: Ali partiye gelecek veya Ayşe partiye gelecek. Ali partiye gelecek. Ayşe partiye gelecek. Ayşe partiye gelirse Ali partiye gelecek. Ali partiye gelmeyecek.

9 Çıkarım Şemaları (3) 1., 7. ve 8. çıkarımlar aşağıdaki çıkarım şemasının örnekleri olarak düşünülmelidir: A veya B B değil A Geçersiz ve geçerli birer çıkarım şeması: B ise A Bütün P’ler Q’dur. A değil a P’dir. B a Q’dur.

10 Mantık Sabitleri ve Mantık Sistemleri
Mantık sistemlerinin düzeyini belirleyen sahip oldukları mantık sabitleridir. MANTIK SABİTLERİ MANTIK SİSTEMLERİ ve, veya, ise, ancak ve ancak, değil Önermeler Mantığı her, bazı Yüklem Mantığı olasılıkla, kesinlikle Kip Mantığı -DI, -ECEK Zaman Mantığı inanmak, bilmek Epistemik Mantık Mantık sabitlerinin yorumunu değiştirmek suretiyle de yeni mantık sistemleri oluşturmak mümkündür; örneğin Sezgisel Önermeler Mantığı gibi.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

25 Sözdizimsel Çıkarım Kuralları - 9
¬ Operatörü İçin Çıkarma Kuralı: 1. . . m ¬φ m φ n. ┴ Ç ¬, m1, m2

26 Sözdizimsel Çıkarım Kuralları - 10
¬ Operatörü İçin Ekleme Kuralı: 1. . . m φ Varsayım n ┴ n ¬φ E ¬

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

28 Alıştırmalar - 2 Aşağıdaki cümleleri L0’ın ifadeleri olarak formüle ediniz. Kimse gülmedi veya alkışlamadı. Güneş parlarken yağmur yağarsa, gökkuşağı görünür. Ahmet işe arabayla veya bisiklet ve trenle gider. Annem ve babam birlikte giderlerse ben gitmeyeceğim, ama sadece babam giderse ben de gideceğim. 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 sözdizimsel çıkarım ile ispatlayınız: (p  q) |-- (q  p) (p  q)  r |-- (q  p)  r |-- ((p  q)  r)  (p  (q  r))