logica preposiciones

Upload: dirbal-barrera-q

Post on 31-Oct-2015

4.607 views

Category:

Documents


0 download

TRANSCRIPT

PROPOSICIONES Y TABLAS DE VERDAD.EJERCICIOS A RESOLVER:

A) Bien pensado, no hay por qu ser bien pensante.

B) En caso de que se sople el viento, podremos navegar a vela.

C) Si alguien escribe como Borges, entonces puede disculprsele de todo.

D) La vida es larga si es plena; y se hace plena cuando el alma ha recuperado la posesin de su bien propio y ha transferido as el dominio de s misma.

SOLUCION:

[ ( p q ) ~ p ] q o [ ( p q ) ~ q ] p A) Bien pensado, ENTONCES no hay por qu ser bien pensante.

P. Bien pensado

q. bien pensante P q

PQ~ qP ~ q

VV F F

VF V V

FV F V

FF V V

B) En caso de que se sople el viento, SI Y SOLO SI podremos navegar a velaP. Sople el viento

Q. Navegar a vela P Q

PQP Q

VV V

VF F

FV F

FF V

C) Si alguien escribe como Borges, ENTONCES puede disculprsele de todoP. Si escribe como Borges

Q. Puede disculprsele de todo. P QPQP Q

VV V

VF F

FV V

FF V

D) La vida es larga SI Y SOLO SI si es plena; Y se hace plena cuando el alma ha recuperado la posesin de su bien propio Y ha transferido as el dominio de s misma ENTONCES se hace plena

P. La vida es larga

Q. Es plena

R. Cuando el alma ha recuperado la posesin de su bien propioS. Transferido as el dominio de si mismo

(P Q) [ (R S) Q) ]

PQRSP QR SR S Q(P Q) [ (R S) Q) ]

VVVV V V V V

VFVF F F V F

FVFF V F V V

FFFF V F V V