Aof Panel

Soru 1

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 2

"~∃ν 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 3

Kaç tane niceleyici kuralı vardır?

Soru 4

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 5

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 6

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

Soru 7

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?

Soru 8

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 9

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 10

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?

SEMBOLİK MANTIK