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

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}