Facultad de Ciencias Naturales y Matemáticas
Curso de Nivelación Mayo 2025
Materia: Matemáticas
Área: Ingeniería y Educación Comercial
Fecha: 06/05/2025
GUÍA DE PROBLEMAS 2
Capítulo Secciones
1.2. Operadores lógicos (Condicional, variantes de la condicional,
1. Lógica Matemática. condiciones necesarias y suficientes, bicondicional).
1.3. Clases de proposiciones.
1. LÓGICA MATEMÁTICA.
1.2. Operadores lógicos (Condicional, variantes de la condicional, condiciones necesarias
y suficientes, bicondicional).
Ejercicio 1. Considerando que p y q son proposiciones. Determine el valor de verdad de:
i) [¬ (p → q) ∨ ¬q] ⊻ (q ↔ ¬p)
ii) ¬q → [(¬p ↔ q) ∧ ¬ (p → ¬q)]
para cada uno de los siguientes casos:
a) todas las proposiciones son verdaderas
b) todas las proposiciones son falsas
c) p es una proposición verdadera y q es una proposición falsa
d) p es una proposición falsa y q es una proposición verdadera
Ejercicio 2. Suponga que la proposición compuesta: “Los panes se quemaron debido a que la
temperatura era muy elevada” es VERDADERA, entonces:
a) Realice un parafraseo en términos de condición suficiente.
b) Realice un parafraseo en términos de condición necesaria.
c) Escriba en el lenguaje común una recíproca de la proposición.
d) Escriba en el lenguaje común una inversa de la proposición.
Pag. 1 de 3
Ejercicio 3. La inversa de un enunciado hipotético es:
“Tengo dinero solo si como pizza.”
Determine el antecedente y el consecuente de la inversa, y exprese:
a) la recíproca del enunciado hipotético, en la forma “ es necesario para que ”
considerando que la reciproca es verdadera.
b) La contrarrecíproca del enunciado hipotético en la forma “¨Para que ,es suficiente que
”, considerando que la contrarrecíproca es verdadera.
Ejercicio 4. Dada la contrarrecíproca de un enunciado hipotético:
“Pienso luego existo.”
Determine el antecedente y el consecuente de esa contrarrecíproca, y exprese:
a) La recíproca del condicional en la forma “Es suficiente que , para que ”, to-
mando en cuenta que la recíproca es verdadera.
b) La inversa del condicional en la forma “ puesto que ”.
Ejercicio 5. Dadas las proposiciones VERDADERAS:
a : Amira juega.
b : Ricardo duerme.
c : Jorge come.
d : Gabriela escucha música.
Traduzca los siguientes enunciados del lenguaje natural al lenguaje formal:
a) Cuando Jorge come, Amira juega.
b) Gabriela no escucha música cada vez que Ricardo duerme.
c) Gabriela escucha música solo si Amira juega.
d) Ni Ricardo duerme ni Jorge come.
e) No es verdad que, si Amira juega Jorge no come.
f) Que Gabriela escuche música es suficiente para que Ricardo duerma.
g) Es necesario que Jorge coma para que Gabriela escuche música.
h) Amira juega y Ricardo duerme cuando Jorge come.
i) Cada vez que Gabriela escucha música, o Ricardo duerme o Amira no juega.
j) Cada vez que Gabriela escucha música o Ricardo duerme, Amira no juega.
Guía de Problemas 2 Pag. 2 de 3
1.3. Clases de proposiciones.
Ejercicio 6. Dadas las siguientes proposiciones:
a: La negación cambia el valor de verdad de toda proposición.
b: La conjunción de dos proposiciones es falsa solo cuando ambas proposiciones son falsas.
c: Cuando los valores de verdad de dos proposiciones son iguales, el bicondicional entre ambas
proposiciones es verdadero.
Determine el valor de verdad de la siguiente proposición:
[(¬a ↔ b) ⊻ ¬ (c → ¬b)] → (¬a ∨ b)
Ejercicio 7. Determine el valor de verdad que deben tener cada una de las proposiciones simples,
si se sabe que la proposición compuesta ¬ [(a → ¬c) ∧ ¬b] ∨ (c ↔ b) es FALSA.
Ejercicio 8. Determine el valor de verdad que deben tener cada una de las proposiciones sim-
ples, si se sabe que la proposición compuesta {[(¬b ↔ c) ∧ a] ↔ [1 ∨ (a → ¬c)]} ∧ [(¬b → d) ↔ 0] es
VERDADERA.
Ejercicio 9. Si la proposición compuesta {[(c ↔ ¬b) ∧ (a ∧ d) ∧ (a → ¬c)] ↔ [1 ∨ (a → ¬c)]} es
VERDADERA, determine el valor de verdad de las siguientes proposiciones compuestas:
a) d → (b ∨ ¬c)
b) ¬c → ¬ (b ∨ ¬a)
c) {[(c ↔ ¬b) ∧ (a ∧ d) ∧ (a → ¬c)] ↔ [1 ∨ (a → ¬c)]}
Ejercicio 10. Sean a, b, c, proposiciones, determine el o los operadores lógicos que pueden reemplazar
al símbolo ⊗, tal que la proposición dada a continuación sea siempre VERDADERA:
(a ∨ b) ⊗ (¬a → b)
Guía de Problemas 2 Pag. 3 de 3