Ünite Sınavı Soruları

Bir formülün sembolik niceleme mantığında bir “kapalı formül” veya “önerme” olması için aşağıdakilerden hangisi gereklidir.

Niceleme mantığının sembolik dilinde önerme eklemleri aşağıdaki sembollerden hangisini içerir?

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

Niceleme mantığında temel olarak kabul edilen iki niceleyiciden hangisi “bazı” sözcüğü ile dile getirilmektedir?

∃y (Gx ∨ ∀z Hz) formülünde ∃y tikel-nicelemesinin etki alanı aşağıdakilerden hangisidir?

Bazı hayvanlar uçamaz önermesinin değili aşağıdakilerden hangisidir?

Niceleme mantığının sembolik diline göre "↔" sembolü aşağıdakilerden hangisine aittir?

"Bazı insanlar zekidir ancak bazılar zeki değildir." önermesi aşağıdaki önermelerden hangilerinin birleşimi oluşmaktadır?

"Bazı insanlar zengindir ama mutlu değildir" diyen bir kişi ne tür bir önermede bulunmuştur?  

Aşağıdakilerden hangisi bazı anlamında kullanılır?

(Ǝx Gx ∧ ∀x (Fx ↔Gx)) önermesinin ön-nicelemeli normal biçimi aşağıdakilerden hangisidir?

(∃y (Gy ∨ ∀z Hz) ↔ ∃x Gx) formülü ile ilgili aşağıdakilerden hangisi doğrudur?

“Her asal sayı tek sayıdır” önermesinin değili aşağıdaki önermelerden hangisidir?

Aşağıdakilerden hangisi açık formüle bir örnektir?

Aşağıdakilerden hangisi niceleme mantığının sembolik diline göre tümel-niceleyici semboldür?

Aşağıdakilerden hangisi niceleme mantığının formüllerine ilişkin tanımlardan biri değildir? 

Yunus bir memelidir önermesi niceleyici olarak nasıl formül edilir.

Bir formülde tüm değişken geçişleri bağlı ise bu formül sembolik niceleme mantığında ne denir?

Aşağıdakilerden hangisi niceleme mantığının sembolik dilinin içerdiği sembollerden değildir?

Aşağıdakilerden hangisi niceleme mantığının sembolik dili için yanlış olur?