>>53
>仮定命題って何？

http://home.hiroshima-u.ac.jp/fujita/index-jap.html
藤田　聡 広島大学
http://home.hiroshima-u.ac.jp/fujita/Class/Kisoron/2009.html
計算機基礎論のページ（2009年度版）

http://home.hiroshima-u.ac.jp/fujita/Class/Kisoron/logic.pdf
命題論理 藤田聡 広島大学（2009年度版）
(抜粋)
P14
(d) 含意(implication)あるいは条件式
?いまp,qを命題とする
?p→qを「pならばq」であることを主張する言明であると定義する
?pを仮定(hypothesis)又は前提(premise)と呼び、qを結論(conclusion)または帰結(consequence)と呼ぶ
(引用終り)