Demostra u /\ w |
Demostra n |
Demostra p |
n --> (u /\ w) p /\ q m --> t q --> s (r /\ s) --> ¬ t m \/ n p --> r ................................................. p r q s r /\ s ¬ t ¬ m n u /\ w |
p /\ q p --> (m \/ n) q --> ( ¬ m /\ r) .......................................................... p m \/ n q ¬m /\ r ¬ m n |
(m /\ n) --> p m \/ r ¬ n --> t ( ¬r /\ ¬ t) ........................................................ ¬ r m ¬ t ¬¬ n n m /\ n p |