No cálculo proposicional, a validade de um argumento reside na sua estrutura formal e não no conteúdo das sentenças. Considere a proposição condicional P → Q. Segundo as leis de equivalência lógica, a contrapositiva dessa sentença, que possui o mesmo valor de verdade da original, é expressa por: