EJERCICIOS DE LÓGICA 1

1. Escribe dos razonamientos formalmente válidos y materialmente

falsos, dos formalmente inválidos y materialmente falsos, dos
formalmente inválidos y materialmente verdaderos y, dos
formalmente válidos y materialmente verdaderos.

2. Indicar cuáles de estos enunciados son proposiciones y cuáles no:

1. Esperemos que suceda como has dicho.
2. Vete corriendo
3. Los árboles son mamíferos
4. Algunos peces tienen branquias

3. Determinar el orden de las proposiciones siguientes:

1. Si Juan canta y María toca la guitarra, entonces Luis no duerme
2. El terreno es muy fértil y hay bastante hierba
3. O es de día o es de noche
4. Son la dieciocho treinta

4. Clasificar y simbolizar las siguientes proposiciones:

1. Los matemáticos son geniales o los filósofos son inteligentes
2. Si alguien me llevase en coche iría a esquiar
3. Los gatos son mamíferos, pero las arañas no
4. En el supuesto que un polígono tenga tres lados, es un triángulo
5. Siempre que hace frío me acatarro
6. Los patos no son gasterópodos
7. O me voy al cine a las ocho, o me quedo estudiando
8. Si como demasiado, entonces engordo
9. Julia baila tango, María charlestón

5. Formalizar los siguientes enunciados:

1. Eres blanco, amarillo, negro
2. Se marchitan los tulipanes si florecen las hortensias
3. Mañana a las diez, te vas al convento o a Rusia para estudiar a
Marx
1
 4. Cuando llueve me voy a una discoteca
5. Vienes al instituto en coche o andando
6. Vemos el Sol solamente si es de día y no está nublado
7. Puede besarme la mano si quiere
8. En la E.S.O. estudias francés, inglés o alemán

6. Hallar si son equivalentes las siguientes proposiciones:

a) (p ↔ q) V (p →q) / ¬(p Δ q) Λ (¬p V q)
b) (p Λ q)→p / (p ↔ q) V q
c) (p V q)↔p / p Λ q

7. Hallar la tabla veritativa y realizar la simplificación de las

siguientes proposiciones
a) (p ↔ q) V (q →p)
b) (p Λ ¬q) → (p Λ q)
c) (p ↔ q) V (p →r)
d) [(p Δ r) Ʌ (q↔¬p)] → (q V ¬r)

8. Simplifica las siguientes proposiciones

a) [(p V q) Λ (p →r) Λ (q →s)] → (r V s)
b) [(p →q) Λ ¬q] V ¬p
c) [(p V q) Λ ¬q] →p
d) [(¬p V ¬q) Λ (r →p) Λ (s →q)] →¬r V ¬s