A=悪魔のときの場合の解説頼むよ。「私が天使ならばBは天使です。これが嘘ってどいうこうことか?こいつを正しいとするからおかしくなるんだ。21:40※112はい、解ります。「Aが天使⇒Bが天使」の命題が偽、ということでしょ。「私が渋谷に住んでいるならば私は東京都に住んでいます。21:48※114なんかカテキョー状態だな東京都には詳しくないが、その命題の真偽は真だろ、そもそも。「渋谷に住んでいる⇒東京都に住んでいる」は常に真。どんなときも嘘にはならんのじゃない。22:03※115※114がA⇒Bの意味を理解していないから、具体例を提示したんだよ。「渋谷に住んでいる⇒東京都に住んでいる」は常に真だよ。いう例の方がイメージしやすいと思ったんだけどなぁ。こいつがおかしくなるのはどんな場合かを考えるだけなんだけどねぇ。「私は天使でかつBは悪魔」ってAは発言してることになるんだよ。※115と※114は同一人物かな?(笑)ぼんやりしてたわ。※59よく読んだら納得できた。この解釈で正解よね?長々とすいません。22:18※116,117どうもありがとう。113と115どっちも自分です。自分の※119のコメント入れ違いになったな。いうことだってばよ?(笑)混乱してきたわ。22:36本質的には※59と同じだよ?あっちのが早く答えに辿り着くけど。※59の場合は悪魔は常に嘘つくのに本当のこといったから矛盾。こっちのは、A=悪魔なのにA=天使という結論になって矛盾。A=天使という結論が出ちゃうのか?A⇒Bが偽となるのはA∧(Bでない)とき。ちなみに、真になるのは、(Aでない)∨Bのときね。「私は天使ならばBは天使」というAの発言は、悪魔は常に嘘をつくことから、嘘ってことになるよね?これは、(私(A)=天使)⇒(B=天使)って構造してるじぇ?こいつをさっきのに当てはめると(私(A)=天使)∧(B=天使でない)ってことになるよね?これから、A=天使となってA=悪魔と矛盾するんだよ。混乱してたのは、Aの発言を真だと仮定して話をしてたからじゃないかな?A=天使のときは、Aの発言は真だし、A=悪魔のときはAの発言は偽なんだよ。23:10※121「A⇒Bが偽となるのはA∧(Bでない)とき。ちなみに、真になるのは、(Aでない)∨Bのときね。」こんな互換成立するの?ベン図で考えろってこと?「A⇒Bが真⇔A⊂B」とかなら理解できるけど「A⇒Bが偽⇔A∩(Bでない)」って意味不明じゃね?「∧」って「∩」のことでしょ?「∨」は「∪」だよね?...え?違ったらすいません。23:23やっぱり、A⇒Bを理解してなかったね。「∧」と「∩」、「∨」と「∪」は別モノだよ。同じような意味を表しているけど記号が違う以上別。そもそも定義が違うしね。そこまで細かいことを考えてるわけではないっしょ?真理値表わかる?A⇒Bと((A⇒B)でない)、A∧(Bでない)の真理値表作ってミソ。後者2つが一致するから。23:30ごめんなさい、その記号わかんないわ。真理値表とは一体...。∧を「かつ」って読んでたわ。23:39分野で行ったら論理学の中の命題論理だよ。色んな記号がごちゃごちゃしてるし、定義も曖昧な世界でやってるから、今回の場合は厳密には当てはまってないよ。思考プロセスは近いものがあるけど。数2Bの範囲ではないよ。真理値表はぐぐってみそ。http://ja.wikipedia.org/wiki/%E7%9C%9F%E7%90%86%E5%80%A4%E8%A1%A8Λは「かつ」って日本語の意味を表す記号だと考えていいよ。いう意図のモノだからね。23:53ありがとうリンク先覗いた。してよく解らんかったけど(笑)でも>>341は大学の入試問題で、しかも論理学でなく数学でしょう?IAの集合・論理で説明できないんかな?一連のご教授に感謝します。噛み合ってなかったね、いや勿論こっちのせいだけど(笑)高校数学以上の論理が解らん自分には※59がシンプルで判り易かった。