aquella en la que ambas fórmulas atómicas son verdaderas. Una tautología es una fórmula que es verdadera para todas las interpretaciones posibles de las fórmulas atómicas.
Contradiccion.
contradicción se define como una fórmula que resulta falsa para cualquier interpretación, es decir para cualquier asignación de valores de verdad que se haga a sus fórmulas .
Contingencia.
aquella proposición que puede ser verdadera o falsa, según los valores de las proposiciones que la integran. ... Donde podemos comprobar cuándo y por qué la proposición es V yF.
Formalizacion.
Las tablas de verdad son uno de los métodos sencillos y conocidos de la lógica matemática, pero también uno de los más poderosos y claros. Entender bien las tablas de verdad es, en gran medida, entender bien a la lógica formal misma.
No hay comentarios.:
Publicar un comentario