Questão FC149213
A lógica formal representa as afirmações que os indivíduos fazem em linguagem do cotidiano para apresentar fatos e se comunicar. Uma proposição é uma sentença que pode ser julgada
Lógica de Proposições
Na comunicação entre indivíduos, combinam-se proposições por meio de conectivos, como “e”, indicado pelo símbolo v, e “ou”, indicado por w, para formar proposições compostas mais complexas. Usa-se também o modificador “não”, indicado pelo símbolo ¬, para produzir a negação de uma proposição. Proposições A e B podem ser combinadas na forma “se A, então B” — ou A implica B —, indicada por A → B, em que o conectivo → é o condicional ou implicação.
O julgamento de uma proposição composta depende do julgamento que se faz de suas proposições componentes mais simples.
Por exemplo, considerando-se todos os possíveis julgamentos, ou valorações, V ou F das proposições simples A e B, tem-se a seguinte tabela-verdade para as proposições compostas indicadas.
Duas equivalências fundamentais são as denominadas Leis de De Morgan: ¬(A B), significando ¬A ¬B, e ¬(A B), significando ¬A ¬B.
Tendo como referência as informações acima, julgue o item que se segue.
Considere que A e B sejam as seguintes proposições.
A: Júlia gosta de peixe.
B: Júlia não gosta de carne vermelha.
Nesse caso, a proposição “Júlia não gosta de peixe, mas gosta de carne vermelha” está corretamente simbolizada por ¬(A ∧ B).
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
Comentário: A proposição "Júlia não gosta de peixe, mas gosta de carne vermelha" não está corretamente simbolizada por ¬(A B). Na verdade, a proposição é composta e deve ser representada como ¬A ∧ B, onde ¬A indica que Júlia não gosta de peixe (A) e B indica que Júlia gosta de carne vermelha. A expressão ¬(A B) não tem um significado lógico correto nesse contexto, pois implica uma negação da disjunção entre A e B, o que não corresponde à afirmação dada. Portanto, a forma correta de simbolizar a proposição apresentada é ¬A ∧ B.
Conteúdo do catálogo FC Concursos · Atualizado em