Tablas de verdad
La tabla de verdad de una sentencia es una tabla en la que se presentan todas las posibles interpretaciones de las variables proposicionales que constituyen la sentencia y el valor de verdad de la sentencia para cada interpretación.
Semántica
Consiste en cambiar el valor de verdad de una variable proposicional.
La sentencia será verdadera cuando una o ambas variables proposicionales sean verdaderas.
|
p
|
q
|
|
|
V
|
V
|
V
|
|
V
|
F
|
V
|
|
F
|
V
|
V
|
|
F
|
F
|
F
|
La sentencia será verdadera sólo cuando ambas variables proposicionales sean verdaderas.
|
p
|
q
|
|
|
V
|
V
|
V
|
|
V
|
F
|
F
|
|
F
|
V
|
F
|
|
F
|
F
|
F
|
La sentencia será verdadera cuando se cumpla si es válido p entonces lo es q.
|
p
|
q
|
|
|
V
|
V
|
V
|
|
V
|
F
|
F
|
|
F
|
V
|
V
|
|
F
|
F
|
V
|
La sentencia será verdadera cuando ambas variables proposicionales sean iguales.
|
p
|
q
|
|
|
V
|
V
|
V
|
|
V
|
F
|
F
|
|
F
|
V
|
F
|
|
F
|
F
|
V
|
Es una conectiva definida por:
La sentencia será verdadera sólo cuando sólo una de las dos variables proposicionales sea verdadera.
|
p
|
q
|
|
|
V
|
V
|
F
|
|
V
|
F
|
V
|
|
F
|
V
|
V
|
|
F
|
F
|
F
|
Tautologia
Aquella proposicion que en todas las cosas posibles de su tabla de verdad es siempre VERDADERO.
Contradicción
Es una proposición que siempre es falsa. |
