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

Bir önermenin doğru olup olmadığına A(a) ?A(b) ? A(c) ? … modelinde kontrol yapılıyor ise aşağıdaki hangi önermenin kullanıldığını göstermektedir?


Tikel niceleme açılımı

Tikel ve Tümel niceleme

Tümel evetleme

Tümel niceleme

Tikel evetleme


Yanıt Açıklaması:

Tümel-nicelemenin açılımı ?? A tümel-nicelemeli önermesinin bir modelde doğru olması, A(a) ?A(b) ?A(c) ?… ifadesinin bu modelde doğru olması demektir.

Yorumlar
  • 0 Yorum