Docsity
Docsity

Prepara tus exámenes
Prepara tus exámenes

Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity


Consigue puntos base para descargar
Consigue puntos base para descargar

Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium


Orientación Universidad
Orientación Universidad


Ejercicio resuelto de proposiciones, Ejercicios de Matemáticas

Curso Matemáticas: Ejercicios resueltos de proposiciones.

Tipo: Ejercicios

2025/2026

Subido el 15/06/2026

elder-valverde-calipuy
elder-valverde-calipuy 🇦🇷

1 documento

1 / 5

Toggle sidebar

Esta página no es visible en la vista previa

¡No te pierdas las partes importantes!

bg1
1. Determinar los valores de verdad de las siguientes proposiciones:
a) (2 + 5 = 6) (5 − 3 = 4)
2+5=7 ≠6 → F
5−3=2 ≠4 → F
F F = F
b) (5 − 3 = 8) → (2 − 7 = 6)
5−3=2 ≠8 → F
2−7=−5 ≠6 → F
F → F = V
c) (3 + 8 = 11) (7 − 3 > 2)
3+8=11 → V
7−3=4 >2 → V
V V = V
d) (8 + 3 = 12) ↔ (4 − 3 = 5)
8+3=11 ≠12 → F
4−3=1 ≠5 → F
F ↔ F = V
2. Suponga que x es un número real dado, y suponga que p, q y r, simbolizan 0< x,
x < 3 y x = 3, respectivamente. Escribir simbólicamente las siguientes
desigualdades:
a) x ≤ 3 b) 0 < x < 3 c) 0 < x ≤ 3
a) x ≤ 3
La desigualdad significa que puede ser estrictamente menor que 3 o exactamente
igual a 3. En términos lógicos, esto representa una disyunción (V):
x < 3 es la proposición q
x = 3 es la proposición r
Por lo tanto: x ≤ 3 es q V r
b) 0 < x < 3
pf3
pf4
pf5

Vista previa parcial del texto

¡Descarga Ejercicio resuelto de proposiciones y más Ejercicios en PDF de Matemáticas solo en Docsity!

  1. Determinar los valores de verdad de las siguientes proposiciones: a) (2 + 5 = 6) ∨ (5 − 3 = 4) 2+5=7 ≠6 → F 5−3=2 ≠4 → F F ∨ F = F b) (5 − 3 = 8) → (2 − 7 = 6) 5−3=2 ≠8 → F 2−7=−5 ≠6 → F F → F = V c) (3 + 8 = 11) ∧ (7 − 3 > 2) 3+8=11 → V 7−3=4 >2 → V V ∧ V = V d) (8 + 3 = 12) ↔ (4 − 3 = 5) 8+3=11 ≠12 → F 4−3=1 ≠5 → F F ↔ F = V
  2. Suponga que x es un número real dado, y suponga que p, q y r, simbolizan 0< x, x < 3 y x = 3, respectivamente. Escribir simbólicamente las siguientes desigualdades: a) x ≤ 3 b) 0 < x < 3 c) 0 < x ≤ 3 a) x ≤ 3 La desigualdad significa que puede ser estrictamente menor que 3 o exactamente igual a 3. En términos lógicos, esto representa una disyunción (V): x < 3 es la proposición q x = 3 es la proposición r Por lo tanto: x ≤ 3 es q V r b) 0 < x < 3

La expresión 0 < x < 3 es una desigualdad compuesta que indica que se deben cumplir dos condiciones simultáneamente: que sea mayor que 0 y que sea menor que 3. Esto representa una conjunción ( ∧ ): 0 < x es la proposición p X < 3 es la proposición q Por lo tanto: 0 < x < 3 es p ∧ q c) 0 < x ≤ 3 La expresión combina los dos análisis anteriores. Requiere que x sea mayor que 0 y a la vez que cumpla la condición de ser menor o igual a 3. Lado izquierdo 0 < 3 es p Lado derecho x ≤ 3 es q V r Por lo tanto: 0 < x ≤ 3 es p ∧ (q V r)

  1. del Item anterior, cuales son tautologías y cuales son contradicciones. Ítem Resultado Tipo a) V, F, F, F Contingencia b) F, F, F, F Contradicción c) V, V, F, F Contingencia d) Todos V Tautología e) Mezcla Contingencia f) Todos F Contradicción g) Mezcla Contingencia h) Todos V Tautología i) Todos V Tautología j) Mezcla Contingencia
  1. Utilice las tablas de verdad para comprobar las siguientes equivalencias lógicas: a) p → q ≡ ¬p ∨ q b) ¬(p → q) ≡ p ∧ ¬q a) p → q ≡ ¬p ∨ q p q p→q ¬p ¬pq V V V F V V F F F F F V V V V F F V V V Las columnas p→q y ¬p ∨ q son iguales. Conclusión: p→q≡¬p∨q b) ¬(p → q) ≡ p ∧ ¬q p q p→q ¬(p→q) ¬q (^) p¬q V V V F F F V F F V V V F V V F F F F F V F V F Las columnas ¬(p→q) y p ∧ ¬q son iguales. Conclusión: ¬(p→q)≡p∧¬q
  2. Demuestra con tablas de verdad que lo siguientes enunciados son logicamente equivalentes: a) p → (q ∨ r) b) p ∧¬q → r c) p ∧ ¬r → q

p q r qr a) p→(qr) ¬q p¬q b) (p¬q)→r ¬r p¬r c) (p¬r)→q V V V V V F F V F F V V V F V V F F V V V V V F V V V V V V F F V V F F F F V V F V V F F V V V V F F V F F V F V F V V F F V V F V F F V V V V F V F F V F F F F V V F V V F V Columnas: a) p→(q∨r): V, V, V, F, V, V, V, V b) (p∧¬q)→r: V, V, V, F, V, V, V, V c) (p∧¬r)→q: V, V, V, F, V, V, V, V Son exactamente iguales