سوال ۱۰۲ کنکور ارشد علوم کامپیوتر ۱۴۰۱ — مدل‌ها در منطق محمولات معمولاً ناتهی درنظر گرفته می‌شوند. فرض کنیم…

Question

مدل‌ها در منطق محمولات معمولاً ناتهی درنظر گرفته می‌شوند. فرض کنیم این شرط را در نظر نگیریم و اجازه دهیم مدل‌ها تهی نیز باشند.

فرمول زیر در منطق محمولات بگیرید:

$\neg\exists x\,(P(x)) \,\wedge\, \forall x\,P(x)$

این فرمول:

Accepted Answer

اگر مدل‌ها بتوانند تهی باشند نامعتبر و ارضاپذیر و اگر مدل‌ها ناتهی باشند غیرارضاپذیر است.

Answer

اگر مدل‌ها بتوانند تهی باشند معتبر است و اگر مدل‌ها ناتهی باشند نیز معتبر است.

Answer

اگر مدل‌ها بتوانند تهی باشند نامعتبر ولی ارضاپذیر است و اگر مدل‌ها ناتهی باشند نیز نامعتبر ولی ارضاپذیر است.

Answer

اگر مدل‌ها بتوانند تهی باشند نامعتبر ولی ارضاپذیر است و اگر مدل‌ها ناتهی باشند معتبر است.

The formula