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

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

ارسال:
  

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 پاسخ داده:

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

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

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



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

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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