https://stackoverflow.com/questions/1823168
-
11-07-2019 - |
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian質問
このブール値の意味については、助けが必要です。
これがどのように機能するかを簡単な言葉で説明してもらえますか：
A は、 B = B + A 'を意味します（Aの場合はB）。 A＆gt; = B
解決
ブール含意 AはBを意味しますは、単に「Aが真である場合、Bは真でなければなりません」を意味します。これは、Aがtrueでない場合、Bは何でもよいことを意味します（意図したしゃれ）。したがって：
False implies False -> True
False implies True -> True
True implies False -> False
True implies True -> True
これは、（Aではない）またはB としても読み取ることができます-つまり、「Aはfalse、またはBはtrueでなければなりません」
他のヒント
次のように考えます：
if(A)
return B;
else
return True;
Sergeがどこから来たのかはわかっていると思うので、違いを説明しようと思います。コメントするには長すぎますので、回答として投稿します。
Sergeは、その意味が当てはまるかどうかを質問するという観点から、これに近づいているようです。これは、2つのイベント間の関係を決定しようとする科学者にやや似ています。次のストーリーを検討してください。
ある科学者が4つの異なる日に4つの異なる国を訪問します。各国で、彼女は雨が人々が傘を使うことを意味するかどうかを判断したいと考えています。彼女は次の真理値表を生成します。
Did it rain? Did people Does rain => umbrellas? Comment
use umbrellas?
No No ?? It didn't rain, so I didn't get to observe
No Yes ?? People were shielding themselves from the hot sun; I don't know what they would do in the rain
Yes No No Perhaps the local government banned umbrellas and nobody can use them. There is definitely no implication here.
Yes Yes ?? Perhaps these people use umbrellas no matter what weather it is
上記では、科学者は雨と傘の関係を知らず、それが何であるかを判断しようとしています。彼女は、その国のいずれかの日のいずれかでのみ、それが正しい関係ではないということを断定的に言うことができます。
同様に、SergeはA =＆gt; Bかどうかをテストしようとしており、1つのケースでしかそれを決定できないようです。
ただし、ブールロジックを評価する場合、事前に関係を知っており、関係が遵守されているかどうかをテストする必要があります。別の話：
母親が息子に「汚れたらお風呂に入りなさい」と言います。 （dirty =＆gt; bath）。母親が仕事から帰宅する4日後、母親は規則に従っているかどうかを確認します。彼女は次の真理値表を生成します。
Get dirty? Take a bath? Follow rule? Comment No No Yes Son didn't get dirty, so didn't need to take a bath. Give him a cookie. No Yes Yes Son didn't need to take a bath, but wanted to anyway. Extra clean! Give him a cookie. Yes No No Son didn't follow the rule. No cookie and no TV tonight. Yes Yes Yes He took a bath to clean up after getting dirty. Give him a cookie.
母親は事前にルールを設定しています。彼女は汚れと風呂の関係を知っており、規則が守られていることを確認したい。
ブール論理を操作するとき、私たちは母親のようになります。演算子を事前に知っており、その形式のステートメントを操作したいのです。おそらく、ステートメントを別の形式に変換する必要があります（元の質問のように、彼または彼女は2つのステートメントが同等かどうかを知りたい）。コンピュータープログラミングでは、一連の変数をステートメントにプラグインし、ステートメント全体がtrueまたはfalseに評価されるかどうかを確認することがよくあります。
含意が適用されるかどうかを知ることは問題ではありません-あるべきでない場合、そこに書かれていなかったでしょう。真理値表とは、ルールが適用されるかどうかを判断することではなく、ルールが遵守されているかどうかを判断することです。
例を使用したい：雨が降っている場合、曇りです。
Raining => Cloudy
多くの初心者が考えていることとは反対に、これは雨が曇りを引き起こすこと、または曇りが雨を引き起こすことを示唆するものではありません。 （編集：これは、現時点では、雨でも曇りでもないことを意味します。最近のブログで投稿された材料への影響こちらでは、特に、「定義」に関する通常の理論的根拠を作成しています。物質的な意味。読者は、直接的な証明や矛盾による証明など、証明の基本的な方法にある程度精通している必要があります。
~[Raining & ~Cloudy]
真理値表から判断すると、a = 1とb = 0についてのみa =＆gt; bの値を推測することができます。この場合、a =＆gt; bの値は0です。残りの値（a、b）については、a =＆gt; bの値は未定義です。both（a =＆gt; b）= 0（＆quota b＆quot;を意味しない）および（a =＆gt; b）= 1（＆quot; aはb＆quot;を意味する）は可能です：
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 =＆gt; b）= 1と矛盾しませんが、証明もしません（a =＆gt; b） = 1対照的に、行3は、a = 1およびb = 0の場合に反例を提供するため、すぐに（a =＆gt; b）= 1になります。 これらの説明で読者に衝撃を与えるかもしれませんが、私たちが教えているロジックの基本にはどこかに重大なエラーがあるようです。これがブール充足可能性がまだ解決されていないなどの問題の原因の1つです。
この質問に対する最高の貢献は、Serge Rogatchによって与えられます。
ブール論理は、定量化（または評価）の結果がtrueまたはfalseの場合にのみ適用され、ブール論理命題間の関係はこの事実に基づいています。
したがって、命題間に関係または接続が存在する必要があります。
高階のロジックでは、関係はオン/オフ、1/0または+電圧/-電圧の場合だけではなく、言葉による命題の評価はより複雑です。言葉による命題の間に関係が存在しない場合、言葉による命題の意味はブール論理命題と同等ではありません。
含意の真理値表は常にバイナリ命題に対して正しい結果をもたらしますが、これは、まったく関係のない言葉による命題の場合には当てはまりません。
〜A V B真理値表：
A B結果/評価
1 1 1
1 0 0
0 1 1
0 0 1
命題A：月はサワークリームでできています。
命題B：明日は宝くじに当選します。
A B結果/評価
1？ ？
ご覧のとおり、この場合、結果を決定するBの状態を判断することさえできません。これは今理にかなっていますか？
この真理値表では、命題〜Aは常に1に評価されるため、最後の2行は適用されません。ただし、最後の2行は常にブールロジックに適用されます。
