

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.
Tabela CG1A3-I
conjunção ˄ | condicional ⇒ |
disjunção ˅ | Bicondicional ⇔ |
negação ~ |
Considere que as proposições lógicas simples sejam representadas por letras maiúsculas e os símbolos lógicos usuais sejam representados de acordo com a tabela precedente.
Considerando a tabela CG1A3-I e as informações a ela relacionadas, é correto afirmar que a proposição lógica ~(((Q˅R)˄T) ⇒ (P˄S)) é equivalente à proposição lógica
~((Q˅R)˄T)˅~(P˄S)).
((Q˄T)˅(R˄T))˄(~P˅~S).
~((Q˅R)˄T) ⇒ ~(P˄S)).
~(P˄S) ⇒ ~((Q˅R)˄T).
~(P˄S) ⇒ ~((Q˅T)˄(R˅T)).