Una proposición condicional:.... es aquella proposición compleja cuya conectiva dominante es el condicional, es decir, aquella expresión apofántica que tiene la forma A → B, y que se lee «si A, entonces B» o bien «A es condición suficiente de B», donde A es el antecedente y B el consecuente. Una proposición condicional es falsa sólo cuando su antecedente es verdadero y su consecuente falso; en todos los otros casos, es verdadera.
La tabla de verdad del condicional es la siguiente:
pqp → qV
V
V
V
F
F
F
V
V
F
F
V
