Sembolik Mantık Deneme Sınavı Sorusu #464722

Çözümleyici çizelge ile nicelemeli bir sembolik çıkarımın geçerli olduğunu göstermek için yapılması gereken aşağıdakilerden hangisidir?


Kök noktasından başlayarak, çıkarımı oluşturan önermeleri yazarak oluşturulan çizelgede en az bir açık dal olmalıdır.

Kök noktasından başlayarak, öncüllerde ve sonucun değilinde ad sembolleri yerine birer eleman yazarak oluşturulan ifadeleri yazarak oluşturulan çizelgede tüm dallar açık olmalıdır.

değilinde ad sembolleri yerine birer eleman yazarak oluşturulan ifadeleri yazarak oluşturulan çizelgede tüm dallar kapanmalıdır.

Kök noktasından başlayarak, çıkarımı oluşturan önermelerin değilleri yazarak oluşturulan çizelgede en az bir açık dal olmalıdır.

değilinde ad sembolleri yerine birer eleman yazarak oluşturulan ifadeleri yazarak oluşturulan çizelgede en az bir açık dal olmalıdır.


Yanıt Açıklaması:

Çözümleyici çizelge ile nicelemeli bir sembolik çıkarımın geçerli olduğunu göstermek için kök noktasından başlayarak, öncüllerde ve sonucun değilinde ad sembolleri yerine birer eleman yazarak oluşturulan ifadeleri yazarak oluşturulan çizelgede tüm dallar kapanmalıdır.

Yorumlar
  • 0 Yorum