Axm

Inversa


term: Inversa summary: "De P → Q, a inversa é ¬P → ¬Q. Não é logicamente equivalente à original." relatedModules: [propositional-logic] seeAlso: [condicional, contrapositiva, conversa]

Definição

A inversa de PQP \rightarrow Q é ¬P¬Q\neg P \rightarrow \neg Q.

Aviso

A inversa também não é equivalente à condicional original.

Relação

A inversa é a contrapositiva da conversa.