最終更新:2008-07-12 (土) 19:02:41 (5765d)  

Modus Ponens
Top / Modus Ponens

  • P ならば Q である。
  • P である。
  • 従って、Q である。