このブール含意について助けが必要です。
誰かがこれがどのように機能するかを簡単な言葉で説明できますか？
A意味しますB = B + A'（Aの場合はB）。また、A >= B
49541 次
7 に答える
118
ブール値の含意A implies Bは、単に「A が true の場合、B も true でなければならない」ことを意味します。これは、A が true でない場合、B は何でもよいことを意味します (しゃれが意図されています)。したがって：
False implies False -> True
False implies True -> True
True implies False -> False
True implies True -> True
(not A) or Bこれは、「A が false であるか、B が true でなければならない」と解釈することもできます。
于 2009-11-30T23:44:17.527 に答える
31
これが私がそれについて考える方法です：
if(A)
return B;
else
return True;
A が true の場合、b は関連性があり、チェックする必要があります。そうでない場合は、B を無視して true を返します。
于 2014-09-23T19:15:15.817 に答える
21
セルジュがどこから来ているのかがわかったと思います。その違いを説明しようと思います. コメントするには長すぎるので、回答として投稿します。
セルジュは、含意が当てはまるかどうかを問うという観点からこれに近づいているようです。これは、科学者が 2 つのイベント間の関係を特定しようとしているようなものです。次の話を考えてみましょう。
科学者は、4 つの異なる日に 4 つの異なる国を訪れます。彼女は各国で、雨が降るということは人々が傘を使うことを意味するかどうかを判断したいと考えています。彼女は次の真理値表を生成します。
雨が降った？人々は雨を降らせましたか => 傘をさしましたか? コメント
傘を使う？
いいえいいえ?? 雨が降らなかったので観察できませんでした
いいえはい ？？人々は暑い日差しから身を守っていました。彼らが雨の中で何をするかはわかりません
はい いいえ いいえ 自治体が傘を禁止していて、誰も傘を使えないのかもしれません。ここには間違いなく意味はありません。
はいはい ？？この人たちは天気に関係なく傘をさしているのかもしれません。
上記では、科学者は雨と傘の関係を知らず、それが何であるかを判断しようとしています. ある国のある日だけ、彼女はそれが正しい関係ではないことを意味すると断言できます.
同様に、Serge は A=>B かどうかをテストしようとしているように見えますが、それを特定できるのは 1 つのケースだけです。
ただし、ブール論理を評価するときは、事前に関係がわかっているため、関係が守られているかどうかをテストする必要があります。別の話:
母親が息子に「汚れたら風呂に入れ」（汚い→風呂）と言う。母親が仕事から帰ってきた 4 日間、ルールが守られているかどうかを確認します。彼女は次の真理値表を生成します。
汚れる？風呂に入る？ルールに従う？コメント いいえ いいえ はい 息子は汚れていなかったので、お風呂に入る必要はありませんでした。彼にクッキーをあげてください。 いいえ はい はい 息子はお風呂に入る必要はありませんでしたが、とにかくしたかったのです。エクストラクリーン！彼にクッキーをあげてください。 はい いいえ いいえ 息子はルールを守らなかった。今夜はクッキーもテレビもありません。 はい はい はい 汚れた後、お風呂に入って片付けました。彼にクッキーをあげてください。
母親は前もってルールを設定しました。彼女は汚れと風呂の関係を知っており、その規則が守られていることを確認したいと考えています。
ブール論理を扱うとき、私たちは母親のようなものです。演算子を前もって知っており、その形式でステートメントを処理したいと考えています。おそらく、ステートメントを別の形式に変換したいでしょう (元の質問と同様に、2 つのステートメントが同等かどうかを知りたがっていました)。コンピューター プログラミングでは、一連の変数をステートメントにプラグインして、ステートメント全体が true または false に評価されるかどうかを確認したいことがよくあります。
Implicit が適用されるかどうかは問題ではありません。適用されるべきでない場合は、そこに記述されていません。真理値表は、ルールが適用されるかどうかを判断するものではなく、ルールが順守されているかどうかを判断するものです。
于 2016-01-28T00:01:36.900 に答える
15
私は例を使うのが好きです: 雨が降っている場合、それは曇っています.
Raining => Cloudy
多くの初心者が考えるかもしれないことに反して、これは決して雨が曇りを引き起こす、または曇りが雨を引き起こすことを示唆するものではありません. (編集:現時点では、雨が降っていないし、曇っていないということだけを意味します。マテリアルな意味に関する私の最近のブログ投稿を参照してください。 . 読者は、証明の基本的な方法、たとえば直接証明や矛盾による証明にある程度精通している必要があります。)
~[Raining & ~Cloudy]
于 2015-04-05T15:33:04.707 に答える
0
真理値表から判断すると、a=>b の値を推測できるのは、a=1 および b=0 の場合のみです。この場合、a=>b の値は 0 です。残りの値 (a,b) については、a=>b の値は未定義です: both (a=>b)=0 ("a は意味しませんb") および (a=>b)=1 (「a は b を意味する」) が可能です。
a b a=>b comment
0 0 ? it is not possible to infer whether a implies b because a=0
0 1 ? --"--
1 0 0 b is 0 when a is 1, so it is possible to conclude
that a does not imply b
1 1 ? whether a implies b is undefined because it is not known
whether b can be 0 when a=1 .
a が b を含意するためには、a=1 のときは常に b=1 であることが必要かつ十分なので、a=1 かつ b=0 のときの反例はありません。真理値表の行 1、2、および 4 については、反例があるかどうかは不明です。これらの行は (a=>b)=1 と矛盾していませんが、(a=>b)=1 も証明していません。 . 対照的に、行 3 は (a=>b)=1 をすぐに反証します。これは、a=1 かつ b=0 の場合の反例を提供するためです。このような説明で驚かれる方もいると思いますが、私たちが教えられている論理の基本のどこかに重大な誤りがあり、それがブール充足可能性などの問題がまだ解決されていない理由の 1 つになっているようです。
于 2015-04-04T12:11:16.190 に答える
0
この質問に対する最高の貢献は、Serge Rogatch によるものです。
ブール論理は、数量化 (または評価) の結果が真または偽の場合にのみ適用され、ブール論理の命題間の関係はこの事実に基づいています。
したがって、命題間に関係または接続が存在する必要があります。
高次論理では、関係はオン/オフ、1/0、または + 電圧/-電圧の場合だけではなく、言葉による命題の評価はより複雑です。文言命題間に関係が存在しない場合、文言命題の含意はブール論理命題と同等ではありません。
含意の真理値表は、二項命題に対して常に正しい結果をもたらしますが、これは、まったく関係のない文言命題の場合には当てはまりません。
~AVB 真理値表:
AB 結果・評価
1 1 1
1 0 0
0 1 1
0 0 1
命題 A: 月はサワークリームでできている.
命題 B: 明日、私は宝くじに当たります。
AB 結果・評価
1 ? ?
ご覧のとおり、この場合、結果を決定する B の状態を決定することさえできません。これは今意味がありますか？
この真理値表では、命題 ~A は常に 1 と評価されるため、最後の 2 行は当てはまりません。ただし、ブール論理では常に最後の 2 行が適用されます。
于 2015-04-05T03:08:08.643 に答える
0
コンパクトなステートメントは次のとおりです。
A と B の 2 つのステートメントがあり、それぞれが true または false であるとします。これ以上の情報がなければ、2 x 2 = 4 つの可能性があります: 「A で B ではない」、「B で A ではない」、「A でも B でもない」、「A と B の両方」。
ここで、「A の場合は B も」という追加の制限を課します。この制限を課した後、式 "x -> y" (ここで -> は "含意" 演算子) は、A == x および B == y に対してまだ可能かどうかを示します。この追加の制限の後に不可能になる唯一の結果は、制限自体に矛盾するため、A == 1 および B == 0 です。したがって、1 -> 0 はゼロで、1 つおきのペアは 1 です。
于 2020-01-16T06:07:27.913 に答える