https://www.shinshu-u.ac.jp/faculty/engineering/appl/2017/math/kawabe/tokuron.pdf より引用

1.1.22 定義 (推論，演繹，仮定，結論). いくつかの命題 P, Q, R, . . . から作られた論理式 A と B に対して，
条件命題 A → B が，各命題 P, Q, R, . . . の真偽にかかわらず常に真となるとき，すなわち，論理式 A → B
が恒真命題であるとき，A から B が推論される，あるいは演繹されるといい，A ⇒ B と書く．これは，A
が真であるような命題変数 P, Q, R, . . . の真理値に対して常に B が真となることと同じである．このとき，
A を仮定，B を結論という．