>>73
>＞「仮定命題」⊂「命題」
>命題の定義を述べよ

>>56より
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)と呼ぶ
(引用終り)

以上