- No vi la película, pero leí la novela: ¬p q
- Ni vi la película ni leí la novela: ¬p ¬q
- No es cierto que viese la película y leyese la novela: ¬(p q)
- Vi la película aunque no leí la novela: p ¬q
- No me gusta trasnochar ni madrugar: ¬p ¬q
- O tu estás equivocado o es falsa la noticia que has leído: p q
- Si no estuvieras loca, no habrías venido aquí: ¬p ® ¬q
- Llueve y o bien nieva o sopla el viento: p (q r)
- O está lloviendo y nevando o está soplando el viento: (p q) r)
- Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras violaciones de los derechos civiles: p ® (¬q ¬r)
- Roberto hará el doctorado cuando y solamente cuando obtenga la licenciatura: p « q
- 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
- Si p, entonces q: p ® q
- No es el caso que p y q: ¬(p q)
- p solamente si q y no-r: p « (q ¬r)
- p o no-q: p ¬q
- Si p y q, entonces no-r o s: (p q) ® (¬r s)
- Si p, entonces q, y si q, entonces p: (p ® q) (q ® p)
- Si p y q, entonces r. p. Luego si q, entonces r: (p q) ® r, p |- q ® r
- Si p y q, entonces r. Si r y s, entonces t. Luego si p y q y s, entonces t:
- (p q) ® r, (r s) ® t |- (p q s) ® t
® léase como entonces (no se insertó el símbolo)
No hay comentarios:
Publicar un comentario