「で、みちアキはどうするの？」 - 嫌いでないならば好き？前回の続きです。お勉強blogです(笑) 真理値表を再掲載します。 p q pでない pまたはq pかつq pならばq ~p p∨q p∧q p⊃q (1) T T F T T T (2) T F F T F F (3) F T T T F T (4) F F T F F T さて、前回扱った「ならば」なんですが、実は「（pでない）または（qである）」と真理値は一緒です。「~p∨q」と書けます。上の真理値表だと、ちょうど「pでない」と「q」が隣にあるので、“または演算”して確かめてみてください。つまり「ならば」の論理記号はほんとは必要ないというわけです。さらに、「かつ」も書こうと思えば「~(~p∨~q)」と書けてしまうわけで、結局、論理学の基本的な部分は2個の論理記号、「~ でない」「∨ または」があれば足りるんでした。 が。「または」も「~(~p∧~q)」のように、「かつ」から導きだせる
