taller razonamiento logico


1. Simboliza las siguientes proposiciones:

a. Vi la película, pero no leí la novela. Rta/ P¬Q
b. No vi la película, pero leí la novela. Rta/ ¬P^Q
c. Ni vi la película ni leíla novela. Rta/ ¬P¬Q
d. No es cierto que viese la película y leyese la novela. Rta/ ¬P^Q
e. No me gusta trasnochar ni madrugar. Rta/ ¬P¬Q
f. Tú estás equivocado oes falsa la noticia que has leído. Rta/ P V Q
g. O tú estás equivocado o es falsa la noticia que has leído. Rta/ P V Q
h. Tú estás equivocado y no es falsa la noticia que has leído. Rta/P^¬Q
i. Si no estuvieras loca, no habrías venido aquí. Rta/ P¬Q
j. Llueve y o bien nieva o sopla el viento. Rta/ P^Q
k. O está lloviendo y nevando o está soplando el viento.Rta/ P^Q V R
l. Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras violaciones de los derechos civiles. Rta/ PQ
m. Roberto hará el doctorado cuando ysolamente cuando obtenga la licenciatura. Rta/ PQ
n. Si viene en bus, llegará antes de las seis. Si viene a pie, llegará antes de las seis. Luego, tanto si viene en bus como si viene a pie,llegará antes de las seis. Rta/ P^Q

2. Simboliza:

a) Si p, entonces q. Rta/ PQ
b) No es el caso que p y q. Rta/ ¬P^Q
c) p solamente si q y no –r. Rta/PQ^¬R
d) p o no –q. Rta/ P V ¬Q
e) Si p y q, entonces no –r o s. Rta/ P^Q¬R V S
f) Si p, entonces q, y si q, entonces p. Rta/ PQ^QP
g) Si p y q, entonces r. p. Luego si q,entonces r. Rta/ P^QRP  QR
h) Si p y q, entonces r. Si r y s, entonces t. Luego si p y q y s, entonces t. Rta/ P^QRR^STP^Q^ST

3. Enlaza cada proposición con su formalización:“Llueve” = p , “Hace sol” = q
Llueve y hace sol
P^Q
¬ p
Llueve y no hace sol
P^¬Q
p q
Llueve o hace sol
P v Q
p q
Si no llueve, hace sol
¬PQ
p ¬ q
No es cierto que llueva
¬P...