『結論』(conclusion)

(D.) Schlussfolgerung, Konklusion
(Fra.) conclusion         
 (Ita.) conclusione         

 推論において,仮定から導き出された判断,すなわち
     p ならば q
という形の“主張”において,q を結論といいます。この形の主張は,数学では,たとえば
     
のように,p, q命題ではなく命題関数であり,“主張”が全称命題である場合に多く見られます。上の全称命題では, が結論です。
 「p ならば q ]という形の主張の仮定と結論を否定したり入れ替えたりすると,もとの主張のあるいは対偶が得られます。
 (2021年4月23日改訂)