Deneme Sınavı Soruları

F: a sıvıdır.
G: a ısıtılır.
H: a buharlaşır.
Yukarıdaki sembolleştirme anahtarına göre, “Sıvılar ısıtıldığında buharlaşır” önermesinin niceleme mantığında sembolleştirmesi aşağıdakilerden hangisidir?

F: a bir bilim insanıdır
G: a bir insandır.
A: Marie Curie

Yukarıdaki çeviri anahtarına göre, GA ∧ FA ∨ (~FA → ∀x (Gx → ~Fx)) sembolik önermesinin gündelik dile çevirisi aşağıdakilerden hangisidir?

∃x Fx → ∀x (FA → Gx) önermesinin {a, b} kümesindeki açılımı aşağıdakilerden hangisidir?

FA → ∃x (Fx ∧ Gx) sembolik önermesinin gündelik dili çevrimi aşağıdakilerden hangisidir?

F: a renktir
G: a sıcaktır
A: Kırmızı

F: a bir insandır

G: a hata yapabilir

H: a bir hatadır

K: a kolay affedilebilir

'Her insan hata yapabilir ancak kimi hatalar kolay affedilemez' önermesinin sembolik önermesi aşağıdakilerden hangisidir?

Niceleme mantığında bir ad sembolünün bir kümede yorumlanması ne demektir? 

∀x (Fx v Ǝy Gy) önermesinin {a,b} kümesindeki doğrusal açılımı aşağıdakilerden hangisidir?

Gündelik dile çeviri adımlarını yaparken ilk olarak yapmamız gereken adım aşağıdakilerden hangisidir?

F: a bir kuştur

G: a'nın kanatları vardır

H: a uçabilir

sembolik önermesinin karşılığı aşağıdakilerden hangisidir?

I. Sembolleştirme anahtarında verilen adlar yerine, ad sembolleri konur.

II.İfadede geçen her yüklem sembolü yerine, sembolleştirme anahtarında verilen yüklem ifadesi küme parantezleri içine konur.

III.Niceleyiciler ve önerme eklemi sembolleri yerine gündelik dildeki niceleme ifadeleri ve önerme eklemleri konur.

Yukarıda verilen "Gündelik dile çeviri adımları"ndan hangisi veya hangileri doğrudur?

Bir çıkarımın geçersiz olması ile ilgili aşağaıda verilen ifadelerden hangisi doğru olmaz?

Verilen sembolleştirme anahtarına göre “Bazı canlılar hem denizde hem karada yaşar.” önermesinin niceleme mantığındaki sembolleştirmesi aşağıdakilerden hangisidir?

F: a canlıdır

G: a denizde yaşar

H: a karada yaşar

Aşağıdakilerden hangisi "Bazı F ler G değildir" önermesinin sembolletirilmiş halidir?

1. Bir önermenin yanlışlayıcı yorumlaması o önermeyi yanlış yapan doğruluk değerlemesidir.
2. Bir önermenin yanlış olması, önermenin değilinin doğru olması demektir.
3. Bir A önermesi için yanlışlayıcı yorumlama aramak, önermenin değili olan ~A önermesi için doğrulayıcı yorumlama aramak
   demektir.
4. Çözümleyici çizelge yöntemi ile, bir önerme için yanlışlayıcı yorumlama ararken, kök olarak ~A önermesini yazarak çözümleyici çizelge kurallarına göre ilerleriz.

Çözümleyici çizelge ile bir önerme için yanlışlayıcı yorumlama oluşturulmasına ilişkin yukarıda verilen bilgilerden hangisi/hangileri doğrudur?

Bir dalda birbirinin değili olan iki önerme ortaya çıkmış ise o dala ne denir?

Bir önerme ya da çıkarımda geçen önerme değişeni sayısı 4 ise, bu önerme ya da çıkarımın doğruluk tablosundaki satır sayısı kaç olmalıdır? 

'' Atilla öğretmendir '' ve '' Bir öğretmenin öğrencileri vardır '' önermelerinden oluşan gruba aşağıdaki önermelerden hangisi eklenirse tutarlılık  bozulur?

Tümel evetleme eklemi sembolü aşağıdakilerden hangisidir?

Bir sembolik önermede geçen her bir önerme değişkeninin hangi gündelik dil önermesiyle karşılanacağını gösteren bir listeye “.....anahtarı” adı verilir. Cümledeki boşluğu doğru kelime ile tamamlayınız.

Hangisi sembolik önerme eklemleri mantığında kullanılan sembollerden "p,q,r" harfleriyle ifade edilir?