SEMBOLİK MANTIK - Deneme Sınavı - 4

((Ali sağlıklıdır ve Ali başarılı olur) ise Ali iyi uyur)

((q /\ r) -> p)

Ali’nin kursa gitmesi ve derslerini düzenli çalışması, İngilizce’yi öğrenmesi ve başarılı olması için gerekli ve yeterli bir koşuldur.

(p -> (q /\r)) .^.. (~r -> ~p)

“ve” olarak okunan önerme eklemi tümel evetleme eklemidir.

Tümel evetleme eklemi.

Koşul eklemi.

Tümel evetleme eklemi.

Tikel evetleme eklemi

Çelişki

~

∨

↔

∧

Mantık düzgün akıl yürütme kurallarının bilimi, felsefe ise, genel olarak, temel gerçeklerin akla dayalı araştırması olarak tanımlanır. Felsefe etkinliği, sadece yaratıcı düşünme yoluyla gerçekliği açıkladığı düşünülen iddialar ileri sürmeyi değil,
daha da önemlisi, bu iddiaları güçlü akıl yürütmelerle desteklemeyi gerektirir.
Felsefi bir iddia, ne denli ilgi çekici olursa olsun, ancak onun için sağlanan gerekçelendirmenin gücü ölçüsünde kabul görür. Bu nedenle, akıl yürütmeleri konu
alan mantık felsefenin vazgeçilmez aracıdır

Matematiksel düşünme için geçerli olan bu durum, aslında tüm düşünme için
geçerlidir. Sistemli düşünme ile ilgili bir bilim olan mantık ortaya çıkmadan önce
de insanlar düşünmekteydi. Hatta, felsefeci Parmenides (M.Ö. 5. yy.) örneğinde
görüldüğü gibi, felsefi düşünme soyut kavramlar hakkında sistemli düşünme düzeyine ulaşmıştı. Düşüncenin bu denli ileri noktalara uzanması, çözülmesi güç
Mantığın Temel Kavramları
4 Sembolik Mantık
düşünsel sorunları tartışmayı da olanaklı hale getirdi. Mantık biliminin kurucusu
olan Aristoteles’in de (M.Ö. 384 - M.Ö. 322) haberdar olduğu yalancı paradoksu bu sorunlardan biridir. Özgün yalancı paradoksunun bir benzerini ele alalım.
Aşağıdaki tümcenin doğru olup olmadığını düşünün:

Anlamlı olan ve kesin bir
yargı bildiren tümcelere
önerme denir. Akıl yürütmeler
önermelerden kuruludur

Bugün yağmur yağacak” bir bildirsel tümce, “Bugün yağmur yağacak mı?” bir soru
tümcesi, “Bugün yağmur yağıp yağmayacağını söyle” bir emir tümcesi, “Eyvah, bugün yağmur yağacakmış!” bir ünlem tümcesidir

Bir önermenin doğru ya da yanlış olmasını da şu şekilde tanımlıyoruz: Önermenin bildirdiği yargı gerçeklikle uyuşuyorsa önerme doğru, aksi takdirde önerme yanlıştır. 
Bir tümcenin önerme olması için o tümcenin doğru mu yanlış mı olduğunu
bilmemiz gerekmez. Aksine, genellikle önce tümcenin bir yargı bildirdiğini anlar
ve, dolayısıyla, bir önerme olduğuna karar verir, ardından da doğruluğuna/yanlışlığına karar veririz.

Mantığın konusu akıl yürütme dediğimiz düşünme biçimidir

Bildiğiniz gibi, en temel tümce türleri, bildirsel tümceler (bildirme tümceleri),
soru tümceleri, emir tümceleri ve ünlem tümceleridir. Bir yargı bildirmek amacı ile kurulan tümcelere bildirsel tümce veya bildirme tümcesi, bir konuda bilgi
edinmek amacıyla kurulan tümcelere soru tümcesi, birinin bir eylemi gerçekleştirmesini buyurmak için kurulan tümcelere emir tümcesi, bir dileği ya da duyguyu bildiren tümcelere ünlem tümcesi denir.

Bu ünitenin başında, mantığın konusunun akıl yürütmeler olduğunu, mantığın
amacının da düzgün akıl yürütme biçimlerini ortaya koymak ve akıl yürütmelerin düzgün akıl yürütme biçimlerine uygunluğunu denetlememizi sağlayacak
yöntemler geliştirmek olduğunu belirtmiştik. Bu söylediklerimizi daha açık ifade
edebilmek ve tartışabilmek için “akıl yürütme” kavramının yerine daha açık bir
kavram olan “çıkarım” kavramını tanımlayıp kullanacağız. Bunun için de, az önce
değindiğimiz “önerme” kavramına başvuracağız.
Tanım: Bir veya daha fazla sayıda önermeden