Tercer Ejercicio.docx

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.