تعربف سازگاری به نظرم درست بودن حداقل یه سطر جدول درستی بود.
پس اگه فقط یه سطر درست پیدا کردین سازگاره .
در مورد ۱ : با تعدی می شه به p0 ->~p0 رسید که همان p0~ || p0 یعنی بالاخره یا p0 درسته یا نقیض اش (توجه کنین که ما از کل فرضیاتی که بمون داده بود استفاده کردیم و به یه عبارت رسیدیم.که درسته . پس سازگاره .)
در مورد ۲ : P1 ,P1->~ P0 نتیجه ~p0 رو می دهد . حالا در مجموعه فرضیاتمون هم P0 و هم نقیض اش وجود دارند و پس باید هر دو درست باشند ببین برعکس مورد ۱ که به نتیجه or رسیدیم اینجا به and . درنتیجه نا سازگاره
در مورد ۳ : با کشیدن جدول درستی اش می بینی که سطر درست داره . مثلا وقتی P0وP1وP2 هر سه صفرند.سازگار می شه.

ممنونم متوجه شدم

(۱۹ آبان ۱۳۹۲ ۰۵:۳۲ ق.ظ)Aseman7 نوشته شده توسط:  تعربف سازگاری به نظرم درست بودن حداقل یه سطر جدول درستی بود.
پس اگه فقط یه سطر درست پیدا کردین سازگاره .
در مورد ۱ : با تعدی می شه به p0 ->~p0 رسید که همان p0~ || p0 یعنی بالاخره یا p0 درسته یا نقیض اش (توجه کنین که ما از کل فرضیاتی که بمون داده بود استفاده کردیم و به یه عبارت رسیدیم.که درسته . پس سازگاره .)
در مورد ۲ : P1 ,P1->~ P0 نتیجه ~p0 رو می دهد . حالا در مجموعه فرضیاتمون هم P0 و هم نقیض اش وجود دارند و پس باید هر دو درست باشند ببین برعکس مورد ۱ که به نتیجه or رسیدیم اینجا به and . درنتیجه نا سازگاره
در مورد ۳ : با کشیدن جدول درستی اش می بینی که سطر درست داره . مثلا وقتی P0وP1وP2 هر سه صفرند.سازگار می شه.

سلام
من تو کتاب پوران گسسته خوندم که رابطه ای سازگاری است که بازتابی و متعدی باشه .حالا منظورتون از این سوال همین بوده ؟؟؟؟

(۱۰ آذر ۱۳۹۲ ۱۱:۲۶ ق.ظ)hoda ahmadi نوشته شده توسط:  سلام
من تو کتاب پوران گسسته خوندم که رابطه ای سازگاری است که بازتابی و متعدی باشه .حالا منظورتون از این سوال همین بوده ؟؟؟؟

تعریف سازگاری :
مجموعه گزاره های p1, ... , pn را سازگار می گوییم اگر ترکیب عطفی این گزاره ها به ازای حداقل یک حالت از ارزش متغیر های ساده موجود در p1, ... , pnدرست باشد.

این که شما می گویید تعریف رابطه سازگاری است که رابطه R را روی مجموعه A سازگاری گویند اگر بازتابی و متعدی باشه .((این در مورد سازگاری رابطه ها ست .))