「もしあなたがボタンを押して100万ドルを手に入れ、世界のどこかでランダムな人が死ぬとしたら、あなたはボタンを押しますか?」
A = ボタンを押す
B = 100 万ドルを得る
C = ランダムな人が死ぬ
これが私がそうあるべきだと思うものです:
A の場合、B AND c
元の声明によると、それは次のとおりです。
(If A, then B) AND C
また
If A, then (B AND C)
「もしあなたがボタンを押して100万ドルを手に入れ、世界のどこかでランダムな人が死ぬとしたら、あなたはボタンを押しますか?」
A = ボタンを押す
B = 100 万ドルを得る
C = ランダムな人が死ぬ
これが私がそうあるべきだと思うものです:
A の場合、B AND c
元の声明によると、それは次のとおりです。
(If A, then B) AND C
また
If A, then (B AND C)
3 つの命題変数を正しく識別しました。
Q: 「誰かがボタンを押すと、100 万ドルを受け取り、人が死ぬ」という文を表現したいとします。一見、P 1 (x) ⇒ P 2 (x) ∧ P 3 (x) が正しく表現されているように見えます。どうすれば確信できますか?真理値表を描いてみましょう:
P1 P2 P3 P2 ^ P3 P1 --> P2 ^ P3
---- ---- ---- --------- ----------------
T T T T T
T T F F F
T F T F F
T F F F F
F T T T T
F T F F T
F F T F T
F F F F T
「100 万ドルを受け取り、死をもたらす」は、両方の構成要素が真である場合にのみ真であることに注意してください。意味あり; 両方の部分が実現しなければ、全体も実現しません。
ステートメント Q 全体の真偽値にも注意してください。2 番目の部分が false で、最初の部分が true の場合は常に false です。これは理にかなっています。ボタンを押しても (1) 100 万ドルが表示されない場合、または(2) 誰も死なない場合、Q によって暗示された予測は正しくありません。したがって、私たちの主張は正しいです。
私は自分の考えを変えました。本当です。これはプログラミングではありません。これが倫理的論理です。Communitywikiにアクセスします。
演算子が同じで、論理的なグループ化が示されていないすべての数学では、式は左から右に読み取られます。したがって、ボタンを押すと、100 万ドルを受け取り、ランダムな人が死亡します。
考えてみてください。各オプションの真理値表を作成します。
ヒント: ボタンを押さないとランダムな人が死ぬ?