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

De Wikilibros, la colección de libros de texto de contenido libre.

Expresión lógica[editar]

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).