0097現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
2018/02/11(日) 10:04:02.65ID:8wcq3017>>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)と呼ぶ
(引用終り)
命題とは、p→qを「pならばq」であることを主張する言明であると定義したときの、PとQである