مثال ۳۲-۱ صفحه ۳۸
این مثال چه طور حل شده؟؟؟؟؟؟؟؟؟
با استفاده از قواعد استنتاج
(
می توان از گزاره های( تمام پرندگان پر دارند.)(تمام گنجشکان پرنده هسنتد) گزاره (تمام گنجشکان پر دارند)را اسنتاج کرد
حل:
فرض که F(X) X پرنده
G(X) X گنجشک
P(X) X پر دارد
[tex]\forall X\sqsubset F\left( X\righ \right )\rightarrow P\left( X \right )\sqsupset[/tex]
[tex]\forall X\sqsubset GX\rightarrow FX\sqsupset[/tex]
انگاه:
[tex]\forall X\sqsubset GX\rightarrow PX\sqsupset[/tex]
یکی تو ضیح بده مراحل حل چیه؟ و برا چی اون کار تو اون مرحله انجام میشه؟؟؟؟؟؟؟؟؟؟؟
خواهش میکنم کمکم کنید
دوست عزیز این رو با یه تعدی میشه نشون داد
ابتدا جهان لحظه ای برا ۲ عبارت در نظر می گیریم
[tex]G(a)\rightarrow F(a)[/tex]
[tex]F(a)\rightarrow p(a)[/tex]
که با تعدی میشه نتیجه گرفت که
[tex]G(a)\rightarrow p(a)[/tex]
با تعمیم جهانی به
[tex]\forall x (G(x)\rightarrow p(x))[/tex]
می رسیم.
کجاش مشکل دارین؟
ممنون از جوابتون
من مشکل این که جهان لحظه ای چیه؟ و جود لحظه ای چیه؟ استادمون هیچی توضیح نداده من نمبدونم اینا چین؟
خیلی لطف میکنی اگه راهنماییم کنی
جهان لحظه ای یعنی ما یه عضو دلخواه از جهان رو میگیریم
و وجود لحظه ای هم یعنی این که یه عضوی که بتونه عبارت رو ارضا کنه( یعنی برای عبارت صحیح باشه )در نظر می گیریم
در واقع با این روش از دست سورها خلاص میشیم.