Ejercicio 3- problemas de aplicación.

B. Expresión simbólica: [(𝑝 ∧ ¬𝑞) ∧ (𝑝 → ¬𝑟) ∧ (𝑞 ∨ ¬𝑠)] ⟶ (¬𝑟 ∧ ¬𝑠)

Premisas: P1: 𝑝 ∧ ¬𝑞 P2: 𝑝 → ¬𝑟 P3: 𝑞 ∨ ¬𝑠
Conclusión: ¬𝑟 ∧ ¬ 𝑠

Definir las proposiciones simples

p: Karen pertenece al CEAD IBAGUE

q: La UNAD instruye Morfofisiologia.

r: Karen participa en los foros virtuales.

Remplazar las variables simbólicas y llevarlas a l lenguaje natural.

Karen pertenece al CEAD IBAGUE, y la Universidad Nacional Abierta y a Distancia no

instruye Morfofisiologia, o si la universidad si esta el programa de Morfofisiologia el
estudiante Karen no participa en los foros virtuales, y si el estudiante Karen participa en los
foros virtuales entonces no es estudiante en la UNAD.
Tabla de Verdad Simulador lógica UNAD

Expresión simbólica: [(𝑝 ∧ ¬𝑞) ∧ (𝑝 → ¬𝑟) ∧ (𝑞 ∨ ¬𝑠)] ⟶ (¬𝑟 ∧ ¬𝑠)

 Tabla manual a partir del lenguaje simbólico

p q r s ¬q ¬r ¬s p∧¬ q p → ¬ (p∧¬ q)∧ qv¬s ((p∧¬ q ¿ ∧(p → ¬ ¿r∧¬s) ((p∧¬ q ¿ ∧(p

(p → ¬ r) r)∧ qv¬s)) → ¬r)qv¬s))
r
→ ¿r∧¬s)

V V v V F F F F F F V F F F

V V V F F F V F F F V F F F

V V F V F V F F V F V F F F

V V F F F V V F V F V F V F

V F V V V F F V F F F F F V

V F V F V F V V F F V F F V

V F F V V V F V V V F F F V

V F F F V V V V V V V V V V

F V V V F F F F V F V F F F

F V V F F F V F V F V F F F

F V F V F V F F V F V F F F

F V F F F V V F V F V F F F

F F V V V F F F V F F F F F

F F V F V F V F V F V F F F

F F F V V V F F V F F F F F

F F F F V V V F V F V F F F

Resultado de la tabla de verdad:

CONTINGENCIA, ya que varían las proposiciones y el resultado de la tabla de la verdad.

Demostración de la validez mediante leyes de inferencia lógica.

PREMISAS.
 P1: p ∧¬ q
P2: p →¬ r
P3:q ∨ ¬ s

Conclusión: ¬ r ∧¬ s

Validez: (p→q)∧¬r > ¬p∧(q→ r)

Esta regla señala que si la implicación de premisas nos da uno resultado negativo y positivo
a la vez, entonces es contingencia.