Aof Panel

Soru 1

I.Bir dalda ilerlerken, bir ifade ve onun değili ortaya çıkarsa o dal açıktır.

II. İşlem uygulanacak bir ifade kalmadığı halde kapanmayan bir dal açık bir
daldır. Bu durum o dalın sonuna bir × (çarpı) işareti konarak gösterilir.

III. Tümel-özelleme ve tikel-özelleme kurallarını, tümel ve tikel-nicelemelerin
değillenmesi kurallarını ve önerme eklemlerine ait kuralları uygulayarak ilerleriz.

Yukarıda çözümleyici çizelge yöntemi ile, nicelemeli bir sembolik önerme için bir model bulmak için yapılması gerekenlerden hangisi veya hangileri yanlıştır?

Soru 2

I. Bir çıkarımın geçersiz olması, en az bir modelde tüm öncüllerin doğru olmasına
rağmen sonuç önermesinin yanlış olmasıdır.

II. Bir çıkarımın öncüllerinin sonuç önermesinin değili ile birlikte tutarlı olduğunu
ortaya koyan bir model çıkarımın bir karşı-modelidir.

III. Bir çıkarımın geçerli olduğunu göstermek için, çıkarımın bir karşı-modeli olmadığını ortaya koymamız gerekir.

Yukarıda çıkarımlar ile ilgili verilen bilgilerden hangisi veya hangileri doğrudur?

Soru 3

I. Çizelgede tamamlanmış ve açık bir dal olması durumunda

II. Çizelge tamamlandığında tüm dallar kapanıyorsa

III. Ad sembolleri yerine elemanların konmasıyla

IV. Öncüllerinin sonuç önermesinin değili ile birlikte tutarlı olmasıyla

V. Çıkarımın bir karşı-modeli olmamasıyla

Yukarıda verilen durumlarda hangisinde önermeler birlikte çelişiktir?

Soru 4

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

Soru 5

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

Soru 6

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

Soru 7

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

Soru 8

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

Soru 9

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

Soru 10

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

Soru 11

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

Soru 12

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

Soru 13

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

Soru 14

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

Soru 15

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

Soru 16

Niceleme mantığında herhangi bir yüklem sembolünün bir kümede yorumlanması ne demektir?

Soru 17

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

Soru 18

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

Soru 19

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

Soru 20

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

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