Para analizar si un argumento dado es correcto o no, lo que se verifica es si la verdad de la conclusión se sigue de la verdad de las premisas, por tanto debemos tener una manera precisa de saber cuándo una fórmula bien formada es verdadera. Si la fórmula bien formada es atómica, puede ser verdadera o falsa, ya que toda proposición en un lenguaje natural es verdadera o falsa. El valor de verdad de una fbf molecular se puede calcular a partir de las letras proposicionales que aparecen en ella por medio de las siguientes tablas:

( -P)
V
F

F
V

p
V
V
F
F

Q
V
F
V
F

(PAfi)
V
F
F
F

(PVQ)
V
V
V
F

(P=>Q)
V
F
V
V

(P *> Q)
V
F
F
V

Tablas 4.1