Sembolik Mantık Deneme Sınavı Sorusu #472278
Çözümleyici çizelge yöntemiyle sonlu sayıda bir grup önermenin birlikte tutarlı olduğunu gösterirken ne olduğunda önermelerin çelişik olduğuna karar veririz?
|
Çizelge tamamlandığında en az bir dal kapanırsa, bu önermelerin çelişik olduğuna karar verilir. |
|
Çizelge tamamlandığında tüm dallar açıksa, bu önermelerin çelişik olduğuna karar verilir. |
|
Çizelge tamamlandığında en az bir dal açıksa, bu önermelerin çelişik olduğuna karar verilir. |
|
Çizelge tamamlandığında önerme sayısının bir eksiği kadar sayıda dal kapanırsa, bu önermelerin çelişik olduğuna karar verilir. |
|
Çizelge tamamlandığında tüm dallar kapanırsa, bu önermelerin çelişik olduğuna karar verilir. |
Çözümleyici çizelge yöntemiyle sonlu sayıda bir grup önermenin birlikte tutarlı olduğunu göstermek için, bu önermelerden ad sembolleri yerine elemanların konmasıyla elde edilen ifadeleri, kök noktasından itibaren alt alta yazar ve ardından model oluşturma kurallarına göre ilerleriz. Çizelge tamamlandığında tüm dallar kapanıyorsa, bu önermelerin tümünü doğru yapan bir model yoktur ve dolayısıyla bu önermeler birlikte çelişiktir.
Yorumlar
- 0 Yorum