

Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
operação lógica | símbolo |
conjunção | ∧ |
disjunção | V |
negação | ~ |
condicional | ⇒ |
bicondicional | ⇔ |
Considere que as proposições lógicas simples sejam representadas por letras maiúsculas e os símbolos lógicos usuais sejam indicados conforme a tabela precedente.
A proposição lógica (P⇒Q) ⇒ (R⇒S) é equivalente à proposição lógica
(R⇒S)⇒(~(P⇒Q)).
(P⇒Q) ∧ (~(R⇒S)).
(R⇒S) ∨ (~(P⇒Q)).
(P⇒(~Q))⇒(R⇒S).
(~R⇒S))⇒(P⇒Q).