Evaluación de formulas lógicas
¿Qué es? La evaluación de una fórmula proposicional comienza con la asignación de un valor de verdad a cada variable. Debido a que cada variable representa una oración simple, los valores de verdad se están aplicando a la "verdad" o "falsedad" de estas oraciones simples. Ejemplo: Tipos: Tautología : Expresión lógica que es verdadera para todos los posibles valores de verdad Contradicción: Son aquellas fórmulas que son falsas para cualquier valoración de los símbolos proposicionales que contiene. resultada falso Contingencia: Son aquellas fórmulas cuyo valor de verdadero falsedad depende de la valoración de los símbolos. resultado verdadero y falso


Comentarios
Publicar un comentario