سلام دوتا سوال دارم
گفته که درستی گزاره های زیر را بنویسید؟
![[تصویر: 321120_wo7m9g0lylapey7iwlo6.jpg]](https://img.manesht.ir/321120_wo7m9g0lylapey7iwlo6.jpg)
ممنون میشم جواب بدین
سلام. هردو درسته. با ساده سازی و جدول درستی براحتی اثبات میشه. از ربطه دوم تو اثبات سوال اول استفاده میشه.
(۲۰ آذر ۱۳۹۳ ۱۱:۰۱ ق.ظ)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 نوشته شده توسط: برای دومی داریم:این false رو نفهمیدم چیه این استاد توی قضیه ها از این false ها به ما نگفته
[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]
اولی هم از دومی استفاده میکنه.
کل فرمولهای که برامون گفته اینها هستن که با توجه به اینا باید این دو نمونه سوال رو طوری اثبات کنیم که درستی و هم ارز بودنشون رو نشون بده
[attachment=17437]
False یعنی عبارتی که همیشه نادرسته. ترکیب عطفیش (OR) با هر عبارتی با False میشه همون عبارت. ترکیب فصلیش هم میشه False.