Gündelik dilin bir ifadesinin bir sembolik dildeki karşılığını oluşturmak, başlangıçta verilen gündelik dil ifadesini sembolleştirmek anlamına gelir. Sembolleştirme ile ifadelerde anlam ve kullanım ile ilgili kusurlardan kaçınmamızı sağlar. A, B,D ve E seçenekleri sembolleştirmenin yararlarıdır.

Önermelerin yapısını en temel sembolik mantık sistemi olan “önermeler mantığı” daha açık bir ifade ile önerme eklemleri veya doğruluk fonksiyonu mantığı olarak adlandırılır.

Bir grup önermenin tümünün aynı zamanda doğru olabilmesine Tutarlılık denir.

Verilen önermenin doğruluk tablosunu yaparsak;

Hiç kimsenin İsmail’in hastası olmama durumu İsmail’in doktor olmasıyla çelişmektedir. Bu durum tutarlılığı bozmaktadır.

Tümevarımlı akıl yürütme bakımından bir çıkarımda öncüllerin sonuç önermesini kesin olarak ortaya koyması değil, sonucun doğru olma olasılığını arttırmaları şartı aranır.

 ? ((p? ? q)›(p?r)) önermesinin çözümleyici çizelgesini oluşturduğumuzda sadece p yanlış, q yanlış ve r yanlış durumlarında yanlışlayıcı bir yorumlama ortaya çıkar.

GÜNDELİK DİLE ÇEVİRME
Önermeler mantığının bir sembolik önermesinin gündelik dilde bir önerme olarak karşılığı, bu önermenin gündelik dile bir çevirisidir. Sembolik önermeleri gündelik dile çevirirken de, sembolik önermelerdeki önerme değişkenlerinin hangi gündelik dil önermesi ile karşılanacağını belirtmemiz gerekir.
Bir sembolik önermede geçen her bir önerme değişkeninin hangi gündelik dil
önermesiyle karşılanacağını gösteren bir listeye “çeviri anahtarı” adı verilir. Göreceğimiz gibi, bir sembolik önermenin hangi gündelik dil önermesine çevrileceği,
hangi çeviri anahtarına göre çeviri yaptığımıza göre değişir.

Doğru cevap E seçeneğidir.

Aristoteles (M.Ö. 384- M.Ö. 322) mantık biliminin kurucusu sayılmaktadır. Ünlü bir matematikçi olan Öklid’den sonar matematik daha kurallı bir şekilde öğrenilmeye ve öğretilmeye başlanmıştır. İbn-i Sina geçicilik ve içerme arasındaki ilişkiyi geliştirerek mantık bilimine katkıda bulunmuştur. Harezmi matematik gökbilim ve coğrafya alanında yaptığı çalışmalarla tanınırken, Charles Darwin evrim teorisini ortaya koyan bilim adamıdır.

A seçeneği Mantık dersinin beş harfli olduğunu söylediği için, B seçeneği bir kelimenin öğrenci olduğunu söylediği için, C seçeneği bir kişinin beş harfli olduğunu söylediği için, D seçeneği Bir kelimenin zor bir ders olduğunu belirttiği için yanlıştır.

(p ^ q) önermesi ~(p ›~q) önermesine eşdeğerdir.

Bir çıkarımın geçerli olduğunu göstermek için çözümleyici çizelge yöntemine göre çıkarımın çözümleyici çizelgesini yapıp tüm dalların kapalı olduğunu göstermek gerekir.

A, C, D ve E şıklarındaki önermeler “Hava ısınırsa genleşir” önermesi ile aynı yargıyı bildirir. Ancak B şıkkındaki önerme için, havanın genleşmesi için ısınması yeterli bir koşul değildir, havanın ısınması için genleşmesi yeterli bir koşuldur.

Bir önermede ya da çıkarımda geçen önerme sayısı n ise, bu önermenin ya da çıkarımın doğruluk tablosundaki satır sayısı 2ⁿ dir. Önerme ya da çıkarım sayısı 3 ise, 2³ den 8 olur.

Bir gündelik dil önermesinin, önermeler mantığının sembolik dilindeki bir sembolik önerme olarak karşılığı, bu önermenin önermeler mantığında sembolleştirilmesidir.

Bir veya daha fazla sayıda önermeden hareketle bir başka önermeye ulaşmak bir çıkarımda bulunmaktır. Bir çıkarımda bulunduğumuzda ulaştığımız önerme sonuç önermesi, sonuç önermesine ulaşmak için başlangıç noktası olarak aldığımız önermeler öncül önermeler veya kısaca öncüllerdir.

Önermeler doğruluk değerlemelerinin tümünde aldıkları doğruluk değerine göre totoloji, çelişki ve olumsal önerme olmak üzere üçe ayrılır.

Temel gerçeklerin akla dayalı olarak araştırılmasına Felsefe adı verilir.

“Derya’nın hiç çocuğu yoktur” önermesi ele alınırsa bu önerme verilen önermelerle çelişeceğinden tutarlılık bozulur.

p›q?~p?q olur. ~q›~p?~(~q)?~p?q?~p?~p?q elde edilir.