Question

Necesito demostrar estos argumentos lógicos por reglas de inferencia. Por favor, es urgente.

I. Demostrar: Z Λ ~F

1. F → ~R
2. ~Z Λ F
3. R Λ N
4. N →Z
_________


II. Demostrar: ~R v S

1. P → ~U
2. P Λ Y
3. ~T v U
4. ~T → ~R
__________


III. Demostrar: T↓J (ni T ni J, es decir, no ocurre T y no ocurre J)

1. S w A
2. T Λ J
3. S Λ H
4. H w R
5. ~A w T
6. R w ~J
__________


IV. Demostrar: H v (~L v J)

1. D Λ (J v L)
2. F → H
3. R I N
4. ~N → F
5. R w S
6. S → ~D
_____________


V. Demostrar: ~D v Q (Sin utilizar ADC en la conclusión; es decir, en el último paso)

1. D → ~M
2. C → ~H
3. ~Q → C
4. M Λ D
5. ~C → ~A
6. ~M → R
__________

Answer 1

Respuesta:

ammmmmm no entiendo jajja