18/02/11 10:04:02.65 8wcq3017.net
>>96
>>56より
URLﾘﾝｸ(home.hiroshima-u.ac.jp)
命題論理 藤田聡 広島大学（2009年度版）
(抜粋)
P14
(d) 含意(implication)あるいは条件式
いまp,qを命題とする
p→qを「pならばq」であることを主張する言明であると定義する
pを仮定(hypothesis)又は前提(premise)と呼び、qを結論(conclusion)または帰結(consequence)と呼ぶ
(引用終り)
命題とは、p→qを「pならばq」であることを主張する言明であると定義したときの、PとQである