Professional Documents
Culture Documents
Trigonometra plana
(0,18)
(8,0)
(12,0)
( p q ) [ ( p q ) ( q p ) ]
( p q ) [ ( p q ) ( q p ) ] ( p q ) [ ( ~p ~q ) ( ~q p ) ] (ley de implicacin) ( p q ) [ ~( ~p ~q ) ( ~q p ) ] (ley de implicacin) ( p q ) [ (p q ) ( ~q p ) ] (ley de morgan) ( p q ) [ ((p q ) ~q) p ) ] (ley asociativa) ( p q ) [ ((p ~q) (q ~q) p ) ] (ley distributiva) (q ~q) es siempre verdadero, por lo tanto (principio de no contradiccin): ( p q ) [ ((p ~q) p ) ] ( p q ) (p ~q) (ley de idempotencia) (( p q ) ~q) p [(~q p) (~q q)] p (ley distributiva) p ~q p (principio de no contradiccin) (~q p) Por lo tanto, se trata de una contingencia.
[p ( q p ) ] p
[p ( q p ) ] p [p ( ~q p ) ] p [p ~q p ] p [p ~q ] p ~(p ~q ) p (p q) p
Como
1 1
A -1 A-1
B 1-A B-A+1
2 A-B-1 A-B+1
-1
1 1
A -2 A-2
B 4-2A 4+B-2A
2 -8-2B+4A -6-2B+4A
-2
. Reemplazando:
-1 -1
2 -1 1
0 1 1
0 1 1
1 1 2
-2 2 0
-1 -1
1 -1 -1
1 -2 -1
1 -2 -1
2 -2 0
-1 -1
-1 1 0
-1 0 -1
-1 1 0
-1