Question

Si acudimos a la oficina de reclamos y llenamos la planilla explicando la situación, resolveremos legalmente el problema. Si resolvemos legalmente el problema, no tendremos que utilizar la fuerza. Pero tendremos que utilizar la fuerza. Por consiguiente, no acudimos a la oficina de reclamos o no llenamos la planilla explicando nuestro problema.



Convenciones simbólicas:



p: acudimos a la oficina de reclamos.

q: llenamos la planilla explicando la situación.

r: resolvemos legamente el problema.

s: tendremos que utilizar la fuerza.



Formalización:





Seleccione una:
a. {[(p → q) ∧ (q → -r) ∧ s] → -r}
b. |{[(p ∧ r)→r] ∧ (q→ -s) ∧ s} → (-s ∨ -q)|
c. |{[(p ∧ q)→r] ∧ (r → -p) ∧ s} → (-s ∨ -q)|
d. |{[(p ∧ q)→r] ∧ (r → -s) ∧ s} → (-p ∨ -q)|

Answer 1

Respuesta:

Explicación paso a paso: