۰
subtitle
ارسال: #۱
سوال از سورها و جهان متناهی از کتاب قلی زاده
مثال ۳۲-۱ صفحه ۳۸
این مثال چه طور حل شده؟؟؟؟؟؟؟؟؟
با استفاده از قواعد استنتاج
(
می توان از گزاره های( تمام پرندگان پر دارند.)(تمام گنجشکان پرنده هسنتد) گزاره (تمام گنجشکان پر دارند)را اسنتاج کرد
حل:
فرض که 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]
یکی تو ضیح بده مراحل حل چیه؟ و برا چی اون کار تو اون مرحله انجام میشه؟؟؟؟؟؟؟؟؟؟؟
خواهش میکنم کمکم کنید
این مثال چه طور حل شده؟؟؟؟؟؟؟؟؟
با استفاده از قواعد استنتاج
(
می توان از گزاره های( تمام پرندگان پر دارند.)(تمام گنجشکان پرنده هسنتد) گزاره (تمام گنجشکان پر دارند)را اسنتاج کرد
حل:
فرض که 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: سوال از سورها و جهان متناهی از کتاب قلی زاده
دوست عزیز این رو با یه تعدی میشه نشون داد
ابتدا جهان لحظه ای برا ۲ عبارت در نظر می گیریم
[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]
می رسیم.
کجاش مشکل دارین؟
ابتدا جهان لحظه ای برا ۲ عبارت در نظر می گیریم
[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]
می رسیم.
کجاش مشکل دارین؟
۰
ارسال: #۳
سوال از سورها و جهان متناهی از کتاب قلی زاده
ممنون از جوابتون
من مشکل این که جهان لحظه ای چیه؟ و جود لحظه ای چیه؟ استادمون هیچی توضیح نداده من نمبدونم اینا چین؟
خیلی لطف میکنی اگه راهنماییم کنی
من مشکل این که جهان لحظه ای چیه؟ و جود لحظه ای چیه؟ استادمون هیچی توضیح نداده من نمبدونم اینا چین؟
خیلی لطف میکنی اگه راهنماییم کنی
۰
ارسال: #۴
سوال از سورها و جهان متناهی از کتاب قلی زاده
جهان لحظه ای یعنی ما یه عضو دلخواه از جهان رو میگیریم
و وجود لحظه ای هم یعنی این که یه عضوی که بتونه عبارت رو ارضا کنه( یعنی برای عبارت صحیح باشه )در نظر می گیریم
در واقع با این روش از دست سورها خلاص میشیم.
و وجود لحظه ای هم یعنی این که یه عضوی که بتونه عبارت رو ارضا کنه( یعنی برای عبارت صحیح باشه )در نظر می گیریم
در واقع با این روش از دست سورها خلاص میشیم.
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close