برهان خلف: تفاوت میان نسخه‌ها

از آنجا که P فرض اصلی ما بوده است پس نمی‌تواند غلط باشد پس 'P غلط بوده است. پس نقیض 'P درست است. از آنجا که 'P برابر با نقیض Q بود پس نقیض 'P برابر با نقیض نقیض Q است، همانطور که می دانید نقیض نقیض هر گزاره برابر با خود گزاره است، پس گزارهٔ Q درست است و حکم ثابت می‌شود.

 

برهان خلف از دو استدلال قیاسی تشکیل می‌شود و یک قیاس مرکب است.

در استدلال نخست، ما می گوییم که

پس P صحیح است.

 

المنطق، محمد رضا مظفر، بحث قیاس خلف

 

[[رده:برهان‌ها]]