Defina Lógica Proposicional y Evaluación de Fórmulas Por la Tabla de Valores. Desarrolle Un Ejemplo de Tautología, Contradicción y de Contingencia.
Respuestas a la pregunta
La lógica proposicional es un sistema formal cuyos elementos representan proposiciones, estas poseen constantes lógicas o también llamadas conectivas lógicas; lo que quiere decir que representan operaciones sobre las proposiciones ya descritas, que juntas o combinadas pueden formar proposiciones más grandes o complejas.
Cada una de las proposiciones simbolizará una letra comenzando por la P en el alfabeto, los conectores lógicos que se utilizaran para unirlas tienen su propia simbología
La evaluación mediante la tabla de la verdad se utilizara con las leyes notables de la lógica, como por ejemplo: Ley de doble negación, Leyes de idempotencia, Leyes asociativas, Leyes conmutativas, Leyes distributivas y las Leyes de De Morgan.
En este caso la tautología representara una proposición que dará como resultado siempre verdadera, la contradicción siempre será falsa y la contingencia tendrá al menos un valor verdadero y un valor falso.
Te anexo en una imagen los ejemplos de cada una de ellas.
¡Espero haberte ayudado!
