LÓGICA PROPOSICIONAL - EJERCICIOS RESUELTOS - ¬˄˅→↔
http://www.cs.us.es/cursos/li-2004/li-g3/rel1-04-05.pdf
1. Simboliza las siguientes proposiciones: a. No vi la película, pero leí la novela: ¬p ˄ q b. Ni vi la película ni leí la novela: ¬p ˄ ¬q c. No es cierto que viese la película y leyese la novela: ¬(p ˄ q) d. Vi la película aunque no leí la novela: p ˄ ¬q e. No me gusta trasnochar ni madrugar: ¬p ˄ ¬q f. O tu estás equivocado o es falsa la noticia que has leído: p ˅ q g. Si no estuvieras loca, no habrías venido aquí: ¬p → ¬q h. Llueve y o bien nieva o sopla el viento: p ˄ (q ˅ r) i. O está lloviendo y nevando o está soplando el viento: (p ˄ q) ˅ r) j. Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras violaciones de los derechos civiles: p → (¬q ˄ ¬r) k. Roberto hará el doctorado cuando y solamente cuando obtenga la licenciatura: p ↔ q l. Si viene en tren, llegará antes de las seis. Si viene en coche, llegará antes de las seis. Luego, tanto si viene en tren como si viene en coche, llegará antes de las seis: p → q, r → q |- (p ˅ r) → q
No hay comentarios:
Publicar un comentario