Sembolik Mantık
Önerme Akıl yürütmenin doğrulardan ya da kabullerden hareket ederek sonuç çıkarmak olduğunu söylemiştik. Ancak neler için “doğru” ya da “yanlış” diyebileceğimizi, dolayısıyla akıl yürütmelerin nelerden oluştuğunu belirlemedik. Mantıkta “doğru” ve “yanlış” değerleri “doğruluk değerleri” olarak, doğruluk değeri alan şeyler ise “önerme” olarak adlandırılır.” ÖRNEK: “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. Tanım: Önerme anlamlı ve kesin yargı bildiren bildirsel tümcedir. BİLGİ: Anlamlı olan ve kesin bir yargı bildiren tümcelere önerme denir. Akıl yürütmeler önermelerden kuruludur. ÖRNEK: Aşağıdaki tümceler birer önermedir. Eskişehir Türkiye’nin en kalabalık kentidir. 2+2=5 Phobos ve Deimos, Mars gezegeninin iki doğal uydusudur. Her doğal sayı ya çift ya da tek sayıdır. Bir önermenin doğru ya da yanlış olmasını da şu şekilde t...