===== TRANSPOSIÇÃO =====
É assim [[lexico:c:chamado|chamado]] o [[lexico:t:teorema|teorema]] do [[lexico:c:calculo|cálculo]] proposicional, segundo o qual de "se p, então q" pode-se inferir "[[lexico:n:nao|não]] q, então não p".