Si ( p & ( p ==> q ) ) ==> q
txip:
( p =[1]= ¬p ) || ( q =[2]= q )
Si ( p & ( p ==> q ) ) ==> ¬q
( p =[1]= ¬p ) || ( q =[2]= ¬q )
No hay comentarios:
Publicar un comentario