Question

Por favor me urge!!!

Ejercicio 2

C. Expresión simbólica: [(p → q)⋀(p ∨ q)⋀(¬q)] → (q)
Premisas:

P1: p → q
P2: p ∨ q
P3: ¬q

Conclusión: q

De acuerdo a lo anterior, desarrollar:


- Definir las proposiciones simples, Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

- Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico

- Generar una tabla de verdad manualmente a partir del lenguaje simbólico

- Demostración de la validez del argumento mediante las leyes de la inferencia lógica

Answer 1

si esta bien como lo maguenas