Trabajo extra
1. p q - ( p V q ) ® ( p L q )
2. - ( p « q ) « ( - p « - q )
3. - [ - p V q ] ® q
4. ( p ® q ) V ( - p L q )
5. - ( p V q ) ® [ ( p L r ) ® q ]
6. [ (- p) V (- r) ] ® q
7. [ ( p L q ) ® - p ] V p
8. ( p V q ) ® ( p ® q )
9. [ (p L q) ® q] « q
10. ( - p ® q ) « ( q V r )
11. ( p « r ) V ( p ® q)
0 comentarios:
Publicar un comentario