Vivir no es pensar pero no pensar en ella no es vida.

Vivir no es pensar pero no pensar en ella no es vida.

Vivir no es pensar
No es cierto que si piensas vives
~ (Pa -> V)
pero no pensar en ella no es vida
Si no piensas en ella no vives.

(Ax)	(Mx&~Px)	-> ~V

(1) ~(Pa->V)&Ax((Mx&~Px)->~V))	  A
(2) ~(Pa->V)			1 &E
(3) ~(Pa ó ~V)			2 -> def.
(4) ~Pa&~~V			3 TI(DeM)
(5) ~~V				4 &E
(6) Ax(Mx&~Px)->~V		1 &E
(7) (Ma&~Pa)->~V		6 UE
(8) ~(Ma&~Pa)			5,6 MTT
(9) ~Pa				4 &E
(10) ~Ma			8,9 MPT
(11) Ax ~Mx			10 UI
(12) Ex ~Mx			10 EI
(13) (Ax ~Mx)&(Ex ~Mx)		11,12 &I
(14) Ax ~Mx			13 &E

Por lo tanto si no pienso en algo y como consecuencia no puedo vivir (y a la vez vivir no es pensar) ese algo no es una mujer.