Lógica proposicional.

Ejercicios 1
Ejercicios para el 1 de octubre

Roger Bosch
Universidad de Oviedo. Dpto. de Filosofía

24 de septiembre de 2019

Ejercicio 1 Considere los siguientes argumentos y evalúelos informalmente para determinar si

son válidos o inválidos. Justifique sus afirmaciones.

1. Si el mundo es redondo, entonces si tengo un barco, puedo navegar alrededor de él. Tengo un
barco, pero no navego alrededor del mundo. Por lo tanto, el mundo no es redondo.
2. Si no aprendes lógica, no obtendrás el título. Si aprendes lógica, es que has asistido a clase
de “Lógica elemental”. Si no obtienes el título, no irás al Master en Filosofía. Por lo tanto,
si vas al Master en Filosofía es que has aprendido lógica.

3. La señorita Amapola lo hizo, y lo hizo o con la llave inglesa o con la cuerda. Pero lo hizo
con la cuerda si y solo si el asesinato se cometió en el vestíbulo. El asesinato se cometió en
la cocina. Por lo tanto, la señorita Amapola lo hizo y lo hizo con la llave inglesa.
4. Si las cosas participan de las Formas, entonces o bien las cosas reciben la Forma total o bien
reciben parte de la Forma. Si reciben parte de la Forma, entonces la Forma está dividida. Si
reciben la Forma total, entonces la Forma está separada de sí misma (por existir en diferentes
tiempos y lugares). Las Formas no pueden estar ni divididas ni separadas de sí mismas. Por
lo tanto, las cosas no participan de las Formas.

Ejercicio 2 Conteste a las siguientes preguntas. Razone sus respuestas

1. ¿Cuantos elementos tienen los siguientes conjuntos?

i) A = {1, 22 , 4} iv) D = {{a}, {a,a}} vii) G = {1, ∅}

ii) B = {1, 2, 1, 3} v) E = ∅ viii) H = {{a}}
iii) C = {a,{a}} vi) F = {∅} ix) I = N

2. ¿Es posible que {a, b} = {a}? Si no lo es, ¿por qué no? Si lo es, ¿en qué caso?
3. Denote por enumeración (si es posible) los siguientes conjuntos:
i) El conjunto A de los satélites naturales de la Tierra.
ii) El conjunto B de todos los enteros no negativos.
iii) El conjunto C de todas las letras de la palabra “tomate”.
iv) El conjunto D de todos los seres humanos.

1
 v) E = {x : x es un entero y x + x = x}.
vi) F = {x : x es un entero tal que x2 = 9 y 4x = 9}.
4. Denote por abstracción (si es posible) los siguientes conjuntos:
i) A = {Mercurio, Venus, Tierra, Marte, Jupiter, Saturno, Neptuno, Urano}.
ii) B = {2, 4, 6, 8}
iii) C = {a, e, m, o, t}.
iv) D = {Mark Twain, 1048, Babieca, Torre Eiffel}.
v) E = {0}
vi) F = ∅

Si A y B son conjuntos, decimos que A está incluido en B o que A es subconjunto de B, y

escribimos A ⊆ B, si y solo si todos los elementos de A son elementos de B (o equivalentemente,
no existe un elemento de A que no pertenezca a B). Por ejemplo, el conjunto {1, 3, 5} está incluido
en el conjunto {1, 2, 3, 4, 5}. Por otro lado, el conjunto {1, 2, 3} no está incluido en el conjunto
{1, 2, 4}. Nótese que el conjunto vacío, ∅, está incluido en todo conjunto (pues dado un conjunto
B cualquiera es claramente verdadero que no existe un elemento de ∅ que no pertenezca a B).
También debería ser claro que todo conjunto está incluido en si mismo.

Ejercicio 3 Encuentre todos los subconjuntos de los siguientes conjuntos:

1. A = ∅ 2. B = {1} 3. C = {1, 2} 4. D = {1, 2, 3}

Podemos concluir del ejercicio anterior que los subconjuntos de un conjunto X dado son todos
los conjuntos que podemos formar con elementos de X.

Ejercicio 4 Sean

X = {1, 2, 3,4} Y = {{1, 2}, {3, 4}} Z = {{1}, {2, 3}, {4}}

Determine cuáles de las siguientes afirmaciones son verdaderas y cuáles son falsas:

1∈X 1∈Y 1∈Z 1⊆X 1⊆Y 1⊆Z

{1} ∈ X {1} ∈ Y {1} ∈ Z {1} ⊆ X {1} ⊆ Y {1} ⊆ Z
{3, 4} ∈ X {3, 4} ∈ Y {3, 4} ∈ Z {3, 4} ⊆ X {3, 4} ⊆ Y {3, 4} ⊆ Z

Ejercicio 5 ¿Cuáles de las siguietes relaciones son funciones? En el caso de las relaciones que no
son funciones exhiba pares ordenados que lo muestren:

1. La relación R1 = {ha, bi : a es el padre de b}.

2. La relación R2 = {ha, bi : a es el hijo de b}.
3. La relación R3 = {ha, bi : a es el hijo del varón b}.
4. La relación R4 = {ha, bi : a es hermano de b}.
5. La relación R5 = {ha, bi : a es una persona y b su edad en años}.
6. La relación R6 = {ha, bi : a es un país y b su número de habitantes}.

2
 7. La relación R7 = {ha, bi : a y b son personas y a está casado con b}.

8. La relación R8 = {ha, bi : a y b son números enteros positivos y a < b}.

9. La relación R9 = {ha, bi : a es un número entero positivo y b = 6}.
10. La relación R10 = {ha, bi : a y b son números enteros positivos y b = a + 1}.