.
Definici�n: Una regla de inferencia usada para probar la correcci�n o valor de verdad de proposiciones l�gicas. Sean dos afirmaciones cualesquiera A y B. La forma de la regla es:
A=>B, A ------------- BSe sabe que si A es verdad, B tambien es verdad; adem�s se sabe que A es verdad; con lo cual se infiere que B es verdad. Lo cual se escribe simbolicamente as�: A => B, A. En un lenguaje m�s expl�cito se presenta una premisa 1 que es SI A, ENTONCES B acompa�ada de una premisa 2 que es A.
Ejemplo: A es un teorema y B es su corolario.
Glosario de Carlos von der Becke .