Escuela Politécnica Nacional

Departamento de Formación Básica

Curso de Fundamentos de Matemática
Ejercicios resueltos y propuestos de Lógica matemática
Cátedra de Fundamentos de Matemática

Nombre: Ariel Alejandro Ñacato Pillajo Curso: GR02 Fecha: 19/05/2023

1 Ejercicios Propuestos
1. Según la sintaxis de la lógica, indique si

(¬ (A ⇔B) ∨¬ (C ∧ A )) ⇒B.

A, B y C si representan proposiciones por que la regla 1, las letras mayúsculas del alfabeto
representan proposiciones.

Luego la regla 3.2 el signo (¬A ⇔ B) también representa una proposición. En consecuencia,
por la regla 3.2 el signo ¬ (C ∧ A)) también representa una proposición. En consecuencia, por la
regla 3.2 el signo ¬ (C ∧ A)) también representa una proposición. Finalmente, (¬ (A ⇔ B) ∨ ¬ (C
∧ A)) ⇒ B es una proposición por la regla 3 que nos indica que las conectivas conjunción,
disyunción, implicación y doble implicación se escriben entre proposiciones. Y, por
consiguiente, es una proposición por la regla 5 ya que se utilizan los paréntesis para
evitar ambigüedades.

2. ¿Representa la expresión
(A ∧ (C ⇒D) ∨B) ⇒¬A
una proposición?

No es una proposición

3. Identifique las proposiciones mediante las cuales se expresa la proposición

Si t es un número primo, t es igual a 2 o es impar.

La proposición esta expresada mediante las proposiciones:

A) t es un número primo.

B) t es igual a 2 o es impar. Y las palabras “si”, “o” y la coma: Si t es un numero primo, t es

igual a 2 o es impar.

En la teoría de la lógica, podemos expresar simbólicamente la proposición de la siguiente manera:

Si P representa la proposición: T es un número primo. Q representa: t es igual a 2 o es impar. Las
palabras “si” “o” y la coma se representan bajo la conectiva “∨” y “⇒” entonces la proposición: Si t
es un numero primo, t es igual a 2 o es impar se representa mediante A, B y “v” así: (A v B) ⇒ A.

4. Muestre que la siguiente proposición se puede expresar mediante otras proposiciones en la

Lógica de proposiciones. Represente simbólicamente esta proposición bajo las reglas de sintaxis
de la Lógica:
 Si un número real es mayor que cero, entonces su inverso aditivo es menor que cero y su
cuadrado es mayor que cero.

En todo triangulo rectángulo, el cuadrado de la longitud de la hipotenusa es igual a la suma de los

cuadrados de las longitudes de los catetos.

Según el análisis, la proposición dicha en el enunciado es verdadera ya que nos está afirmando
que el cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos. La proposición
esta expresada mediante las proposiciones:

En todo triángulo rectángulo

A) Si P representa la proposición: El cuadrado de la longitud de la hipotenusa. Es igual a:

B) Q representa la proposición: la suma de los cuadrados de las longitudes de los catetos. Y
expresada de forma simbólica podemos obtener el siguiente resultado:
A⇒B

5. Represente simbólicamente en la Lógica de proposiciones la proposición

Si a es un número real distinto de 0, a es positivo o −a es positivo.

6. Represente simbólicamente en la Lógica de proposiciones la proposición

El producto de los números reales a y b es distinto de 0 si y solo si a y b son diferentes de

0

Si P representa la proposición: el producto de dos números reales a y b es distinto de cero,

si y solo si Q representa la proposición: a y b son diferentes de cero. Simbólicamente está
representado de la siguiente forma:

7. Represente simbólicamente la proposición

1 1
Si a 6= 0, b 6= 0 y a = b, entonces =
a b
mediante las proposiciones simples a través de las que se expresa.

Si P representa la proposición: a 6 = 0.

Q representa la proposición: b 6 = 0.

R representa la proposición: a = b.

S representa la proposición: 1/a = 1 /b

Simbólicamente estaría representado de la siguiente forma:

8. Si

A : “La suma de 3 y 5 es igual a 5”,

B: “0 es impar” y
C : “el conjunto vacío tiene elementos”, escriba (no en el lenguaje de la

lógica) y determine el valor de verdad de:

(a) ¬C = f

EPN -FM- 2023-A Lógica matemática-Ejercicios 2

 (b) ¬A ∧¬B = f
(c) ¬(A ∨B) = f
(d) C ⇒B = v
(e) ¬B⇒¬C = v

9. Si A es falsa, determine el valor de verdad de

A ∧B.

Si es A falsa por lo tanto B es verdadera para lo que el valor de verdad entre A conjunción B es
Falso.

10. Si A es verdadera, ¿las proposiciones

A ∧B y B

tienen el mismo valor de verdad?

Si A es verdadera por lo tanto B también es verdadero, el valor de verdad entre A conjunción B y B

nos dan el mismo valor de verdad.

11. Si A es falsa, ¿las proposiciones

A∨ByB
tienen el mismo valor de verdad?

Si A es falso por lo tanto B es verdadera y el valor de verdad de A disyunción B y B si nos da el

mismo valor de verdad.

12. Si A es falsa, determine el valor de verdad de

A ⇒B.

Si A es falso por lo tanto B es verdadero y el valor de verdad del condiloma de y B nos da como
resultado en una verdad.

13. Analice el valor de verdad de

sabiendo que A es v y B es f.

14. Demostrar que la siguiente proposición es una tautología

(A ⇒ (B⇒C)) ⇒ ((A ⇒B) ⇒ (A ⇒C)).

Si se puede expresar en una tautología puesto que los valores de verdad de

esta proposición se pueden expresar en más formas.

15. ¿Cuál es la forma de la tautología Modus Tollens:

((A ⇒B) ∧¬B) ⇒¬A?

No es una tautología modus Tollens porque A siendo antecedente y N el consecuente, al hacer la

conjunción estos dejan de estar en sus proposiciones correctas es decir deja de estar de consecuente B
EPN -FM- 2023-A Lógica matemática-Ejercicios 3
y de antecedente A.

16. ¿Cuál es la forma de la tautología Negación de la implicación:

¬ (A ⇒B) ⇔ (A ∧¬B)?

La negación de la implicación de dos proposiciones y la conjunción del antecedente y la negación del

consecuente.

17. Complete la siguiente tabla de verdad:

P B B⇒P ¬(B⇒P) P∨B ¬(B⇒P) ⇔ (P∨B)
F v V v v V
V f v f v f
v v v f v f
F f v f f v
y justifique cada uno de los valores de verdad que ubique en la tabla.

- En el primero es verdadero ya que la implicación de P que es falso y

de B que es verdadero nos da como resultado Verdadero
- La segunda es falsa por que la negación de la implicación de la verdad
nos da una falsedad
- La tercera es verdad por que la disyunción de P que es verdadera y B
que también es verdadera nos da como resultado una verdad
- La cuarta, la fila 2 es falsa ya que la negación de la implicación de B y
P del Bicondicional de la disyunción de P y B nos da como resultado
una falsedad.
- La cuarta, la fila 3 es falsa ya que la negación de la implicación de B y
P del Bicondicional de la disyunción de P y B nos da como resultado
una falsedad

18. Identifique los errores en la siguiente tabla de verdad

P B ¬B B∧P P⇒¬B (P⇒¬B) ∧ (B∧P)
v f v f v f
v v f f f f
f v v v f F
f f v f v V

19. Si P es f y T es v,

a) ¿cuál es el valor de verdad de ¬P∨T?

Puesto que P es falso, por el axioma de la negación, ¬P es verdadera; y por lo tanto el valor de verdad
de la disyunción de la negación de P y T es verdadero.
b) ¿cuál es el valor de verdad de ¬T ∨P?
Como el valor de verdad de V es verdadera; sabemos que por el axioma de la negación ¬V es falsa,
por lo tanto, el valor de verdad de la disyunción de ¬V y P es falso porque el valor de verdad de las
dos proposiciones es falso.
c) ¿cuál es el valor de verdad de (P∧T) ∨¬T?
Sabiendo que el valor de verdad de P es verdadero independientemente del valor de verdad de T;

EPN -FM- 2023-A Lógica matemática-Ejercicios 4

por lo tanto, el valor de verdad de la conjunción de P y T es falso; si V es verdadera, sabemos que por
el axioma de negación T es falsa; por lo tanto, el valor de verdad de la disyunción de la conjunción de
P y T; y la negación de T es falsa.
20. Si P, T y R son proposiciones, determine el valor de verdad de la proposición

P⇒ (T ∨¬R)

sí R es falsa.

Puesto que R es falsa, por el axioma de la negación, R es verdadera. Luego por el axioma de la
disyunción R es verdadero independientemente del valor de verdad de T. Y por el axioma de la
implicación P ⇒ (T ∨ ¬R) es verdadero.

21. Sean A , B, C y D son proposiciones. Si el valor de verdad de la proposición

(B⇔C) ∨D

es falso y el valor de verdad de la proposición

¬A ⇒ (B⇔C)

es verdadero. Determine el valor de verdad de la proposición

(¬D⇔A) ∧¬(B⇔C ).

Justifique su respuesta.

Es una tautología

22. Si el valor de verdad de la proposición A ⇒ (B∨C) es falso, determine el valor de verdad de la

siguiente proposición

(¬A ⇔B),

Justifique su respuesta con los axiomas de valor de verdad. No utilice tablas de verdad.

23. Si el valor de verdad de la proposición

(R⇔T) S⇒ ,

es verdadero, determine el valor de verdad de las proposiciones R, S y T.

R= es falso

S= es verdadero

T= es falso

24. Si se indica que la proposición

(A ⇒B) ⇒¬A

es falsa, ¿cuál sería el inconveniente con esta afirmación?

EPN -FM- 2023-A Lógica matemática-Ejercicios 5

 El inconveniente será que el resultado nos es falso.

25. Si
(R⇒T) ≡¬ (R∧¬T),
seleccione la o las afirmaciones correctas. Justifique.

(a) La proposición (R⇒T) ≡¬(R∧¬T ) es verdadera.

(b) La proposición (R⇒T) ≡¬ (R∧¬T) es falsa.
(c) Las proposiciones (R⇒T) y ¬ (R∧¬T) son iguales.
(d) (R⇒T) ≡¬(R∧¬T ), representa una relación, no una proposición
Si la proposición R⇒T es falsa, también la proposición ¬(R∧¬T ) es falsa.

EPN -FM- 2023-A Lógica matemática-Ejercicios 6

Resolución de ejercicios

EPN -FM- 2023-A Lógica matemática-Ejercicios 7

EPN -FM- 2023-A Lógica matemática-Ejercicios 8
Esta obra est´a bajo una licencia
Creative Commons “Atribuci´on-NoComercial-CompartirIgual 3.0 No
portada”.

EPN -FM- 2023-A Lógica matemática-Ejercicios 9