Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
+++ asignación .
Valores que se dan a las letras de enunciado de una fórmula de modo que ésta es universalmente válida si es verdadera para toda asignación (ver ejemplo),contradictoria, si es falsa para toda asignación (ver ejemplo) y consistente, si es verdadera al menos para una asignación (ver ejemplo). Se deduce que toda fórmula válida es, además, consistente, pero no a la inversa. Dos fórmulas son equivalentes, si cobran igual valor para idénticas asignaciones o reciben los mismos valores en una tabla de verdad (ver ejemplo).