Page 3 - Mantık | 4.Ünite
P. 3
B. ÖNERMELER MANTIĞI
HAZIRLANALIM
. Aşağıdaki soruları cevaplayınız.
1. Verilen bir önermenin alabileceği doğruluk değerleri neler olabilir? Düşününüz.
2. Tabloda verilen önermelerin aldıkları doğruluk değerlerini karşılarına yazınız.
Önerme Doğru Yanlış
4+3=7 ............................................ ............................................
Türkiye Ankara’nın başkentidir. ............................................ ............................................
Bütün canlılar ayaklıdır. ............................................ ............................................
Atom parçalanmıştır. ............................................ ............................................
ÖĞRENELİM - UYGULAYALIM
˜ Aşağıdaki açıklamalardan hareketle 110. sayfadaki tabloları yönergelerine uygun şekilde
doldurunuz.
1. Önerme ve Yapısı
Önerme doğruluk değeri olan bir cümledir. Doğruluk değeri olan bir cümle ya doğru ya yanlış olur.
Doğru ve yanlış değerlerini kendine doğruluk ölçütü olarak alan mantık sistemine iki değerli mantık denir.
İki değerli mantık iki bölümde incelenir. Bunlar, önermeler mantığı ve niceleme mantığıdır. Önermeler
mantığı, önerme eklemleriyle oluşmuş önermeleri ve çıkarımları ele alır.
En basit biçimiyle önerme; özne konumunda bir terim, yüklem konumunda bir başka terim ve özneyle
yüklemi birbirine bağlayan bağdan oluşur.
D
Özne + Yüklem+Bağ Doğruluk değeri
Y
Örnek: Telefon ileşim aracıdır. Doğru
Erciyes Dağı Ankara'dadır. Yanlış
9<5 Yanlış
C+O C Doğru
2 O 2
2. Basit ve Bileşik Önermeler
Önermeler mantığı, önerme eklemleri denilen mantıksal değişmezlerle (değil, ve, veya, ise, ancak ve
ancak) kurulan önermelerden oluşmuş mantıktır. Bu mantıksal değişmezler yardımıyla iki ya da daha fazla
basit önermeyi birleştirmek suretiyle yeni bir bileşik önerme elde edilir.
Basit önerme: Klasik mantıkta tek yargı bildiren önermedir. Bileşik önerme: Birden fazla yargı
bildiren önermedir. Sembolik mantıkta ise önerme eklemi almayan önermeler basit, önerme eklemi bulunan
önermeler bileşik kabul edilir.
109