No se ha añadido ninguna twiki todavía.

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 ↓

[math][(p \rightarrow{q})\wedge p]\rightarrow{q}[/math]

es una fórmula universalmente válida:

E1630-1.gif

mientras que «ser o no ser» es un enunciado tautológico, o una tautología.

Recurso:Ejemplo de fórmula universalmente válida para toda asignación

contradictoria, si es falsa para toda asignación


ver ejemplo ↓

[math][(p \wedge q) \wedge (¬p \wedge ¬q)][/math]

es una fórmula contradictoria

E5010-1.gif

(ver ejemplo)

y consistente, si es verdadera al menos para una asignación.


ver ejemplo ↓
[math][(p \wedge q) \vee (¬p\wedge q)][/math]
es una fórmula consistente
E5010-2.png

(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 ↓
[math](¬p \wedge ¬q)[/math] y [math]¬(p \vee q)[/math]


son fórmulas equivalentes:


E5010-3.gif

(ver ejemplo).