Deneme Sınavı Soruları

(∃x Gx ∧ ∀x (Fx ↔ Gx)) önermesini ön-nicelemeli normal biçime dönüştürerek
karşılıklı koşul ekleminin elenmesi sonucunda aşağıdaki önermelerden hangisi elde edilir?

Bazı A B'dir önermesinin değili aşağıdaki seçeneklerin hangisinde doğru verilmiştir? 

Aşağıdakilerden hangisi "Her F G dir." ifadesinin sembolleştirilmiş halidir?

Aşağıdakilerden hangisi "Hiçbir F G değildir" önermesinin sembolleştirilmiş halidir?

Niceleme mantığında önermelerin yorumlanması için temel kavram olan “model” kavramını ele alabilmek neyi bilmemizi gerektirir?

{∃x ∃y (FA ∧ ~Fy), ∀y (GB ∧ ~Fy)} önermeler kümesinde, F ve G yüklem sembolleri, A ve B ne sembolü olarak geçmektedir?

Önermeler mantığında olduğu gibi, niceleme mantığında da sembolleştirme
ancak bir sembolleştirme anahtarına göre yapılabilir. Önermeler mantığında, sembolleştirme anahtarı basit önermelerin önerme değişkenleri ile eşleştirilmesi ile belirtiliyordu. Niceleme mantığında ise, bir önerme için bir sembolleştirme anahtarı,
bu önermede geçen yüklemlerin yüklem sembolleri ile, adların da ad sembolleri
ile eşleştirilmesi ile belirtilir. Kullanacağımız yöntem bakımından, yüklemler yerine
a,b,... değişkenleri yardımıyla, “yüklem ifadeleri” kullanacağız. Örneğin, “insandır”
yüklemine ait bir yüklem ifadesi “a bir insandır” gündelik dil formülü, “sarıdır”
yüklemine ait bir yüklem ifadesi “b sarıdır” gündelik dil formülüdür.
Bir gündelik dil önermesini, aşağıdaki adımları izleyerek sembolleştireceğiz:
1. adımda, gündelik dil önermesinde geçen tikel ve tümel-niceleme ifadelerinin ve önerme eklemlerinin eş anlamlıları, standart niceleme ifadeleriyle
ve önerme eklemleri ile değiştirilerek, noktalama işaretlerine uygun olarak
parantezler yerleştirilir. Önermeler mantığında olduğu gibi, bu işlem sonucunda elde edilen ifade gündelik dil önermesinin standart biçimidir.
2. adımda, niceleme ifadeleri ve önerme eklemleri yerine niceleyiciler ve
önerme eklemi sembolleri yerleştirilir.
3. adımda, “x bir insandır”, “Ahmet bir öğrencidir” gibi, X bir değişken veya
ad, Y bir yüklem ifadesi olmak üzere, (XY) biçimindeki gündelik dil formülleri yerine, “{a bir insandır}x” ve “{a bir öğrencidir}Ahmet” ifadeleri
gibi, {Y}X ifadesi konur.
4. adımda, parantezli yüklem ifadeleri yerine sembolleştirme anahtarında verilen yüklem sembolleri konur.
5. adımda, ifadede geçen adlar yerine ad sembolleri konur.
6. adımda, istenirse, kimi parantezler kurallara uygun olarak kaldırılabilir.

Hangileri Doğrudur?

Çözümleyici çizelge ile model oluştururken, bir dalda ∀ν A biçiminde bir önerme ortaya çıktığında aşağıdakilerden hangisi yapılmalıdır?

F: a hayvandır.
G: a denizde yaşar.
H: a karada yaşar.

Yukarıdaki sembolleştirme anahtarına göre, “Bazı hayvanlar ne denizde yaşar ne de karada yaşar” önermesinin niceleme mantığında sembolleştirmesi aşağıdakilerden hangisidir?

“Her şey için, eğer o şey bir F ise, o şey bir G dir” ifadesinin sembolleştirilmiş hali aşağıdakilerden hangisidir?

"....................... gündelik dile çeviri, ad ve yüklem sembollerinin gündelik dildeki karşılığını belirten çeviri anahtarına göre gerçekleştirilir." Boşluğa ne gelmelidir?

Önermeler mantığında doğruluk tablosu yöntemine göre ((p v q) <-> (~r v s)) önermesinin doğruluk tablosu kaç satırdan oluşur?

Dünya hem kendi ekseni etrafında, hem de Güneşin etrafında döner.

Yukarıdaki cümle aşağıdakilerden hangisine örnek olarak gösterilebilir?

Aşağıdakilerden hangisi yanlıştır?

Aşağıdaki eklemlerden hangisinin sembolü " → " şeklindedir?

~p → ( q → ~r )    ≡        pv  (q → ~r )    ≡  pv (.......v  ~r)                                                                                                                                                          çizelgesine göre boşluğa ne gelmelidir?

p: Saat 20:00 dır.
q: Mevsim kıştır.
r: Hava kararmıştır

Yukarıdaki önermelerin öncülü nedir?

Kimi doğru önermeler gerçek durum başka olsa bile yanlış olamayacak önermelere verilen isim aşağıdakilerden hangisidir?