Matemáticas/Lógica/Expresión Lógica

Expresión lógica

Definición 1 --Una expresión lógica es una tautología si es verdad para todas las asignaciones posibles.

Definición 2--Una expresión lógica es una contradicción si es falsa para todas las asignaciones posibles.

Definición 3--Una expresión lógica que no sea ni una tautología ni una contradicción se denomina contingencia (casualidad/eventualidad).