aof.sorular.net
Sembolik Mantık
Sembolik Mantık Deneme Sınavı
Sembolik Mantık Deneme Sınavı Sorusu #472283
Sembolik Mantık Deneme Sınavı Sorusu #472283
Çözümleyici çizelge yöntemi ile nicelemeli bir sembolik önerme için bir model bulurken ilk aşama aşağıdakilerden hangisidir?
Önermede her S ad sembolü yerine s elemanı yazılır. |
1 numaralı kök noktasına elde edilen ifadeyazılır. |
Tümel özelleme ve tikel özelleme kurallarını, tümel ve tikel nicelemelerin değillenmesi kurallarını ve önerme eklemlerine ait kuralları uygulayarak ilerlenir. |
Bir dalda ilerlenirken bir ifade ve onun değili ortaya çıkarsa o dal kapalıdır ve bu durum o dalın sonuna x konularak belirtilir. |
İşlem uygulanacak bir ifade kalmadığı halde kapanmayan bir dal açık bir daldır. Bu durum o dalın sonuna √ işareti konularak gösterilir. |
Yanıt Açıklaması:
İlk aşama, önermede her S ad sembolü yerine s elemanı yazılır.
Yorumlar
- 0 Yorum