Considerando a tabela CG1A3-I e as informações a ela relacio...

Próximas questões
Com base no mesmo assunto
Q2396146
Raciocínio Lógico Fundamentos de Lógica , Proposições Simples e Compostas e Operadores Lógicos ,
Ano: 2022 Banca: CESPE / CEBRASPE Órgão: POLITEC-RO Provas: CESPE / CEBRASPE - 2022 - POLITEC - RO - Perito Criminal - Área 13 - Engenharia Ambiental e Sanitária/Engenharia Florestal | CESPE / CEBRASPE - 2022 - POLITEC - RO - Perito Criminal - Área 14 - Engenharia de Minas/Geologia/Geografia |
Q2396146 Raciocínio Lógico

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

Alternativas

Comentários

Veja os comentários dos nossos alunos

Negãção de p -> q é p ^ ~q , ou seja, negação de ((Q˅R)˄T) ⇒ (P˄S) = (Q˅R)˄T) ^ ~ (P˄S)

negação de p^q = ~p ˅ ~q, então a negação de (P˄S) = ~ p v ~ s

substituindo fica (Q˅R)˄T) ^ ( ~ p v ~ s)

(Q˅R)˄T) pode ser escrito de outra maneira (q ^ t) v (r ^ t)

((Q˄T)˅(R˄T))˄(~P˅~S).

Regra do MANE, manter a 1° e negar a 2°.

Clique para visualizar este comentário

Visualize os comentários desta questão clicando no botão abaixo

Questões de assuntos semelhantes

Provas relacionadas