Resuelve los ejercicios siguientes por deducción indirecta o reducción al absurdo
1º)
-1 p --> (q V r) |- u V z
-2 q --> s
-3 r --> t
-4 ¬ ( s V t)
-5 p V u
2º)
-1 (p V q) V r |- ¬ ( ¬ p ^ ¬ q)
-2 r --> s
-3 ¬ s V t
-4 ¬ t ^ u
3º)
-1 p --> q |- ¬ p V t
-2 ( q V r) --> s
-3 ¬ s
Para conocer las soluciones, PULSA AQUÍ.
-1 p --> (q V r) |- u V z
-2 q --> s
-3 r --> t
-4 ¬ ( s V t)
-5 p V u
2º)
-1 (p V q) V r |- ¬ ( ¬ p ^ ¬ q)
-2 r --> s
-3 ¬ s V t
-4 ¬ t ^ u
3º)
-1 p --> q |- ¬ p V t
-2 ( q V r) --> s
-3 ¬ s
Para conocer las soluciones, PULSA AQUÍ.
Hola, muchas gracias por estos ejercicios, podrías publicar las soluciones por favor,Gracias!
ResponderEliminarHola, aquí las tienes. Te recuerdo que resolver un ejercicio por reducción al absurdo implica suponer lo contrario de la conclusión y buscar una contradicción. Puedes encontrar diferentes contradicciones, así que puede haber otras soluciones posibles. Un saludo
EliminarNo deja ver las soluciones. Gracias.
ResponderEliminar