Questão FC148970
Considerando os conectivos lógicos usuais, assumindo que as letras maiúsculas representam proposições lógicas e considerando que o símbolo ⁓ representa a negação, julgue o item a s
Lógica de Proposições
CEBRASPE (CESPE) · 2021
A proposição “Se Paulo foi aprovado em um concurso esse ano, então Paulo e Maria não se mudaram para Maceió.” é logicamente equivalente à proposição “Paulo não foi aprovado em um concurso esse ano ou Paulo e Maria não se mudaram para Maceió.”.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Comentário: A proposição inicial pode ser escrita na forma lógica como "P → (Q ∧ R)", onde P representa "Paulo foi aprovado em um concurso esse ano", Q representa "Paulo não se mudaram para Maceió" e R representa "Maria não se mudaram para Maceió". Aplicando a equivalência lógica conhecida como a lei de contraposição, sabemos que uma implicação "A → B" é logicamente equivalente à negação do antecedente ou a consequência, ou seja, "¬A ∨ B". Portanto, a proposição "Se P, então (Q ∧ R)" é equivalente a "¬P ∨ (Q ∧ R)", que é a mesma forma que a proposição "Paulo não foi aprovado em um concurso esse ano ou Paulo e Maria não se mudaram para Maceió." Assim, a afirmação está correta.
Conteúdo do catálogo FC Concursos · Atualizado em