سلام. هردو درسته. با ساده سازی و جدول درستی براحتی اثبات میشه. از ربطه دوم تو اثبات سوال اول استفاده میشه.

(۲۰ آذر ۱۳۹۳ ۱۱:۰۱ ق.ظ)Jooybari نوشته شده توسط:  سلام. هردو درسته. با ساده سازی و جدول درستی براحتی اثبات میشه. از ربطه دوم تو اثبات سوال اول استفاده میشه.

من اثابتشون رو میخوام هر کاری میکنم نمیتونم اثبات کنم

برای دومی داریم:

[tex]\neg p\wedge(p\vee q)\equiv(\neg p\wedge p)\vee(\neg p\wedge q)\equiv False\vee(\neg p\wedge q)\equiv(\neg p\wedge q)[/tex]

اولی هم از دومی استفاده میکنه.

(۲۳ آذر ۱۳۹۳ ۰۳:۰۰ ب.ظ)Jooybari نوشته شده توسط:  برای دومی داریم:

[tex]\neg p\wedge(p\vee q)\equiv(\neg p\wedge p)\vee(\neg p\wedge q)\equiv False\vee(\neg p\wedge q)\equiv(\neg p\wedge q)[/tex]

اولی هم از دومی استفاده میکنه.

این false رو نفهمیدم چیه این استاد توی قضیه ها از این false ها به ما نگفته

کل فرمولهای که برامون گفته اینها هستن که با توجه به اینا باید این دو نمونه سوال رو طوری اثبات کنیم که درستی و هم ارز بودنشون رو نشون بده

False یعنی عبارتی که همیشه نادرسته. ترکیب عطفیش (OR) با هر عبارتی با False میشه همون عبارت. ترکیب فصلیش هم میشه False.