Condicional
De Enciclopedia Symploké, la enciclopedia libre.
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 |