Condicional

De Enciclopedia Symploké, la enciclopedia libre.
Saltar a: navegación, buscar

Conectiva lógica que relaciona dos proposiciones, llamadas antecedente y consecuente. Su símbolo es → y se lee «si ..., entonces ...»

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:

p q p → q
V V V
V F F
F V V
F F V