¿Cómo se activa esta pregunta en un problema de lógica booleana?
-
21-09-2019 - |
Pregunta
"Si usted puede pulsar un botón para obtener $ 1 M y se muere una persona al azar en algún lugar del mundo se pulsa el botón?"
A = pulse el botón
B = get $ 1 M
C = persona al azar muere
Esto es lo que creo que debe ser:
Si A, entonces B y C
De acuerdo con la declaración original es:
(If A, then B) AND C
o
If A, then (B AND C)
Solución
Usted ha identificado correctamente las tres variables proposicionales:
- P 1 (x): "x presiona un botón"
- P 2 (x): "x recibe un millón de dólares"
- P 3 (x): "x causa la muerte de una persona al azar"
Usted quiere expresar la frase Q: "si alguien presiona el botón, a continuación, reciben un millón de dólares y una persona muere." A primera vista, parece que P 1 (x) ⇒ P 2 (x) ∧ P 3 (x) expresa correctamente esto. ¿Como podemos estar seguros? Vamos a dibujar una tabla de verdad:
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
Tenga en cuenta que "recibirá un millón de dólares y causa una muerte" es cierto sólo cuando ambas partes constituyentes son ciertas. Esto tiene sentido; si ambas partes no se hacen realidad, el todo no es cierto también.
Nótese también los valores de verdad para toda la declaración Q: es falso siempre que la segunda parte es falsa y la primera parte es cierto. Esto tiene sentido: si se pulsa el botón, pero ya sea (1) el millón de dólares no aparece o (2) nadie muere, la predicción implica Q no es cierto. Por lo que nuestra afirmación es correcta.
Otros consejos
Piense en ello. Elaborar una tabla de verdad para cada opción.
PISTA:? Si no pulsa el botón, sería la persona al azar morir
En todos matemáticas donde los operadores son los mismos y no agrupación lógica se indica, en la expresión se lee de izquierda a derecha. Por lo tanto, si se pulsa el botón, recibirá $ 1M y una persona al azar va a morir.
he cambiado de opinión. Cierto. Esta no es la programación. Esta es la lógica Ético. Ir a la wiki de la comunidad.