Inversa (de una proposición condicional)
También llamada contraria. Dada la proposición condicional p-->q, su inversa es ~p-->~q.
Ejemplo de Stanley Clemens et al.(Geometría, p. 60): la inversa de "si es aeroplano entonces se construyó para volar" es " si no es aeroplano entonces no se construyó para volar"
Recíproca (de una proposición condicional)
Dada la proposición condicional p-->q, su recíproca es q-->p.
Contrapositiva (de una proposición condicional)
También denominada contrapuesta o contrarrecíproca (por ser la recíproca de la inversa).
Modus tollens
Regla de inferencia expresada en la tautología [(p-->q)&~q]-->~p. También llamada modus tollendo tollens (negando niega).
Modus ponens
Regla de inferencia formulada en la tautología [(p-->q)&q]-->q. También llamada modus ponendo ponens (afirmando afirma).
Tautología
Proposición compuesta que es necesariamente verdadera en todas sus instancias (de valores de verdad de sus componentes).
Principio del tercero excluido
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.
Principio de no contradicción
Axioma de la lógica que establece que una proposición no puede ser verdadera y falsa al mismo tiempo.
Contradicción
Resultado de un argumento lógico que es contrario a lo que ha sido establecido o supuesto.
Argumento
Razonamiento para convencer o probar.
