Ejercicios de Lógica

Asignatura:

Pensamiento Filosófico y Ciudadanía

Docente:

Ana María Mellado Salazar

Estudiante:

Figueroa Campana Jesús Rolando

CÓDIGO:

020101308H
SEMESTRE:

2021 - I

Cusco - 2021
 FICHA de EJERCICIOS, PROPOSICIONES, CONECTIVAS LÓGICAS Y TABLAS DE VERDAD

En el desarrollo de cualquier teoría se realizan afirmaciones en forma de oraciones

declarativas. Dichas oraciones reciben el nombre de proposiciones y son verdaderas o falsas
(pero no ambas).
Actividad 1.
Determina cuáles de las siguientes oraciones son proposiciones:
a) MDyL1 es un curso obligatorio en el TIP. Es una proposición.
b) x + 2 es múltiplo de 5.
c) ¡Ponte a estudiar de una buena vez!
d) 16 es divisible entre 3. Es una proposición.
e) Si el triángulo ABC es equilátero, entonces es acutángulo. Es una proposición.
f) ¿Quién ganó la última copa Bimbo?
g) Eduardo Galeano escribió “Las venas abiertas de América Latina”. Es una proposición.
h) Si está nublado y no está lloviendo, entonces puedo dar un paseo. Es una proposición.
i) ¡Apaga ese celular!
j) El pasado 5 de abril se cumplieron 200 años de las Instrucciones del año XIII. Es una proposición.
k) 11 es un número primo o 5 + 3 =11. Es una proposición.
l) ¿Qué estás pensando?
m) La temperatura ambiente es inferior a 40ºC. Es una proposición.
n) Carrillo tiene una camiseta del Club Nacional de Fútbol y otra de la Es una proposición.
Selección Uruguaya.
Actividad 2.
Se dice que una proposición es primitiva o simple, cuando no se la puede descomponer en proposiciones
más sencillas. Se las denotará con letras minúsculas: p, q, r,... o también con , , , ... 1 2 3 p p p
Una proposición compuesta es una proposición que se obtiene transformando o combinando
proposiciones primitivas (con ciertos operadores o conectivas lógicas) .Se utilizarán las siguientes
conectivas lógicas: Negación (¬), Conjunción (∧ ), Disyunción (∨ ), Implicación (→) y Bicondicional (↔).

Teniendo en cuentas las proposiciones de la actividad 1, indica cuáles son simples, y cuáles son compuestas.

Proposición Clasificación
MDyL1 es un curso obligatorio en el TIP Proposición simple
16 es divisible entre 3 Proposición simple
Si el triángulo ABC es equilátero, entonces es acutángulo Proposición compuesta
Eduardo Galeano escribió “Las venas abiertas de América Latina” Proposición simple
Si está nublado y no está lloviendo, entonces puedo dar un paseo Proposición compuesta
El pasado 5 de abril se cumplieron 200 años de las Instrucciones del año
Proposición simple
XIII
11 es un número primo o 5 + 3 =11 Proposición compuesta
La temperatura ambiente es inferior a 40ºC Proposición simple
 Carrillo tiene una camiseta del Club Nacional de Fútbol y otra de Proposición compuesta
la Selección Uruguaya

Actividad 3.
Sean p, q y r las siguientes proposiciones acerca de un determinado triángulo ABC .
p : el triángulo ABC es isósceles.
q : el triángulo ABC es equilátero.
r : el triángulo ABC tiene los tres ángulos de igual amplitud.
Traduce cada una de las siguientes proposiciones al lenguaje cotidiano.
a) q → p b) (¬ p)→ (¬q) c) q↔ r d) p ∧ (¬q) e) r → p

Proposición Traducción
q→p Si el triángulo ABC es equilátero, entonces es isósceles.
(¬ p)→ (¬q) Si el triángulo ABC NO es isósceles, NO es equilátero.
q↔ r El triángulo ABC es equilátero si y solamente si tiene los tres ángulos
de igual amplitud.
p ∧ (¬q) El triángulo ABC es isósceles y NO es equilátero.
r→p Si el triángulo ABC tiene los tres ángulos de igual amplitud, entonces
es isósceles.

Actividad 4.
Considera las proposiciones p: “el profesor trabaja más horas” y q: “al profesor le pagan extra”. Escribe
en forma simbólica las siguientes proposiciones:
a) Si el profesor trabaja más horas, le pagan extra.

p→q

b) Al profesor le pagan extra o no trabaja más horas.

q V (¬p)

c) El profesor trabaja más horas si y solo si le pagan extra.

p↔q

d) El profesor no trabaja más horas, sin embargo, le pagan extra.

(¬p) ∧ q

Actividad 5.
Siendo p, q y r, proposiciones primitivas, determina el valor de verdad de las siguientes proposiciones
compuestas:
1 (¬p) ∧ (¬q) )
p q ¬p ¬q (¬p) ∧ (¬q)
V V F F F
V F F V F
F V V F F
F F V V V

2 ¬( p ∧ q) )
p q p∧q ¬( p ∧ q)
V V V F
V F F V
F V F V
F F F V

3 (¬p) ∨ (¬q) )
p q ¬p ¬q (¬p) ∨ (¬q)
V V F F F
V F F V V
F V V F V
F F V V V

4 p ∧ ( p ∨ q)
p q p∨q p ∧ (p ∨ q)
V V V V
V F V V
F V V F
F F F F

5 p ∧ (¬q) )
p q (¬q) p ∧ (¬q)
V V F F
V F V V
F V F F
F F V F

6 p ∨ (¬q) )
p q (¬q) p ∨ (¬q)
V V F V
V F V V
F V F F
F F V V
7 ( p ∧ q) ∨ (¬r) )
p q r p∧q (¬r) (p ∧ q) ∨ (¬r)
V V V V F V
V V F V V V
V F V F F F
V F F F V V
F V V F F F
F V F F V V
F F V F F F
F F F F V V

8 ((¬p) ∧ q)∨ (¬r)

p q r (¬p) (¬p) ∧ q (¬r) ((¬p) ∧ q)∨
(¬r)
V V V F F F F
V V F F F V V
V F V F F F F
V F F F F V V
F V V V V F V
F V F V V V V
F F V V F F F
F F F V F V V

9 (p ∧ q) ∨ ( p ∨ q)
p q p∧q p∨q (p ∧ q) ∨ ( p ∨ q)
V V V V V
V F F V V
F V F V V
F F F F F

10) ( p ∧ (¬q))∧ p
p q (¬q) p ∧ (¬q) ( p ∧ (¬q))∧ p
V V F F F
V F V V V
F V F F F
F F V F F

11) (( p ∨ q) ∧ (¬r))∧ r
p q r p∨q (¬r) (p ∨ q) ∧ (¬r) (( p ∨ q) ∧
(¬r))∧ r
V V V V F F F
V V F V V V F
V F V V F F F
V F F V V V F
F V V V F F F
 F V F V V V F
F F V F F F F
F F F F V F F

Actividad 6.
Construye una tabla de verdad para cada una de las siguientes proposiciones compuestas, donde p, q y
r, denotan proposiciones primitivas:
1 ( ¬(p ∧ (¬q)))→ (¬p) )
p q ¬q p ∧ (¬q) ¬(p ∧ (¬q)) (¬p) ( ¬(p ∧
(¬q)))→ (¬p)
V V F F V F F
V F V V F F V
F V F F V V V
F F V F V V V

2 p → (q → r) )
p q r (q → r) p → (q → r)
V V V V V
V V F F F
V F V V V
V F F V V
F V V V V
F V F F V
F F V V V
F F F V V

3 (¬p)→ ((¬p) ∧ q)
p q (¬p) (¬p) ∧ q (¬p)→ ((¬p) ∧ q
V V F F V
V F F F V
F V V V V
F F V F F

4 ( p → q) → (q → p) )
p q p→q q→p ( p → q) → (q →
p)
V V V V V
V F F V V
F V V F F
F F V V V

5 (p ∧ ( p → q))→ q)
p q p→q p ∧ ( p → q) (p ∧ ( p → q))→ q
V V V V V
V F F F V
 F V V F V
F F V F V

6 ( p ∨ q) → ( p ∨((¬p)∧ q))
p q p∨q (¬p) (¬p)∧ q p ∨((¬p)∧ q) ( p ∨ q) → ( p
∨((¬p)∧ q))
V V V F F V V
V F V F F V V
F V V V V V V
F F F V F F V

7 q ↔ ((¬p)∨ (¬q) ) )
p q (¬p) (¬q) (¬p) ∨ (¬q) q ↔ ((¬p) ∨
(¬q))
V V F F F F
V F F V V F
F V V F V V
F F V V V F

8 ((p → q) ∧ (q → r))→( p → r) )
p q r p→q q→r ( p → q) ∧ p→r ((p → q) ∧
(q → r) (q →
r))→(p → r)
V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V

9 ( p → q) → r
p q r p→q (p → q) → r
V V V V V
V V F V F
V F V F V
V F F F V
F V V V V
F V F V F
F F V V V
F F F V F
10) (p ∨ ((¬p)∧ q))→ ( p ∨ q)
p q (¬p) (¬p)∧ q p ∨ ((¬p)∧ q) p∨q (p ∨ ((¬p)∧
q))→ ( p ∨ q)
V V F F V V V
V F F F V V V
F V V V V V V
F F V F F F V

11 ( p ∨ q) →(p ∨ ((¬p) ∧ q))

p q p∨q (¬p) (¬p)∧ q) p ∨ ((¬p) ∧ q) ( p ∨ q) →(p ∨
((¬p) ∧ q))
V V V F F V V
V F V F F V V
F V V V V V V
F F F V F F V

Actividad 7.
¿Cuáles, de las proposiciones compuestas de la actividad 6, son tautologías?

Las proposiciones compuestas tautológicas son:

- (p ∧ ( p → q))→ q)
- ( p ∨ q) → ( p ∨((¬p)∧ q))
- ((p → q) ∧ (q → r))→( p → r) )
- (p ∨ ((¬p)∧ q))→ ( p ∨ q)
- ( p ∨ q) →(p ∨ ((¬p) ∧ q))

Actividad 8.
Sean p y q proposiciones primitivas para las que la implicación p → q es falsa.
Determina los valores de verdad de:

Como p → q es falsa, entonces “p” es Verdad y “q” es Falsa

1) (¬p) ∨ q )
→ (¬p) = 𝐹
→ (¬p) 𝑉 𝑞 = 𝐹

2) q → p
=𝐹→V=𝑉

3) (¬p) → (¬p)
→ (¬p) = 𝐹
=𝐹 → 𝐹 =𝑉
Actividad 9.
Si la proposición α tiene valor de verdad ,1 determina todas las asignaciones de valores de verdad para
las proposiciones primitivas p, q y r de manera que el valor de verdad de la proposición (α → ((¬p ∨ q) ∧
(¬r) )) ∧ ((¬r) → (( ¬q) ∧α) ) sea 1.
α p q r (¬p) (¬p ∨ (¬r) (¬p ∨ α→ (¬q) ( ¬q) (¬r) (α → ((¬p
q) q) ∧ ((¬p ∨ ∧α) → (( ∨ q) ∧
(¬r) q) ∧ ¬q) (¬r))) ∧
(¬r)) ∧α) ((¬r) →
((¬q) ∧α))
1 1 1 1 0 1 0 0 0 0 0 1 0
1 1 1 0 0 1 1 1 1 0 0 0 0
1 1 0 1 0 0 0 0 0 1 1 1 0
1 1 0 0 0 0 1 0 0 1 1 1 0
1 0 1 1 1 1 0 0 0 0 0 1 0
1 0 1 0 1 1 1 1 1 0 0 0 0
1 0 0 1 1 1 0 0 0 1 1 1 0
1 0 0 0 1 1 1 1 1 1 1 1 1

Por lo tanto, los valores de verdad para las proposiciones primitivas son: p = 0, q = 0 y r = 0.

Actividad 10.
Dada la proposición p → q se definen: la recíproca q → p, la inversa (¬p) → (¬q) y la contra recíproca (¬q)
→ (¬p). Sean p: “este animal es un ave” y q: “este animal tiene alas” dos proposiciones simples. Escribe la
recíproca, la inversa y la contra recíproca de p → q.

Recíproca: q → p Si este animal tiene alas, entonces es un ave

Inversa: (¬p) → (¬q) Si este animal no es un ave, entonces no tiene alas
Contra recíproca: (¬q) → (¬p) Si este animal no tiene alas, entonces no es un ave