Conversa

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

Definição

A conversa de $P \rightarrow Q$ é $Q \rightarrow P$.

Aviso

A conversa não é equivalente à condicional original. $P \rightarrow Q$ e $Q \rightarrow P$ são proposições diferentes.

Exemplo

Se chove, a rua fica molhada tem como conversa se a rua está molhada, choveu — falsa (um caminhão-pipa pode ter passado).