#234　論理接合子

命題論理学における接続詞はその前後を入れ替えても元の文と同じであるよう、「論理接合子」と呼んで日常の接続詞と用法が異なることを区別している。

論理和(OR) Ｐ∨Ｑ ＰまたはＱ Ｐ＋Ｑ＝Ｑ＋Ｐ
論理積(AND)Ｐ∧Ｑ ＰそしてＱ Ｐ×Ｑ＝Ｑ×Ｐ
含意（→） Ｐ→Ｑ ＰならばＱ

しかし日常の接続詞では前後を入れ替えると意味が成り立たなくなることがある。入れ替える前と後とでは同じではない。

本田は後半ピッチに入った。そして本田は決勝ゴールを決めた。
本田は決勝ゴールを決めた。そして本田は後半ピッチに入った。

これが猫ならば、これは哺乳類である。
これが哺乳類ならば、これは猫である。

2015.12.30 Wednesday

　　GO NEXT 　　ZONE-38 TOP 　　GO METATRON TOP