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

Sembolleştirmenin aşamaları sıralanırsa:
1. adım: Önerme eklemlerinin eşanlamlıları yerine standart önerme eklemleri yazılarak, ve noktalamaya uygun olarak, parantezler yerleştirilerek, önermenin standart biçimi elde edilir.
2. adım: Önerme eklemlerinin yerine önerme eklemi sembolleri konur.
3. adım: Basit önermeler yerine, sembolleştirme anahtarında verilen önerme
değişkenleri konur.
4. adım: Okumada kolaylık sağlamak amacıyla, kimi parantezler işlem önceliği kurallarına göre kaldırılabilir.

Doğru cevap E seçeneğidir.

Tüm doğruluk değerlemelerinde doğru olan bir önermeye Totoloji denir.

Bir sembolik önermede geçen her bir önerme değişkeninin hangi gündelik dil önermesiyle karşılanacağını gösteren listeye çeviri anahtarı adı verilir.

Öncül önermeler kullanılarak doğru olma olasılığı yüksek bir sonuç önermesi elde etmeye Tümevarım denir.

Anlam bulanıklığı bir ifadenin hangi varlıklara, hangi durumlara uygulanabileğinin kesin olarak belirlenememesidir.

(Futbol oynamak yetenek işidir ↔ ( Elif futbol oynamaya 7 yaşında başlamasına ˄ (Elif basketbol oynamak istemektedir ˄ basketbol oynamak isteyenler için birçok kulüp vardır)) sembolleştirme anahtarına uygun olarak önerme değişkenlerini koyarsak, p ↔ (r ˄ (t ˄ u)) elde edilir.

p∧q önermesinin doğru olduğu yerlerde p önermesi de doğru olduğundan (p∧q)⊧p olur.

Bir sembolik önermeyi gündelik dile çevirirken, sembolleştirme adımlarının tersi uygulanır.

Kökten en alt noktaya kadar birbirini izleyen önermelere bir dal denir.

((Haldun iyi futbol oynar ˄ Haldun takımda ilk 11 de oynar ) →Haldun çok çalışır) →(~Haldun iyi futbol oynar ˄ ~Haldun çok çalışır)) sembolleştirme anahtarına uygun olarak önerme değişkenlerini koyarsak, ((p ˄ q) → r) → (~p ˄ ~q)) elde edilir.

olduğundan doğru cevap ~A ˄ C dir.

Bir önermenin doğruluğunun gerçeklikle değişmesine Olumsal Olarak Doğru Önerme adı verilir.

Bir veya daha fazla sayıda önermeden hareketle bir başka önermeye ulaşmak bir çıkarımda bulunmaktır. A şıkkı hariç diğer şıklarda bir davranışa nasıl karşılık verileceğini bildirilmektedir.

Olumsal bir önermenin değili yine bir olumsal önermedir.

Anlamlı ve kesin bir yargı bildiren tümcelere önerme denir. “Bugün hava çok güzel” tümcesi bir yargı bildirmektedir ancak havayı değerlendiren kişiye göre doğru ya da yanlışlığı değişeceğinden kesin bir yargı belirtmemektedir. Dolayısıyla bu tümce bir önerme değildir. “Yarın okula gelecek misin?” tümcesi ise bir soru tümcesi, “Kalemini bana ver” emir tümcesi olduğundan önerme değillerdir. “Yılın en mor ayı temmuzdur.” tümcesi ise görünüşte bir önerme olmasına rağmen, anlaşılır hiçbir yargı bildirmediğinden önerme değildir. “Türkiye’nin en kalabalık şehri İzmir’dir.” Tümcesi ise hem anlamlı hem de kesin bir yargı bildirdiğinden bir önermedir. Bu önerme “yanlış” doğruluk değerini alır.

olduğundan doğru cevap ~A ˄ C dir.

Tümdengelimli akıl yürütmenin amacı, doğru öncülereden yola çıktığımızda bizi mutlaka doğru sonuçlara ulaştıracağına emin olacağımız çıkarım biçimlerini bulmaktır.

A, D ve E şıklarında bir sözcükten bahsedilirken C şıkkında matematik hakkında bir önerme verilmiştir. B şıkkında ise bir sözcüğün ders olduğu ileri sürülmektedir.

C seçeneği incelendiğinde biletin bu gişeden alınma sebepleri sıralanmış bütün bu sebepler bir arada düşünülerek tümevarımsal bir yaklaşım uygulanmıştır.