Tablas de verdad. Expresión simbólica ley de inferencia
Enviado por yeison2003 • 15 de Mayo de 2021 • Resumen • 422 Palabras (2 Páginas) • 119 Visitas
Expresión simbólica ley de inferencia
p→q [pic 1] |
q→r silogismo hipotético [pic 2] |
p→r[pic 3] |
a |
b conjunción [pic 4] |
a^b[pic 5] |
m→n |
¬n modus tollens [pic 6] |
¬m[pic 7] |
Proposiciones simples
p: Yeison hace parte de la escuela ECBTI de la UNAD
q: Yeison asiste a los talleres de Pensamiento Lógico y Matemático
r: Yeison sacara buenas notas
lenguaje natural
p→q |
q→r |
p→r[pic 8] |
Si Yeison hace parte de la escuela ECBTI de la UNAD entonces Yeison asiste a los talleres de Pensamiento Lógico y Matemático. Si Yeison asiste a dichos talleres entonces sacara buenas notas. Por lo tanto, si Yeison hace parte de la escuela ECBTI entonces sacara buenas notas.
a: Yeison hace parte de la escuela ECBTI de la UNAD
b: Yeison asiste a los talleres de Pensamiento Lógico y Matemático
a |
b |
a^b[pic 9] |
Yeison hace parte de la escuela ECBTI de la UNAD. Yeison asiste a los talleres de Pensamiento Lógico y Matemático. Por lo tanto, Yeison hace parte de la escuela ECBTI y asiste a los talleres de Pensamiento Lógico y Matemático.
m: Yeison asiste a los talleres de Pensamiento Lógico y Matemático
n: Yeison sacara buenas notas
m→n |
¬n |
¬m[pic 10] |
Si Yeison asiste a los talleres de Pensamiento Lógico y Matemático entonces sacar buenas notas. Yeison no sacara buenas notas. En conclusión, no asiste a los talleres de Pensamiento Lógico y Matemático
...