常に真または偽である条件の扱い

　初心者なので理解力がありません。もちろん自分でも努力していますが、以下の式がなぜこうなるのかどうしても理解することができません。　
　
　常に真である条件をＴとすると、ｐ∧Ｔ＝ｐ、ｐ∨Ｔ＝Ｔ
　常に偽である条件をＦとすると、ｐ∨Ｆ＝ｐ、ｐ∧Ｆ＝Ｆ

　数学や論理学に詳しい方がいらっしゃったら、ぜひくわしく教えていただけませんか？よろしくお願いします。

No.5 回答者： Ishiwara 回答日時： 2008/06/11 16:38

「常に」という語は、誤解を招きやすいので「使わなくて済むならば使わない」ようにしましょう。

つまり「常に真なる」命題のみが「真」であり、真であったり偽であったりする命題は「偽」です。

質問者さんが「ベン図」を理解されているかどうかによって、回答がずいぶん変わると思うので、お分かりにならない点をピンポイントで示していただくのがよいと思います。

この回答へのお礼

ありがとうございます。

お礼日時：2008/06/11 17:44

No.4 回答者： arrysthmia 回答日時： 2008/06/11 00:02

論理演算 ∧ と ∨ は、演算の値

Ｔ∧Ｔ＝Ｔ，Ｔ∧Ｆ＝Ｆ，Ｆ∧Ｔ＝Ｆ，Ｆ∧Ｆ＝Ｆ，
Ｔ∨Ｔ＝Ｔ，Ｔ∨Ｆ＝Ｔ，Ｆ∨Ｔ＝Ｔ，Ｆ∨Ｆ＝Ｆ
によって定義されています。

この一覧から
Ｔ∧Ｔ＝Ｔ と Ｆ∧Ｔ＝Ｆ を取り出して見れば ｐ∧Ｔ＝ｐ、
Ｔ∨Ｔ＝Ｔ と Ｆ∨Ｔ＝Ｔ を取り出して見れば ｐ∨Ｔ＝Ｔ、
Ｔ∨Ｆ＝Ｔ と Ｆ∨Ｆ＝Ｆ を取り出して見れば ｐ∨Ｆ＝ｐ、
Ｔ∧Ｆ＝Ｆ と Ｆ∧Ｆ＝Ｆ を取り出して見れば ｐ∧Ｆ＝Ｆ
が、（ｐの真偽によらず）確かに成り立っています。

わかるとか、わからないとかいう話でもなさそうですが…

この回答への補足

Ｔは真、Ｆは偽ですよね？
なぜこのようになるのかわからないんです。すみません。

Ｔ∧Ｔ＝Ｔ，Ｔ∧Ｆ＝Ｆ，Ｆ∧Ｔ＝Ｆ，Ｆ∧Ｆ＝Ｆ，
Ｔ∨Ｔ＝Ｔ，Ｔ∨Ｆ＝Ｔ，Ｆ∨Ｔ＝Ｔ，Ｆ∨Ｆ＝Ｆ

補足日時：2008/06/11 01:18

この回答へのお礼

参考になりました。ありがとうございます。

お礼日時：2008/06/11 00:23

No.3 回答者： mistery200 回答日時： 2008/06/10 23:49

ｐ∧Ｔ＝ｐより、ｐはＴの真部分集合です。

だからｐ∨Ｔ＝Ｔ
ｐ∧Ｆ＝Ｆより、Ｆはｐの真部分集合です。
だからｐ∨Ｆ＝ｐ

Ｆ∧Ｔ＝Ｆ、Ｆ∨Ｔ＝Ｔですね。
変ですね。
Ｆ∧Ｔ＝φ（空集合）にならないです。

この回答へのお礼

参考になりました。ありがとうございます。

お礼日時：2008/06/11 00:24

No.2 回答者： proto 回答日時： 2008/06/10 23:41

「∧」とは「かつ」ということで、もう少し日本語っぽく言うと「どっちも真じゃないとダメだよ」と言うことです。

「∨」とは「または」ということで、もう少し日本語っぽく言うと「どっちかが真ならそれでいいよ」と言うことです。


ｐ∧Ｔ＝ｐは「p,Tのうちどっちも真じゃないとダメだけどTは絶対に真だから、あとはpの結果次第だね」ということです。
ｐ∨Ｔ＝Ｔは「p,Tのうちどっちかが真だったらいいんだね、Tが絶対に真だからじゃあpの結果はどうでもいいね」ということです。

ｐ∨Ｆ＝ｐは「p,Fのうちどっちかが真だったらいいんだけど、Fは絶対偽だから役に立たない、あとはpに頼るしかないな」ということです。
ｐ∧Ｆ＝Ｆは「p,Fのうちどっちも真じゃないとダメだね、でもすでにFが絶対に偽だからpがどうなろうとダメだ、あきらめよう」ということです。

この回答への補足

　わからないことがもういくつかあるのですが、『Ａ∧￢Ａは常に偽』というのは、ベン図で書くと全く重ならないからでしょうか？
　『Ａ∧￢Ａ』以外で常に偽であるものは他にありますか？
　また、常に真とは、どのようなものですか？

補足日時：2008/06/11 00:29

この回答へのお礼

本当にありがとうございます。すごくわかりやすいです。
なんとか理解することができました。

お礼日時：2008/06/11 00:21

No.1 回答者： rinkun 回答日時： 2008/06/10 23:33

理解できないも何もない。

論理値は2つ(T,F)しかないんだから、2変数の論理関数の取り得るパターンは4つしかない。その全てを書き下してみれば一目瞭然だ。

p,qを論理変数として、p∧qとp∨qの取り得るパターンを書き下し、その上でqにTあるいはFを代入して確認すること。

この回答への補足

回答していただき、ありがとうございます。

補足日時：2008/06/10 23:37

この回答へのお礼

すみません。わかりません。

お礼日時：2008/06/10 23:36