SEMBOLİK MANTIK Dersi NİCELEME MANTIĞINDA ÇÖZÜMLEYİCİ ÇİZELGE YÖNTEMİ soru detayı:

PAYLAŞ:

SORU:

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


CEVAP:

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.