گزیده درس صد و ده
مرحوم مظفر میفرماید: آنچه تا کنون از قبیل تناقض، عکس مستوی، عکس نقیض موافق و مخالف و انواع آن بیان گردید، همگی از نوع استدلال مباشر میباشد. چون که توسط یک قضیه معلوم، صدق یا کذب قضیه دیگر دانسته میشود. در اینجا نوع دیگری از استدلال مباشر وجود دارد که بدیهی است و نیاز به اثبات ندارد. چنانچه قضیهای صادق باشد، اگر بر طرفین آن، کلمهی افزوده شود قضیه بدست آمده همچنان صادق خواهدبود. به چنین استنتاجی، استدلال مباشر بدیهی یا بدیهی منطقی گفته میشود.
کلیدواژه: استدلال مباشر بدیهی.