Questão FC149058
Proposições são sentenças que podem ser julgadas como verdadeiras — V —, ou falsas — F —, mas não cabem a elas ambos os julgamentos. As proposições simples são freqüentemente simbo
Lógica de Proposições
As proposições simples são freqüentemente simbolizadas por letras maiúsculas do alfabeto, e as proposições compostas são conexões de proposições simples.
Uma expressão da forma A∧B é uma proposição composta que tem valor lógico V quando A e B forem ambas V e, nos demais casos, será F, e é lida “A e B”.
A expressão ¬A, “não A”, tem valor lógico F se A for V, e valor lógico V se A for F.
A expressão A∨B, lida como “A ou B”, tem valor lógico F se ambas as proposições A e B forem F; nos demais casos, é V.
A expressão A→B tem valor lógico F se A for V e B for F. Nos demais casos, será V, e tem, entre outras, as seguintes leituras: “se A então B”, “A é condição suficiente para B”, “B é condição necessária para A”.
Uma argumentação lógica correta consiste de uma seqüência de proposições em que algumas são premissas, isto é, são verdadeiras por hipótese, e as outras, as conclusões, são obrigatoriamente verdadeiras por conseqüência das premissas.
Considerando as informações acima, julgue o item.
Sabe-se que as proposições ¬(A∧B) e (¬A) ∨ (¬B) têm os mesmos valores lógicos para todas as possíveis valorações de A e de B. Então a negação da proposição “O Brasil possui embaixada em Abu Dhabi e não em Marrocos” pode ser simbolizada da forma (¬A) B.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Comentário: A afirmação está correta, pois a negação da proposição composta “O Brasil possui embaixada em Abu Dhabi e não em Marrocos” pode ser simbolizada como ¬(A ∧ ¬B), onde A representa "O Brasil possui embaixada em Abu Dhabi" e B representa "O Brasil possui embaixada em Marrocos". De acordo com as leis da lógica, a negação de uma conjunção (A ∧ B) é equivalente à disjunção das negações, ou seja, ¬(A ∧ ¬B) é equivalente a (¬A ∨ B). Portanto, a negação correta da proposição dada resulta em uma expressão que mantém a validade lógica das relações entre A e B, confirmando que a simbolização apresentada é coerente com as regras de equivalência lógica.
Conteúdo do catálogo FC Concursos · Atualizado em