3 命題論理(3)

(5) 「ならば」

A　B　A→B
T　T　T
T　F　F
F　T　T
F　F　T

「Aが誤りでBが正しい時、”AならばB”は正しい」とかいわれると
切れそうになっちゃうんだぜ。
「おめえ、わけわかんねえこと言うのいい加減にしろ」
って気になるんだぜ

「A→Bと¬A ∨ B は同値」
という風に「→」（ならば）を定義する
と思うと、「定義じゃしょうがねえな」って気になるんだぜ
こういうことだぜ

A　B ¬A　¬A ∨ B
T　T　F　　T
T　F　F　　F
F　T　T　　T
F　F　T　　T

やったぜ。¬A ∨ Bの真偽とA→Bの真偽は一致したぜ