3 命題論理

命題論理とか小難しいこといってるけど
「かつ」とか「もしくは」とか「ならば」とかそんな感じのやつだぜ

んでいちいち「かつ」とか書くのめんどくせえから
以下の記号にしちゃうんだぜ。こんな記号は
「ただそう定義しているだけ」だから
忘れたら何度でもみなおせばいいんだぜ

¬A　　　「Aの否定」
A→B　　「AならばB」
A∧B　　「AかつB」
A∨B　　「AもしくはB」
A≡B　　「AとBは同値」

同値とかわけわからんこと言ってるのは
後で説明するぜ。ついでにいっておくと「ならば」
の定義が最初納得できないのは「普通の常人の反応」だぜ