Question

Si Eros ganó la carrera; entonces, Pedro fue el segundo o Ramón fue el segundo. Si Pedro fue el segundo, entonces Eros no ganó la carrera. Si Carlos fue el segundo entonces, Ramón no fue el segundo. Eros ganó la carrera. Luego, Carlos no fue el segundo. Convenciones simbólicas: p: Eros ganó la carrera. r: Ramón fue el segundo. q: Pedro fue el segundo. s: Carlos fue el segundo. Formalización: Seleccione una: a. {[(p → q) ∧ (-q) ∧ (r → q)] →-r} b. |{[p → (q ∨ r)] ∧ (q → –p) ∧ (s → -r) ∧ p} → -s| c. {[(p ∧ q) ∧ r ∧(r → s)] → (r ∧ p)} d. {[p → (q ∧ r)] ∧ p} → (q ∧ r)}

Answer 1

Respuesta

a

Explicación paso a paso: