Universidad Politécnica Territorial del Estado Trujillo Mario Briceño Iragorry

Departamento de Informática
Unidad Curricular: Matemática I

EJERCICIOS PRACTICOS DE LÓGICA

Proposiciones Simples: Se dice que son pensamientos en los que se afirma

algo y que se expresan, por ello, mediante enunciados u oraciones declarativas.

Ejemplos de Proposiciones:
• El coronavirus afecta a muchos países
• La cuarentena radical reduce el contagio

Ejemplos de oraciones que no son proposiciones

• ¿Puede ser el coronavirus una enfermedad contagiosa?
• Juntos nos cuidamos

Proposiciones Compuestas: Son aquellas que resultan de la combinación de

dos o más proposiciones simples, relacionadas por medio de conectivos lógicos.

Conectivos lógicos

• Negación: Dada una proposición, es posible negar su sentido en varias

formas. Se denota con el símbolo ().
Ejemplo: Sea la siguiente proposición
p: Los enfermos por coronavirus se recuperan satisfactoriamente

Negación de la proposición: p
p: No es cierto que los enfermos por coronavirus se recuperan
satisfactoriamente.
p: Los enfermos por coronavirus no se recuperan satisfactoriamente

• Conjunción: Dadas dos proposiciones, se dice que están conjuntadas

cuando usan la letra “y”. Se denota por el símbolo ()
Ejemplo: Sean las siguientes proposiciones
p: El distanciamiento social ayuda a reducir los contagios
q: El uso adecuado del tapabocas evita el coronavirus

Proposiciones conjuntadas: pq

pq: El distanciamiento social ayuda a reducir los contagios y el uso adecuado
del tapabocas evita el coronavirus
 • Disyunción: Dadas dos proposiciones, se dice que están disyuntas cuando
usan la letra “o”. Se denota por el símbolo ()

Ejemplo: Sean las siguientes proposiciones

p: Las reuniones familiares aumentan los contagios
q: Las celebraciones publicas generan enfermos

Proposiciones disyuntas: pq

pq: Las reuniones familiares aumentan los contagios o las celebraciones
publicas generan enfermos.

• Condicional: Dadas dos proposiciones, se dice que la primera es

antecedente y la segunda es consecuente, por lo que la segunda esta
condicionada a la primera, se usa la palabra “si…entonces”. Se denota por
el símbolo (→)

Ejemplo: Sean las siguientes proposiciones

p: El número 3 es positivo
q: El número 3 es un número natural

Proposiciones condicionadas: p→q

p→q: Si el número 3 es positivo entonces el número 3 es un número natural.

• Bicondicional: Dadas dos proposiciones, se dice que usan el conectivo

bicondicional cuando emplean la expresión “si y solo si”. En realidad la
conectiva bicondicional es la conjunción (y) de dos proposiciones
condicionales (si…entonces). Se denota por (↔)

Ejemplo: Sean las siguientes proposiciones

p: La suma de 5 y −3 es 2
q: La suma de 5 y −3 es un número entero

Proposiciones bicondicionadas: p↔q

p↔q: Si la suma de 5 y −3 es 2 solo si la suma de 5 y −3 es un número entero

Conversión de expresiones usando conectivos lógicos

Ejemplo: Dadas las siguientes proposiciones

p: La carrera de ingeniería en Informática se dicta en UPTTMBI
q: Los que estudian ingeniería en Informática viven en Trujillo
r: Los estudiantes que viven en Trujillo estudian en la UPTTMBI

Representarlas usando las siguientes expresiones

a) (pq)→r
 b) q→ r
c) (q↔r)  p
d) (pq)

Solución:
a) Si la carrera de ingeniería en Informática se dicta en UPTTMBI y los que
estudian ingeniería en Informática viven en Trujillo entonces los
estudiantes que viven en Trujillo estudian en la UPTTMBI
b) Si no es cierto que los que estudian ingeniería en Informática viven en
Trujillo entonces los estudiantes que viven en Trujillo no estudian en la
UPTTMBI.
c) Si los que estudian ingeniería en Informática viven en Trujillo solo si los
estudiantes que viven en Trujillo estudian en la UPTTMBI o la carrera de
ingeniería en Informática no se dicta en UPTTMBI.
d) No ocurre que la carrera de ingeniería en Informática se dicta en
UPTTMBI y que los que estudian ingeniería en Informática no viven en
Trujillo.

Actividad

1. En la siguiente tabla identificar con p(las proposiciones) y no p (no es

proposición)
a) El coronavirus no es una enfermedad mortal
b) Las vacunas controlan los contagios
c) ¿Por qué Informática es la mejor carrera?
d) Los ingenieros informáticos diseñan algoritmos
e) Que mala suerte la mia
f) A veces pienso en estudiar
g) 5 es un factor de 30
h) La suma de 1 + 1 no es 3
i) El 2 es un número par
j) ¿Puede un niño de dos años aprender a sumar?

2. Plantear 10 oraciones relacionadas con la ingeniería informática que sean

proposiciones simples y 10 oraciones que no son proposiciones simples.

3. Expresar las siguientes proposiciones compuestas en forma simbólica

a) Si el coronavirus es una enfermedad contagiosa entonces el coronavirus
afecta a varias personas a la vez
b) El distanciamiento social controla los contagios y el distanciamiento social
no evita las muertes
c) No es cierto que los que estudian en Trujillo son universitarios o los que
estudian en Trujillo son mayores de edad.
d) Si 2 es un número positivo solo si 2 es un número natural
 e) 3 es un número impar o 3 es un número negativo
f) Si 7 es un divisor de 21 entonces 7 es un divisor de 63
g) No ocurre que 36 es múltiplo de 2 y 35 no es multiplo de 2
h) Si 5 es un número impar y 5 es divisor de 30 entonces 30 tiene divisores
impares
i) No ocurre que el producto de 2 por 9 no es 18 o 2 por 9 es 17
j) Si 3 no es divisor de 12 entonces 3 no es divisor de 24

4. Plantear 6 oraciones compuestas y convertirlas en símbolos.

5. Dadas las proposiciones p:“5 es un número positivo” y q:“5 es un número

natural”, convertirlas a partir de la siguiente notación y aplicar la tabla
de la verdad
a) 𝑝 ∨ 𝑞 b) ∼ 𝑝 ∧ 𝑞 c) 𝑝 → ~𝑞
d) ~𝑝 ↔ ~𝑞 e) (𝑝 ∨ ~𝑞) f) ~𝑝 ↔ 𝑞

6. Dadas las proposiciones p:“√−1 es un número real” y q:“√−1 es un número

irracional”, convertirlas a partir de la siguiente notación y aplicar la tabla
de la verdad
a) ~𝑝 ∨ ~𝑞 b) (𝑝 → ~𝑞) c) ~𝑝 ↔ 𝑞
d) ~𝑝 ∧ 𝑞 e) 𝑝 ∨ 𝑞 f) (~𝑝 ∧∼ 𝑞)

7. Dadas las proposiciones r:“3 es mayor que 5” y s:“3 es menor que 5”,
convertirlas a partir de la siguiente notación y aplicar la tabla de la verdad
a) 𝑝 ∨∼ 𝑞 b) 𝑝 ∧ 𝑞 c) ∼ 𝑝 → 𝑞
d) ~𝑝 ↔ ~𝑞 e) ∼ 𝑝 ∨ ~𝑞 f) 𝑝 ↔∼ 𝑞

Condiciones de entrega: Individual, en caso de hacerlo a mano que sea con

lapicero o lapiz oscuro, para que al momento de tomar la imagen se pueda leer.
Fecha de entrega 18/04/2021