جمله مرتبه اول [tex]\forall x\exists yA(x,y)[/tex]را در نظر بگیرید.کدام یک از گزینه های زیر در مورد این جمله صحیح است؟
۱)همه مدلهای ان نامتناهی اند.
۲)همه مدلهای ان متناهی اند.
۳)ناسازگار است.
۴)هیچ کدام
جواب:گزینه ۴
|
|
|
جمله مرتبه اول - نسخهی قابل چاپ |
|
جمله مرتبه اول - ss311 - 26 بهمن ۱۳۹۶ ۰۸:۱۶ ب.ظ
جمله مرتبه اول [tex]\forall x\exists yA(x,y)[/tex]را در نظر بگیرید.کدام یک از گزینه های زیر در مورد این جمله صحیح است؟ ۱)همه مدلهای ان نامتناهی اند. ۲)همه مدلهای ان متناهی اند. ۳)ناسازگار است. ۴)هیچ کدام جواب:گزینه ۴ |