Lógica
Demostrar la validez del siguiente razonamiento con las reglas de la deducción natural:
A -> (B ->¬(A o B)) .'. ¬ (A ^ B)
Gracias
A -> (B ->¬(A o B)) .'. ¬ (A ^ B)
Gracias
1 respuesta
Respuesta de ktantan
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 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.
