Implicación Lógica

 

Se presenta la implicación lógica cuando una fórmula "A" se une a otra fórmula "B" a través del condicional, teniendo en cuenta que "A" el antecedente y "B" el consecuente, el resultado final de esta evaluación necesariamente debe ser una tautología; por lo tanto, se debe tener en cuenta que una implicación lógica no es lo mismo que una condicional; sólo será implicación cuando esta relación dé como resultado un esquema tautológico, ya que, si es consistente o contradictorio, se dirá que simplemente es un esquema condicional.