زمان کنونی: ۰۳ مهر ۱۳۹۹, ۰۹:۳۴ ق.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)

سوال از سورها و جهان متناهی از کتاب قلی زاده

ارسال:
  

IT89 پرسیده:

Question سوال از سورها و جهان متناهی از کتاب قلی زاده

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

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


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

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

۰
ارسال:
  

ahmadnouri پاسخ داده:

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

۰
ارسال:
  

IT89 پاسخ داده:

سوال از سورها و جهان متناهی از کتاب قلی زاده

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

۰
ارسال:
  

ahmadnouri پاسخ داده:

سوال از سورها و جهان متناهی از کتاب قلی زاده

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

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



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  سیستم های عامل(دکتر نقیب زاده) y.zare64 ۵ ۴,۵۳۵ ۱۶ اسفند ۱۳۹۸ ۰۸:۵۱ ب.ظ
آخرین ارسال: slayermind
Photo نقش جهان admin ۵ ۳,۱۷۰ ۰۷ اسفند ۱۳۹۸ ۰۱:۵۲ ب.ظ
آخرین ارسال: gostore
  چپ دست های موفق و مشهور جهان شهریار ۱۲۳۴ ۰ ۳۳۰ ۲۶ مرداد ۱۳۹۸ ۱۱:۰۷ ب.ظ
آخرین ارسال: شهریار ۱۲۳۴
  چپ دست های موفق و مشهور جهان شهریار ۱۲۳۴ ۰ ۳۱۰ ۲۶ مرداد ۱۳۹۸ ۱۰:۵۸ ب.ظ
آخرین ارسال: شهریار ۱۲۳۴
Information کتابهای بزرگ جهان را بخوانید! marvelous ۷ ۸۶۹ ۰۵ مرداد ۱۳۹۸ ۰۳:۵۸ ب.ظ
آخرین ارسال: marvelous
Information کتابهای بزرگ جهان را بخوانید! marvelous ۰ ۳۰۰ ۰۲ مرداد ۱۳۹۸ ۰۲:۵۷ ب.ظ
آخرین ارسال: marvelous
  فروش یک سری کتاب آمادگی برای آزمون آیلتس ، GRE و یک سری کتاب آموزشی انگلیسی و فرانسه niloo72 ۰ ۵۹۹ ۰۸ مهر ۱۳۹۷ ۱۲:۱۹ ق.ظ
آخرین ارسال: niloo72
  تاریخچه چاپ در جهان و ایران melinaa ۰ ۴۵۰ ۰۴ شهریور ۱۳۹۷ ۱۰:۲۶ ق.ظ
آخرین ارسال: melinaa
  نمونه سوال درس fault telorance دکتر صادق زاده mojdehjafari ۰ ۵۶۳ ۱۶ خرداد ۱۳۹۷ ۰۴:۲۸ ب.ظ
آخرین ارسال: mojdehjafari
  در نبود کتاب دکتر اجلالی ، کدام کتاب مدار منطقی را تهیه کنیم بهتر است ؟ AreF95 ۲ ۱,۵۵۸ ۰۶ فروردین ۱۳۹۷ ۰۱:۲۳ ق.ظ
آخرین ارسال: The BesT

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close