Questão FC546094
Dada duas proposições, p e q, podemos dizer que a alternativa que corresponde a resolução da tabela-verdade para a coluna: ~(p∧q)∨∼(q↔p) É a seguinte:
Lógica de Proposições
Ápice · 2025
Dada duas proposições, p e q, podemos dizer que a alternativa que corresponde a resolução da tabela-verdade para a coluna:
~(p∧q)∨∼(q↔p)
É a seguinte:
- V - V - V - F
- F - V - V - V
- F - F - F - V
- F - F - F - F
- V - F - V - F
Mostrar resposta e comentário
Gabarito
B
Comentário do professor
Vamos calcular a tabela-verdade da fórmula \( \neg(p\land q)\lor\neg(q\leftrightarrow p) \) nas quatro combinações usuais de \(p\) e \(q\): (V,V), (V,F), (F,V), (F,F).
Primeiro a conjunção \(p\land q\) gera a sequência V, F, F, F. O bicondicional \(q\leftrightarrow p\) gera V, F, F, V.
Aplicando a negação, temos \(\neg(p\land q)\) = F, V, V, V e \(\neg(q\leftrightarrow p)\) = F, V, V, F.
Por fim, a disjunção entre essas negações resulta em V sempre que ao menos uma das parcelas for V. Fazendo a operação linha a linha obtemos: F, V, V, V. Portanto a coluna final é F - V - V - V.
Conteúdo do catálogo FC Concursos · Atualizado em