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
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
prinyami
Si esta bien como lo maguenas
1 votes
Thanks 0
pemurillo57
necesito solución a esos puntos. A que te refieres con tu respuesta? Que clase de respuesta es ?
More Questions From This User See All