تالار گفتمان مانشت
سوال از سورها و جهان متناهی از کتاب قلی زاده - نسخه‌ی قابل چاپ

سوال از سورها و جهان متناهی از کتاب قلی زاده - IT89 - 21 آبان ۱۳۹۰ ۰۱:۱۰ ب.ظ

مثال ۳۲-۱ صفحه ۳۸

این مثال چه طور حل شده؟؟؟؟؟؟؟؟؟
با استفاده از قواعد استنتاج
(
می توان از گزاره های( تمام پرندگان پر دارند.)(تمام گنجشکان پرنده هسنتد) گزاره (تمام گنجشکان پر دارند)را اسنتاج کرد
حل:
فرض که 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]


یکی تو ضیح بده مراحل حل چیه؟ و برا چی اون کار تو اون مرحله انجام میشه؟؟؟؟؟؟؟؟؟؟؟

خواهش میکنم کمکم کنید

RE: سوال از سورها و جهان متناهی از کتاب قلی زاده - ahmadnouri - 21 آبان ۱۳۹۰ ۰۳:۱۸ ب.ظ

دوست عزیز این رو با یه تعدی میشه نشون داد


ابتدا جهان لحظه ای برا ۲ عبارت در نظر می گیریم

[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]
می رسیم.
کجاش مشکل دارین؟

سوال از سورها و جهان متناهی از کتاب قلی زاده - IT89 - 21 آبان ۱۳۹۰ ۰۴:۵۴ ب.ظ

ممنون از جوابتون
من مشکل این که جهان لحظه ای چیه؟ و جود لحظه ای چیه؟ استادمون هیچی توضیح نداده من نمبدونم اینا چین؟
خیلی لطف میکنی اگه راهنماییم کنی

سوال از سورها و جهان متناهی از کتاب قلی زاده - ahmadnouri - 21 آبان ۱۳۹۰ ۰۵:۲۶ ب.ظ

جهان لحظه ای یعنی ما یه عضو دلخواه از جهان رو میگیریم
و وجود لحظه ای هم یعنی این که یه عضوی که بتونه عبارت رو ارضا کنه( یعنی برای عبارت صحیح باشه )در نظر می گیریم

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