LÓGICA FORMAL Y

SIMBÓLICA
MATEMÁTICA PARA LA INFORMÁTICA
CARRERA DE SISTEMAS INFORMÁTICOS
PRIMER AÑO
VALOR DE VERDAD DE
FÓRMULAS PROPOSICONALES
El valor de verdad de las fórmulas proposicionales se determina
a través de los valores de verdad de las proposiciones simples
que la componen y de las operaciones proposicionales que se
realicen en la fórmula. Por ejemplo:

Determinar el valor de verdad de la siguiente fórmula, sabiendo

que p es V y q es F
p ˄ (q v ~p)
 NEGACIÓN CONJUNCIÓN DISYUNCIÓN
p q p˄q p q pvq
p ~p
V V V
V V V
V F V F F V F V
F V F F V V
F V
F F F F F F

DOBLE DISYUNCIÓN
IMPLICACIÓN IMPLICACIÓN EXCLUSIVA
p q p→q p q p↔q p q pvq

V V V V V V V V F

V F F V F F V F V

F V V F V F F V V
F F V F F V F F F
VALOR DE VERDAD DE
FÓRMULAS PROPOSICONALES
p ˄ (q v ~p)
1er Paso: ya sabemos que p es V y q es F, entonces
reemplazamos sus valores de verdad en la fórmula:
V ˄ ( F v ~V )
2do Paso: Aplicamos las reglas de las operaciones
proposicionales, empezando por las más simples. En este caso
primero resolvemos la negación:
V˄(FvF)
VALOR DE VERDAD DE
FÓRMULAS PROPOSICONALES
V˄(FvF)
3er Paso: Resolvemos los signos de agrupación siempre de
adentro hacia afuera. En este caso sólo tenemos un ():
V˄(FvF)
Aplicamos la operación disyunción (o) dentro del paréntesis:
V˄F
VALOR DE VERDAD DE
FÓRMULAS PROPOSICONALES
V˄F
4er Paso: Finalmente nos quedará una última operación. En este
caso la conjunción (y). Aplicando la regla indicada queda:
F
Este valor de verdad será el valor de verdad final de nuestra
fórmula.
Nota: La cantidad de pasos necesarios para llegar al valor final dependerá
de la cantidad de proposiciones, operaciones y agrupaciones que
contenga
VALOR DE VERDAD DE
FÓRMULAS PROPOSICONALES
Determinar el valor de verdad de la siguiente fórmula, sabiendo
que p es F, q es V, r es V y s es F
[ (~ p ˄ r) ↔ (q v s) ] → ~(p v q)
Reemplazando
[ (~ F ˄ V) ↔ (V v F) ] → ~(F v V) valores

[ (V˄ V) ↔ V ] → ~V operando ~ y ( )

operando ~ y ( )
[V ↔ V ] → F nuevamente
Operando [ ]
V→F
F