A  B  C  D  E  F  G  H  I  J  L  M  N O  P  R  S  T  V

(1) Una implicación es un enunciado molecular con la forma “si A, entonces B” donde A y B son fbfs o proposiciones. La fbf representada por A se denomina ‘antecedente’ (también implicans, hipótesis o prótasis). La fbf representada por B se denomina consecuente (también implicado, conclusión o apódosis). Las implicaciones también se llaman condicionales o enunciados condicionales. (v. condicional correspondiente)

(2) Implicación lógica: un enunciado tautológico de implicación material.

(3) Implicación material: una función veritativa que es falsa cuando el antecedente es verdadero y su consecuente falso, y verdadero en los demás casos. También es la conectiva que denota esta función; así como la proposición molecular construida con esta conectiva. Se representa A→B. Y queda definida por su tabla de verdad:

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

(v. función veritativa, paradojas de la implicación material)

Referencia en el texto: