Lógica

Demostrar la validez del siguiente razonamiento con las reglas de la deducción natural:
A -> (B ->¬(A o B)) .'. ¬ (A ^ B)
Gracias
1

1 respuesta

Respuesta
1
A -> (B ->¬(A o B))
¬ A o (B -> ¬ (A o B))
¬ A o ( ¬B o ¬(A o B))
¬ A o ( ¬ ( B ^ (A o B)))
¬ ( A ^ ( B ^ ( A o B)))
¬ ( A ^ ( (B ^ A) o (B ^B)) )
¬ (A ^ ( (B ^ A) o B ) )
¬ ( A ^ ( B ^ A) )
¬ ( A ^ B )
Si no entiendes algún paso dímelo.

Añade tu respuesta

Haz clic para o

Más respuestas relacionadas