ACTIVIDADES DE LÓGICA

¿INDUCTIVO O DEDUCTIVO?

a)

1. Todos los vampiros juegan al mus.

2. Los vampiros viven en Transilvania.

Alguien que juega al mus vive en Transilvania.

b)

1. Si no estudias, suspendes.

2. No estudias.

Suspendes.

c)

1. Cada vez que he traído mi amuleto a los exámenes he sacado

buenas notas.

2. Mañana tengo examen.

3. Mañana traeré mi amuleto.

En el examen de mañana sacaré buenas notas.

d)

1. Todos los elefantes son herbívoros.

2. Todos los herbívoros viven en la selva.

3. Este animal es un elefante.

Luego este animal es un herbívoro que vive en la selva.

e) 32 + 5= 37

f) Después de estudiar durante años 3000 ejemplares de urracas, el

biólogo concluyó: “todas las urracas son ruidosas”.

g)

1. Si me prestas dinero, podré ir al concierto.

2. No me prestas dinero (porque eres un tacaño).

No puedo ir al concierto.
APUNTES DE LÓGICA FORMAL:

La lógica que vamos a estudiar es deductiva. Además de ser lógica de enunciados.

La lógica solo trabaja con enunciados o proposiciones (oraciones que pueden ser
verdaderas o falsas).

A su vez, los enunciados o proposiciones pueden ser simples (atómicos) o

compuestos (moleculares).

Los enunciados componen razonamientos:

Un razonamiento es un conjunto de enunciados enlazados de tal forma que de los

primeros, llamados premisas, se sigue otro llamado conclusión.

Se suele expresar de este modo:

1. Premisa 1
2. Premisa 2

Conclusión

La lógica formal se ocupa de estudiar cuándo un razonamiento es correcto (válido),

es decir, cuándo la conclusión se deriva adecuadamente de las premisas. Si el
razonamiento está bien construido, se dice que es válido o que tiene verdad lógica
(verdad como coherencia).

Razonamiento Válido o no válido

Enunciado Verdadero o falso (V o F)
 LÓGICA SIMBÓLICA.

¿Qué elementos componen la lógica de enunciados?

- Símbolos que representan enunciados (una letra por cada enunciado): p, q, r…

- Símbolos que representan conectivas (ligan los enunciados)

¬ No siempre delante de la letra:

(negador) ¬p
siempre entre las letras
˄ y p˄q
(conjuntor)
v o pvq
(disyuntor)
→ Si…, entonces p→q
(condicional)
↔ Si y solo si…, entonces p↔q
(bicondicional)

- Además, está el símbolo de la conclusión: ˫ (siempre delante)

- Reglas de formación: indican qué fórmulas son correctas.

Ejs. p v q ¬q p →q

- Reglas de transformación: indican cómo pasar de unas fórmulas a otras (las

veremos al estudiar el método de deducción natural)

Ej. de formalización:

Estamos en diciembre p

Vamos al cine o vamos al parque p v q

p q
A formalizar:

a) Si los coches dejan de usar gasolina, contaminarán menos.

b) Si me quedo estudiando y mis amigos se enfadan conmigo, tendré que invitarles

otro día.

c) No es cierto que no haya estudiado el examen, pero voy a suspender igualmente.

d) 1. Los gatos son animales

2. Si los gatos son animales, no son plantas
3. Si no son plantas, no hay que regalos para que crezcan.
En conclusión, no riegues a los gatos.

e) 1. Es junio o es diciembre
2. Si es junio, pronto serán las vacaciones de verano
3. Si es diciembre, pronto comeremos turrón.
Luego o son vacaciones de verano o comeremos turrón.

f) Cuando Napoleón jugaba al aro, no conquistaba países. Pero Napoleón creció y

se hizo poderoso. Por tanto, conquistó países.

g) Los libros de la biblioteca de Alejandría fueron quemados, al producirse un

incendio.

h) Los políticos mienten a conciencia o son unos ineptos. Si mienten, no merecen

nuestra confianza y deberíamos quejarnos. Pero si son unos ineptos, no mienten
y habría que enseñarles un par de cosas.

i) La leyenda cuenta que Arquímedes fue un ingeniero alejandrino y que utilizó un

sistema de grandes espejos para incendiar las naves romanas. Pero parece que
no utilizó ese sistema. En conclusión, no empleó ese sistema pero sí fue un
ingeniero alejandrino.
A formalizar:

a) Si los coches dejan de usar gasolina, contaminarán menos.

p → q

b) Si me quedo estudiando y mis amigos se enfadan conmigo, tendré que

invitarles otro día.

(p ˄ q) → r

c) No es cierto que no haya estudiado el examen, pero voy a suspender

igualmente.

¬¬p˄q

d) 1. Los gatos son animales 1. p

2. Si los gatos son animales, no son plantas 2. p → ¬ q

3. Si no son plantas, no hay que regalos para que crezcan. 3. ¬ q → ¬ r

En conclusión, no riegues a los gatos. ˫ ¬r

e) Es junio o es diciembre 1. p v q

2. Si es junio, pronto serán las vacaciones de verano 2. p → r

3. Si es diciembre, pronto comeremos turrón. 3. q → s

Luego o son vacaciones de verano o comemos turrón. ˫ r v s
f) Cuando Napoleón jugaba al aro, no conquistaba países. Pero Napoleón creció y
se hizo poderoso. Por tanto, conquistó países.
p → ¬q
r ˄s
˫ q

g) Los libros de la biblioteca de Alejandría fueron quemados, al producirse un

incendio.

q → p

h) Los políticos mienten a conciencia o son unos ineptos. Si mienten, no merecen

nuestra confianza y deberíamos quejarnos. Si son unos ineptos, no mienten y habría
que enseñarles un par de cosas.

pvq
p → (¬ r ˄ s)
q → (¬ p ˄ t)

i) La leyenda cuenta que Arquímedes fue un ingeniero alejandrino y que utilizó un

sistema de grandes espejos para incendiar las naves romanas. Pero parece que no
utilizó ese sistema. En conclusión, no empleó ese sistema pero sí fue un ingeniero
alejandrino.

p˄q

¬q

˫¬q˄ p
Ejercicios de formalizar

a) Si vendes la casa, obtendrás mucho dinero.

Como no has obtenido mucho dinero, no has vendido la casa.

1. p → q

2. ¬ q

˫ ¬p

b) Tiene un lápiz y un bolígrafo. Por tanto, tiene un lápiz.

1. p ˄ q

˫p

c) O cogemos el camino de la izquierda, o cogemos el de la derecha. No hemos

cogido el camino de la izquierda. Por tanto, cogemos el camino de la derecha.

1. p v q

2. ¬ p

˫q

d) No es cierto que no tenga un coche. Es decir, tengo coche.

1. ¬ ¬ p

˫p
e) Si el número x solo es divisible por sí mismo y por la unidad, entonces es primo.
El número x es divisible por sí mismo y por la unidad. Por tanto, x es primo.

1. (p ˄ q) → r

2. p ˄ q

˫r

f) Si Juan tiene dinero, se comprará el juego. Si se compra el juego, se pasará

todo el día jugando. Por tanto, si tiene dinero, Juan se pasará el día jugando.

1. p → q

2. q → r

˫ p → r

g) Si tienes amigos y salud, entonces eres feliz. Esto supone que, si tienes
amigos, entonces, si ocurre que tienes salud, entonces eres feliz.

1. (p ˄ q) → r

˫ p → (q → r)
Ejercicios de formalizar

a) Si vendes la casa, obtendrás mucho dinero.

Como no has obtenido mucho dinero, no has vendido la casa.

b) Tiene un lápiz y un bolígrafo. Por tanto, tiene un lápiz.

c) O cogemos el camino de la izquierda, o cogemos el de la derecha. No hemos

cogido el camino de la izquierda. Por tanto, cogemos el camino de la derecha.

d) No es cierto que no tenga un coche. Es decir, tengo coche.

e) Si el número x solo es divisible por sí mismo y por la unidad, entonces es primo.

El número x es divisible por sí mismo y por la unidad. Por tanto, x es primo.

f) Si Juan tiene dinero, se comprará el juego. Si se compra el juego, se pasará

todo el día jugando. Por tanto, si tiene dinero, Juan se pasará el día jugando.

g) Si tienes amigos y salud, entonces eres feliz. Esto supone que, si tienes amigos,
entonces, si ocurre que tienes salud, entonces eres feliz.