Ünite 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?

Aşağıdakilerden hangisi tikel-niceleyiciye gündelik dilde örnek olarak verilebilir?

Aşağıdakilerden hangisi tikel-niceleyici bir önermedir?

Niceleme mantığında her formül, başta bir dizi niceleyici ve ardından niceleyici
geçmeyen bir “matris” ile oluşmuş bir formüle eşdeğerdir. Bu biçime ne ad verilmektedir?

Aşağıdakilerden hangileri niceleme mantığının sembolik dilindeki terimlerdendir?

Aşağıdakilerden hangisi niceleme mantığı bakımından diğerlerinden farklı bir yargıyı dile getirmektedir?

∀y(Gx˅ƎzHz) formülünde Ǝz tümel-nicelemesinin etki alanı aşağıdakilerden hangisidir?

P → Q ≡ ..........   boşluğa aşağıdakilerden hangisi gelmelidir?

Her köpek dört ayaklıdır önermesinin değili nedir?

Aşağıdakilerden hangisi tikel-niceleyiciye örnektir?

Aşağıdakilerden hangileri niceleme mantığının sembolik dilindeki terimlerdendir?

..................önerme değişkenleri yerine niceleme mantığının önermelerinin konmasıyla elde edilen niceleme mantığı önermeleri niceleme mantığında geçerli önermelerdir. 

Yukarıdaki boşluğa aşağıdaki seçeneklerde verilen kavramlardan hangisi getirilmelidir?

ⱻ y (Gx ᴠ Hy ᴧ Tz) formülünde  ⱻ y tikel nicelemesinin etki alanı aşağıdakilerden hangisidir?           

"En az bir insan filozoftur" diyen bir kişi, ne tür bir niteleyici önermede bulunmuştur? 

Aşağıdaki önermelerden hangisinde “bir” ifadesi tümel-niceleyici anlamında kullanılmıştır?

Niceleme mantığında "Her" kelimesiyle ifade edilen niteleyiciye ne ad verilir? 

“Hiçbir hayvan insan değildir.” önermesinin değili aşağıdakilerden hangisidir?

Aşağıdakilerden hangisi ya da hangileri tikel-niceliğe örnektir?

1. Bazı arabalar iki tekerleklidir.
2. Bütün canlılar ölümlüdür.
3. Her bitkinin tohumu vardır.

Aşağıdakilerden hangisi niceleme mantığı bakımından “Kedi omurgalıdır” önermesi ile aynı yargıyı dile getirmektedir?