Tabela CG1A3-IConsidere que as proposições lógicas simples s...
Tabela CG1A3-I
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
Comentários
Veja os comentários dos nossos alunos
A banca pediu negação, mas não escreveu e depois fala de equivalente se não for atento e não ver a negação no começo da sentença pode complicar.
?
~(((Q˅R)˄T) ⇒ (P˄S))
a proposição acima é uma condicional que muito bem pode ser representada por P -> Q
Logo, a equivalência de uma condicional, ou é uma contraposição (~Q -> ~P) ou é uma simplificação, famoso NEYMAR (~P V Q) e a sua negação seria (P^~Q), famoso MAeNÉ
substituindo a proposição principal ~(((Q˅R)˄T) ⇒ (P˄S)) com o MAeNÉ = (Q˅R)˄T) ^ ~ (P˄S) = (Q˅R)˄T) ^ (~P v ~S) = agora aplicando a propriedade distributiva em (Q˅R)˄T) ficaria assim: (Q ^T) v (R ^T) ^ (~P v ~S)
Agora, devemos observar dentre as alternativas, que a alternativa B se aproxima do resultado acima.
Clique para visualizar este comentário
Visualize os comentários desta questão clicando no botão abaixo
Conheça nossos planos