Más allá

Después de asignar un valor de 0 o 1 a cada variable de la proposición, de acuerdo con la definición del conectivo proposicional, se puede obtener el valor de toda la proposición como 0 o 1. Esta es la asignación de la proposición;

Después de asignar un valor a la propuesta, algunas Las asignaciones son asignaciones falsas con un título de tarea de 0 y algunas asignaciones son asignaciones reales con un título de tarea de 1.

No importa cómo se asignen valores a las variables de la proposición, esta fórmula es 1 (verdadera). Esto se llama tautología, también llamada verdad eterna;

No importa cómo sean las variables de la proposición. valores asignados, esta fórmula es 0 (falso), esta fórmula se llama contradicción, también se llama siempre falsa;

Una fórmula con al menos una tarea de asignación de 1 se llama satisfacibilidad. Tenga en cuenta que una tautología es una satisfacibilidad, pero una satisfacibilidad no es necesariamente una tautología.