Aof Panel

Soru 1

Çözümleyici çizelge ile geçerlilik denetlemesi yaparken aşağıdakilerden hangisi ya da hangileri doğru olur?

I. Tikel-özelleme kuralının tümel-özelleme kuralına önceliği vardır.

II. Alt alta yazma kurallarının çatal açma kurallarına önceliği vardır.

III. Nicelemeli bir sembolik önermenin geçerli olduğunu göstermek için, önermenin değilinin model oluşturma kurallarına göre oluşturulan tamamlanmış çözümleyici çizelgesinin kapalı olması gerekir.

Soru 2

(A↔B) çözümlü çizelge yönteminde neyi ifade etmektedir?

Soru 3

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

Soru 4

Aşağıdaki önermelerden hangisi tümel-nicelemeli önermedir?

Soru 5

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

Soru 6

"Bazı insanlar çalışkan değildir ." önermesinin değili aşağıdakilerden hangisidir?

Soru 7

"Hiçbir insan dört ayaklı değildir ." önermesinin değili aşağıdakilerden hangisidir?

Soru 8

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

Soru 9

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

Soru 10

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

Soru 11

Aşağıda verilen bilgilerden hangisi yanlıştır?

Soru 12

I. Çözümleyici çizelge yönteminin ana fikri, çizelgedeki noktalarda bulunan önermelerin doğru olması için yeterli olan şartların belirtilmesidir.

II. Çizelgede açık bir dal bularak önerme için bir model oluşturmaya çalışılır.

III. Çözümleyici çizelge ile nicelemeli bir sembolik önermenin bir modelde doğruluk değerini hesaplarken, çizelgede en az bir doğru dal ortaya çıkarsa, önerme bize verilen modelde doğrudur.

Yukarıda nicelemeli sembolik önermeler ve çözümleyici çizelgeler hakkında verilen bilgilerden hangisi veya hangileri doğrudur?

Soru 13

(∃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?

Soru 14

"~∃ν A ve ∀ν ~A önermeleri niceleme mantığında eşdeğer önermeler olduğundan, daldaki bir üst noktada ~∃ν A ifadesi varsa, o dalda bir nokta olarak ∀ν ~A ifadesi eklenir." verilen bilgi hangi değer hesaplama kuralına aittir?

Soru 15

Kaç tane niceleyici kuralı vardır?

Soru 16

En az bir serbest değişken geçişi olan bir formül ne olarak adlandırılır?

Soru 17

I.Dalda ortaya çıkan ifade Ys ise ve modelde s ∈ YM ise, Ys ifadesi yanlıştır.

II.Dalda ortaya çıkan ifade ~Ys ise ve modelde s ∉ YM ise, ~Ys ifadesi doğrudur ve yine o dalda ilerlemeye devam edebiliriz.

III.Dalda ortaya çıkan ifade ~Ys ifadesi ise ve modelde s ∈ YM ise,~Ys ifadesi yanlıştır ve o dalda daha fazla ilerlemeden, dalın sonuna bir × (çarpı) işareti koyarız ve bu dalın “yanlış” bir dal olduğunu söyleriz.

Yukarıda nicelemeli bir sembolik önermenin verilen bir modeldeki doğruluk değerini çözümleyici çizelge yöntemiyle hesaplanması hakkında verilen bilgilerden hangisi veya hangileri doğrudur?

Soru 18

I.Niceleyici-değilleme kuralları tüm kurallardan önce uygulanmalıdır.

II. Tikel-nicelemenin açılımı kuralı tümel-nicelemenin açılımı kuralından önce uygulanmalıdır.

III. Önerme eklemleri elenirken, alt alta yazma gerektiren kurallar çatal açma
kurallarından önce uygulanmalıdır.

IV.Bir niceleyici kuralı ile önerme eklemi kuralı arasında seçim yapmamız gerektiğinde de, alt alta yazma gerektiren kural çatal açma kurallarından önce uygulanmalıdır.

Yukarıda çözümleyici çizelge yöntemi yapılan hesaplamalarda uyulması gereken kurallarla ilgili verilen bilgilerden hangisi yanlıştır?

Soru 19

Çözümleme çizelgesinde √ işareti ne anlama gelmektedir?

Soru 20

I. Önermede her S ad sembolü yerine s elemanını yazarız:

II. 1 numaralı kök noktasına elde ettiğimiz ifadeyi yazarız.

III. Bir dalda ilerlerken, bir ifade ve onun değili ortaya çıkarsa o dal kapalıdır ve
bu durum o dalın, sonuna √ işareti konarak kapanmasıyla belirtilir.

Çözümleyici çizelge yöntemi ile, nicelemeli bir sembolik önerme için bir model bulmak için yapılması gerekenler hangisi veya hangileri doğrudur?

SEMBOLİK MANTIK - Deneme Sınavı - 4