Logica matematica: tablas de verdad y leyes de inferencia
A través de las dos formas básicas de uso de las Tablas de Verdad y del uso de las Leyes de Inferencia demostrar la validez o no validez del argumento dado
Revisar el planteamiento que hizo el experto Valero Angel Serrano el cual agradezco mucho su ayuda.
Tablas de Verdad y del uso de las Leyes de Inferencia
Este es el enunciado para observar mas fácil.
Los estudiantes que conformaron el CIPAS de Álgebra Trigonometría y Geometría Analítica se han reunido y deben buscar bibliografía del tema de secciones cónicas, de lo cual conversan lo siguiente: “Vamos a consultar la tarea en el edificio de la biblioteca de la UNAD si está caluroso el día. Si no vamos a consultar la tarea en el edificio de la biblioteca de la UNAD, entonces vamos a hacer la consulta por el portal virtual E-Biblioteca. Si vamos a hacer la consulta por el portal virtual E Biblioteca, entonces vamos a descargar el libro en PDF. Por lo tanto vamos a descargar el libro en PDF.
Tuve una corrección en cuanto a las proposiciones simples,
Proposiciones simples corregidas.
p = Está caluroso el día
Q = Vamos a consultar la tarea en el edificio de la biblioteca de la UNAD
R = Vamos a hacer la consulta por el portal virtual E-Biblioteca
s = Vamos a descargar el libro en PDF
Como quedaría resuelto el ejercicio, ¿cómo seria la formula de la tabla de la verdad y como seria la tabla de la verdad? Como estaria explicado las proposiciones en lenguaje
1 respuesta
·
·
¡Hola Jhon!
¿Y por qué tuvieron que corregirte las proposiciones? Las proposiciones están bien como estaban todo son ganas de fastidiar, yo escribí el reparto por orden de aparición de actores, un método tan válido como el que el profesor ha puesto.
Con las modificaciones del profesor (que no correcciones) quedaría así:
p = Está caluroso el día
Q = Vamos a consultar la tarea en el edificio de la biblioteca de la UNAD
R = Vamos a hacer la consulta por el portal virtual E-Biblioteca
s = Vamos a descargar el libro en PDF
Yo las escribí todas en minúscula, ahora los de la página las pondrán como quieran.
Las premisas y la conclusión son:
1) p => q
2) ¬q => r
3) r =>s
--------
C) s
Y van a cambiar algunas posiciones en la tabla, pero el resultado va a ser el mismo, que el argumento es falso, que no se puede concluir de las premisas.
La proposición que hay que verificar es esta:
[(p => q) ^ (¬q => r) ^ (r => s)] => s
Y esta es la tabla de la verdad:
Y eso es todo, sa lu dos.
:
:
Hola,
Me puedes ayudar con este ejercio por favor. Formas básicas de las Tablas de Verdad y del uso de las Leyes de Inferencia
No se si deba cambiar algo en la tabla de verdad, premisas etc?
Quedo a tú respuesta.
