Download 1 1. FORMALIZAR las siguientes proposiciones, señalando cuales

EJERCICIOS BÁSICOS DE LÓGICA PROPOSICIONAL 2
1. FORMALIZAR las siguientes proposiciones, señalando cuales son atómicas y
cuales moleculares:
1- Cervantes escribió el Quijote.
2- No es cierto que la lógica sea difícil
3- Llegó, vio y venció
4- Pedro no es médico
5-Todo lo que tú dices es falso
6- Si Cervantes escribió el Quijote, Cervantes es un
gran escritor.
7- No es cierto que cantaran y bailaran
8- Un metal es mineral si y solo si es un buen conductor de la electricidad
9- Si las ballenas son mamíferos implica que tienen la sangre caliente, entonces las
ballenas son mamíferos y tienen la sangre caliente.
10- Los tejados son de pizarra y las puertas de madera.
11- Si Cervantes escribió el "El Quijote", Cervantes fue un gran escritor. Y consta que
Cervantes escribió "El Quijote". Luego Cervantes fue un gran escritor.
12- Si no crees en Dios pero blasfemas, te estás contradiciendo
13- Si llueve, la tierra está mojada. Y consta que la tierra no está mojada. Luego no
llueve.
14- El ser triángulo rectángulo implica tener un ángulo recto
15- El consomé se servirá frío o templado
16- Me van bien los estudios pero no apruebo
17- Dejaré el tabaco si y solo tú dejas el alcohol
18- La cuadratura del círculo es imposible
19- No es el caso que lo infinito esté limitado por algo
20- No creo en lo que dices y, sin embargo, sigo confiando en ti
21- Ella tiene la luz, tiene el perfume, el color y la línea
22- Hace frío, luego no es verano
23- El sol no es una estrella
24- Si eres licenciado, no es posible que no sepas leer ni escribir
25- No es verdad que el sol sea una estrella
26- Estudias y trabajas, o serás un desgraciado
27- Si hoy es lunes, mañana no será jueves 28- Es ciego luego no ve
29- O me eligen presidente o abandono la política 30- Si no te mueves no caminas
31- Ni puedo prohibirlo, ni puedo tolerarlo
• Traduce al lenguaje común las fórmulas siguientes
1- p→ q
2- p Λ q Λ r Λ ¬ s
3- (p Λ ¬ q) → ¬ (¬ p V q)
2. CONSTRUCCIÓN DE TABLAS DE VERDAD
• Construye las tablas de verdad de las siguientes fórmulas y determina su valor de
verdad:
1- ¬ (p Λ q) → (¬ p V ¬ q)
4- [ ( p→ q) Λ ¬ q ] → ¬ p
2- ¬ q V ¬ p
5- p Λ ¬ p
3- [(p V q) Λ (p→ r) Λ (q → s)] → (r V s)
• Simboliza este razonamiento y establece su valor de verdad mediante la
construcción de su tabla de verdad correspondiente:
- Si la ciudadanía romana hubiera garantizado los derechos civiles, los ciudadanos
romanos hubieran gozado de libertad religiosa. Si los ciudadanos romanos hubieran
gozado de libertad religiosa, entonces no se hubiera perseguido a los primeros
cristianos. Pero los primeros cristianos fueron perseguidos. Luego la ciudadanía romana
no garantizó los derechos civiles.
1