TERCER EJERCICIO

(𝑝 ↔ ¬𝑞) ∨ (𝑞 ∧ 𝑟 )

A partir de la proposición compuesta en lenguaje simbólico que haya

seleccionado deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla

bajo una descripción basada en un contexto, el que se solicita es
un contexto académico, ejemplo:

p: Oscar estudia pensamiento lógico matemático.

q: Entrega tarde los trabajos.

R: Reprueba pensamiento lógico matemático.

 Remplazar las variables expresadas simbólicamente y

llevarlas al lenguaje natural.

Oscar estudia pensamiento lógico matemático si solo si no

entrega tarde los trabajos o, entrega tarde los trabajos y
reprueba pensamiento lógico matemático.

 Generar una tabla de verdad con el simulador Lógica

UNAD a partir del lenguaje simbólico
 Generar una tabla de verdad manualmente a partir del
lenguaje simbólico (En Word, Excel o foto del desarrollo
manual).
1. Se revisa el número de proposiciones simples.
P,Q,R. Por lo tanto 23 = 8; se debe tener 8 filas.
2. Se deben tener en cuenta las tablas de Bicondicionalidad,
Negación, Conjunción y disyunción.

3. Se debe recordar la ramificación utilizada y proceder a realizar

la tabla de la verdad.

P Q R ¬Q (P↔¬Q) (Q∧R) (p↔¬q)∨(q∧r )

V V V F F V V

V V F F F F F

V F V V V F V

V F F V V F V

F V V F V V V

F V F F V F V

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

 Definir si el argumento seleccionado inicialmente es una

tautología, contradicción o contingencia.

Es CONTIGENCIA ya que tiene resultados verdaderos y falsos.