(۱۲ آبان ۱۳۹۱ ۰۵:۴۷ ب.ظ)Marcel نوشته شده توسط:  واسه حل این سوالا باید اثبات کنی که اگه حکم غلط باشه ، فرضیات هم همیشه غلط هستند ، یا اگه فرضیات درست هستند ، حکم هیچوقت غلط نیست.که معمولا تو این سوالا از حکم به فرض رسیدن راحت تره.

واسه ۱:
واسه اینکه حکم غلط باشه باید$q \vee s$ غلط و $p \vee r$ درست باشن.حالا واسه اینکه $q \vee s$ غلط باشه باید هم $q$ و هم $s$ غلط باشند و $p$ و $s$ هم هر دو با هم غلط نباشن. حالا اگه با این شرایط فرضیات رو بررسی کنی میبینی که حالتی پیدا نمیکنی که هر دو فرض درست باشن که کل فرض درست بشه و بتونیم از درست (فرضیات)به غلط(حکم) برسیم ، پس استنتاج اول درسته.ینی وقتی حکمُ غلط فرض کردیم ، فرض هم همیشه غلطه.

واسه ۲:
فرض میکنیم ${\bar{s}}$ غلط باشه .اگه ${\bar{s}}$ غلط باشه ${\bar{s}}\rightarrow q$ همیشه درسته پس $q$ میتونه هرچی باشه.حالا واسه $r\vee \bar{s}$ در نظر میگیریم اگه $r$ درست باشه $r\vee \bar{s}$ درسته حالا اگه $q$ درست باشه $q\rightarrow r$ هم درسته و حالا باز اگه $p$ هم درست باشه $p\leftrightarrow q$ هم درسته ، پس یه حالتی پیدا کردیم که وقتی حکم غلط باشه همه فرضیات درست هستن که ینی میتونیم از درست(فرضیات) به غلط (حکم) برسیم، پس این استنتاج نامعتبر میشه.

اگه یه کم گیج کنندست سعی کن رو کاغذ بنویسی و مرحله به مرحله جلو بری.