سلام. حکم مسئله رو نادرست درنظر بگیرید. در این صورت همیشه فرض نادرست میشه. پس عبارتمون همیشه ارزش درست داره.

(۱۷ مهر ۱۳۹۱ ۱۲:۴۲ ب.ظ)Jooybari نوشته شده توسط:  سلام. حکم مسئله رو نادرست درنظر بگیرید. در این صورت همیشه فرض نادرست میشه. پس عبارتمون همیشه ارزش درست داره.

مرسی واقعا ممنون

سمت چپ و سمت راست معادل هم هستن. پس کل عبارت شرطی ارزش True پیدا میکنه.

یک روش طولانی تر ! :
طرفین عبارت برابر عبارت زیر است:
[tex]\ (\sim p\vee q)\Rightarrow (\sim p\vee q)\equiv \sim (\sim p\vee q)\vee (\sim p\vee q)\ ( p\wedge \sim q)\vee (\sim p\vee q)\equiv (p\vee \sim p\vee \sim q)\wedge (q\vee \sim p\vee \sim q)\(true)\wedge (true)\equiv true[/tex]