برهان خلف: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جزبدون خلاصۀ ویرایش |
|||
خط ۲۵:
== ساختار برهان خلف ==
برهان خلف از دو [[استدلال قیاسی]] تشکیل میشود و یک قیاس مرکب است.
در استدلال نخست، ما میگوئیم که:
اگر <math>P</math> صحیح نباشد،
اگر <math>P'</math> صحیح باشد، <math>Q'</math> صحیح است.
خط ۳۷:
اگر <math>P</math> صحیح نباشد، <math>Q'</math> صحیح است.
پس <math>P</math> صحیح است.
|