Ünite Sınavı Soruları

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?

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 nasıl olması gerekir?

Çözümleyici çizelge yöntemi ile, nicelemeli bir sembolik önermenin bir modeldeki doğruluk değerini hesaplarken, başvurulması zorunlu olmayan ama çizelgeyi olabildiğince basit tutmak ve böylece hata yapmaktan kaçınmak için izleyebileceğimiz “öncelik kuralları” vardır.Buna göre aşağıdakilerden hangisi 
bu kurallardan biri değildir?

Bir çıkarımın geçersiz olması aşağıdakilerden hangisi ile açıklanır?

Çözümleyici çizelge ile ilgili aşağıdaki ifadelerden hangisi yanlıştır? 

I. Çözümleyici çizelge ile model oluştururken, çatal açma kurallarının alt alta yazma kurallarına önceliği vardır 

II. Tikel-özelleme kuralı da tümel-özelleme kuralından sonra uygulanmalıdır

III. Çözümleyici çizelge bir tek daldan oluşmaktadır ve bu dal tamamlandığı halde açıktır 

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?

"A ve B önermelerinin niceleme mantığı bakımından eşdeğer olduğunu çözümleyici çizelge yöntemi ile göstermek, ............ önermesinin niceleme mantığında geçerli olduğunu göstermek demektir." Boşluğa ne gelmelidir?

Aşağıdakilerden hangisi, çözümleyici çizelge yöntemi ile, nicelemeli bir sembolik önermenin bir modeldeki doğruluk değerini hesaplarken, başvurulması zorunlu olmayan ama çizelgeyi olabildiğince basit tutmak ve böylece hata yapmaktan kaçınmak için izleyebileceğimiz "öncelik kurallardan" biri değildir?

                           ⱻ x Fx →  ⱻGx    

         ~  ⱻ x Fx                            ⱻGx 

          ..............

Yukarıda verilen sembolik çizelgede boşluğa aşağıdakilerden hangisi gelmelidir?

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?