Está en la página 1de 3

t) ¿Qué hora es?

(Enunciado abierto) u) Si la sequía persiste no sólo se secarán


los pastos, sino que aumentarán los incendios forestales. (Proposición
compuesta) v) ¡Bravo! ¡Excelente! (Enunciado) w) Las balanzas del mercado
están muy caras. (Proposición simple) x) 4x – 5y = 4(3x + y) – 44 (F-PS o EA)
(Enunciado abierto)

Ahora, representemos simbólicamente las proposiciones compuestas:

Donato sale elegido alcalde, si tiene respaldo popular y obtiene una alta
votación. Representación simbólica: (r ∧ p) → a

Voy a bailar todos los sábados con mis amigos o me siento feliz estando en
casa. Representación simbólica: (b ∨ h)

Obtendré buenas calificaciones en Algebra sí y solo si estudio de manera


sistemática. Representación simbólica: (a ↔ s)

Aplicar mi carrera de manera práctica implica que sí, obtengo buenas


calificaciones en mis prácticas profesionales, entonces me sentiré muy tranquilo.
Representación simbólica: (c → (p → t))

Si no estudio de manera sistemática o voy a bailar todos los sábados, entonces


no obtendré buenas calificaciones en Algebra. Representación simbólica: (¬s ∨
¬b) → ¬a

Ahora, determinemos el valor de verdad de las proposiciones compuestas


utilizando las proposiciones s, t y w:

s: 2 > 4 – 1 (Cierto, ya que 2 > 3) t: 2 = √(√16) (Cierto, ya que 2 = 2) w: (1/3)


3^(-1) = 1 (Cierto, ya que (1/3) * (1/3) = 1/9, que es igual a 1)

Ahora, evaluemos las proposiciones compuestas:

[(s ∧ w)] v t = ~(¬(Cierto ∧ Cierto)) v Cierto = ~(¬Cierto) v Cierto = Cierto v


Cierto = Cierto

(s ↔ t) → ~w = (Cierto ↔ Cierto) → ¬Cierto = Cierto → Falso = Falso

(t ↔ ~w) v (~s → t) = (Cierto ↔ ¬Cierto) v (¬Cierto → Cierto) = Falso v Cierto =


Cierto

Por último, determinemos la tabla de verdad para los esquemas proposicionales


dados:

Esquema 1: [(r → ~q) v (~p ^ ~q)] → r


p q r [(r → ~q) v (~p ^ ~q)] → r

V V V V

V V F F

V F V V

V F F V

F V V V

F V F F

F F V V

F F F V

Esquema 2: (~q → r) v (p ↔ r)
p q r (~q → r) v (p ↔ r)

V V V V

V V F F

V F V V

V F F V

F V V V

F V F V

F F V F

F F F V

También podría gustarte