Lista de símbolos:⇒ Condicional⇔ Bicondicional^ Conector “e”v Conector “ou”v Conector “ou” exclusivo¬ Negação da proposição Lista de símbolos:⇒ Condicional⇔ Bicondicional^ Conector “e”v Conector “ou”v Conector “ou” exclusivo¬ Negação da proposição Um exemplo de contradição é mostrado na alternativa:

Um exemplo de contradição é mostrado na alternativa:

Q1582575

Lista de símbolos:

$\Rightarrow$ Condicional

$\Leftrightarrow$ Bicondicional

^ Conector “e”

v Conector “ou”

v Conector “ou” exclusivo

¬ Negação da proposição

Um exemplo de contradição é mostrado na alternativa:

$\neg P$ $\Rightarrow$ $\neg Q$ .

$P$ $\Leftrightarrow$ $Q$ .

$P$ $\Rightarrow$ $Q$ .

$P$ ^¬ $P$ .

$P$ V $\neg P$ .