(۱۰ آذر ۱۳۹۴ ۰۲:۴۲ ب.ظ)teraktor2003 نوشته شده توسط: منظورتون از در نظر نگرفتن ishuman چی بود؟ منظور تو خط اخر گراف کشیده شده بود؟
اگه اره منطقی که بهکار بردم اینه که چون بین شون "و" هست وقتی نقیضش رو در نظر بگیریم کل عبارت را باید باهاش در نظر بگیریم دیگه درسته؟پس تهی می شه تو رزولوشن.اگه اشتباه هست شما یا بقیه دوستان بگین لطفا.
عبارتی که «هر انسانی که مشورت میکنم درست تصمیم میگیرد» معادل عبارت
∀x,consut(x)→... نیست. شرط انسان بودن رو برای x ننوشتید.
یکی دیگه اینکه منظورم این بود عبارت اول و سوم و چهارمتون علامت شرط وجودی نیاز نداره.
روش کار رزولوشن تا اونایی که یادمه درست. با توجه به عبارتهایی که نوشتید (این عبارتها معادل متن سوال نیستند) روند کار رزولوشنتون درسته.