Práctico grupal
Simboliza las siguientes proposiciones
1. No vi la película, pero leí la novela
2. Ni vi la película ni leí la novela
3. No es cierto que viese la película y leyese la novela
4. Vi la película, aunque no leí la novela
5. No me gusta trasnochar ni madrugar
6. O tú estás equivocado o es falsa la noticia que has leído
7. Si no estuvieras loca entonces no habrías venido aquí
8. Llueve y o bien nieva o sopla el viento
9. O está lloviendo y nevando o está soplando el viento
10. Roberto hará el doctorado solamente cuando obtenga la licenciatura
Simboliza
1. Si p, entonces q
2. No es el caso que p y q
3. p solamente si q y no-r
4. p o no-q
5. Si p y q, entonces no-r o s
6. Si p, entonces q, y si q, entonces p
Enlaza cada proposición con su formalización:
p= “llueve” q= “hace sol” RESPUESTAS
1 Llueve y hace sol A ¬p
2 Llueve y no hace sol B p∨q
3 Llueve o hace sol C p∧q
4 Si no llueve, hace sol D p ∧¬ q
5 No es cierto que llueva E ¬¬p
6 No es cierto que no llueva F q↔¬p
7 Hará sol si y sólo si no llueve G ¬p→q