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