FC ConcursosFC Concursos

Questão FC149073

A lógica proposicional trata do raciocínio por meio de proposições (frases afirmativas ou negativas) que podem ser julgadas como verdadeiras — V — ou falsas — F. Considere que as l

Lógica de Proposições

CEBRASPE (CESPE)

A lógica proposicional trata do raciocínio por meio de proposições (frases afirmativas ou negativas) que podem ser julgadas como verdadeiras — V — ou falsas — F. Considere que as letras A e B representam proposições básicas. A proposição ¬A representa a negação da proposição A e, portanto, ¬A é F quando A for V, e ¬A é V ∨ ∨ ∨ ∨ quando A for F. A proposição A B é a disjunção de A e B, e A B é F se A e B são F; caso contrário, V. A proposição A B é a conjunção de A e B, e A B é V se A e B são V; caso contrário, é F. Uma argumentação é uma seqüência finita de proposições em que algumas são consideradas hipóteses e as outras são obtidas a partir das hipóteses e das proposições que vão sendo inseridas na argumentação, usando-se algumas regras de dedução. Uma regra de dedução, chamada regra do corte, é a ∨ ∨ ∨ ∨ seguinte: “Se, em uma argumentação, são assumidas como verdadeiras proposições que tenham a forma P ¬A Q e R A S, em que P, Q, R e S representam ∨ ∨ ∨ proposições que contêm apenas proposições básicas, negadas ou não, e o conectivo lógico w, então a proposição P Q R S pode ser assumida como verdadeira na seqüência de proposições que constituem a argumentação.” A partir dessas instruções, julgue os itens a seguir.

A proposição “O estado do Espírito Santo não é produtor de petróleo ou Guarapari não tem lindas praias” corresponde à negação da proposição “O estado do Espírito Santo é produtor de petróleo e Guarapari tem lindas praias.”
Mostrar resposta e comentário

Gabarito

Certo

Comentário do professor

Comentário: A proposição “O estado do Espírito Santo não é produtor de petróleo ou Guarapari não tem lindas praias” representa a negação da proposição “O estado do Espírito Santo é produtor de petróleo e Guarapari tem lindas praias” devido à regra de De Morgan. A negação de uma conjunção (A e B) é equivalente à disjunção das negações (¬A ou ¬B). Portanto, ao negar a proposição original, obtemos exatamente a forma apresentada, confirmando que a afirmação está correta.

Conteúdo do catálogo FC Concursos · Atualizado em

Continue aprendendo