También denominada contrapuesta o contrarrecíproca (por ser la recíproca de la inversa).

Regla de inferencia expresada en la tautología [(p-->q)&~q]-->~p. También llamada modus tollendo tollens (negando niega).

Regla de inferencia formulada en la tautología [(p-->q)&q]-->q. También llamada modus ponendo ponens (afirmando afirma).

Proposición compuesta que es necesariamente verdadera en todas sus instancias (de valores de verdad de sus componentes).

Axioma de la lógica proposicional según el cual una proposición es ya sea verdadera o bien falsa, y no hay una tercera posibilidad.

Axioma de la lógica que establece que una proposición no puede ser verdadera y falsa al mismo tiempo.

Resultado de un argumento lógico que es contrario a lo que ha sido establecido o supuesto. 

Razonamiento para convencer o probar.

Presentación lógica de un argumento mostrando la forma en que ciertas premisas (definiciones, axiomas, y teoremas ya establecidos) implican un cierto resultado. Es decir, mostrando que el resultado es consecuencia necesaria de las premisas.

La demostración está asociada a un teorema o proposición, y se entiende (queda implícito) que es la demostración de alguna afirmación. La demostración es el argumento que exhibe (muestra) que la afirmación es correcta (verdadera).

Significados secundarios o asociados a un término o expresión, los cuales se añaden a su significado primario dado por su definición formal o literal. Muchos diccionarios registran "intensión" como sinónimo de "connotación" pero la connotación va más allá de la intensión. Ver http://dictionary.reference.com/ (Puede tomarse, en este sentido, como sinónimo de intensión, en una primera aproximación.)