برهان خلف: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
بدون خلاصۀ ویرایش |
بدون خلاصۀ ویرایش |
||
خط ۱۵:
<math>{P \Rightarrow Q}</math>
حال اگر
<math>\lnot Q \equiv P'</math>
|
بدون خلاصۀ ویرایش |
بدون خلاصۀ ویرایش |
||
خط ۱۵:
<math>{P \Rightarrow Q}</math>
حال اگر
<math>\lnot Q \equiv P'</math>
|