Ejercicio 3:

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento)

para el desarrollo del ejercicio 3:

( p ∧q ) → ( r ∨ ¬q )

p : Laura estudia para parcial de calculo

q : Laura se aprendio las formulas .

r : Laura reprobo el parcial

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de
encontrar proposiciones iguales entre estudiantes se considerará como copia y se
tomarán las medidas correctivas estipuladas por la UNAD.

Laura estudia para parcial de cálculo y se aprendió las formulas. Entonces Laura reprobó el
parcial o Laura no se aprendió las formulas.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de
acceso al recurso)
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

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

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

 Resultado de la tabla de verdad: CONTINGENCIA