Up 「論証」の形式 (与件・推論・結論)  

  • 「論証」は，つぎのものを示す：
    1. 推論のゴール (結論)
    2. 推論の出発点 (与件/命題/公理)
    3. 出発点からゴールまでの推論

  • 三段論法
      「理由づけ」では，つぎの推論規則 (「三段論法」) が使われている：
        ( P and (P ⇒ Q) ) ⇒ Q
        ( P が真で，さらに P ⇒ Q が真ならば，Q は真 )