Logo Passei Direto
Buscar

Lógica

Outros
Considere as seguintes proposições: A: Maria não é mineira. B: Paulo é engenheiro. Nesse caso, a proposição “Maria não é mineira ou Paulo é engenheiro”, que é representada por A∨B, é equivalente à proposição “Se Maria é mineira, então Paulo é engenheiro”, simbolicamente representada por (¬A)→B.
47. (Cespe – UnB – ME – 2008) Nesse caso, a proposição “Maria não é mineira ou Paulo é engenheiro”, que é representada por A∨B, é equivalente à proposição “Se Maria é mineira, então Paulo é engenheiro”, simbolicamente representada por (¬A)→B.
User badge image
Questões Para o Saber

há 2 semanas

Respostas

User badge image

Ed Verified user icon

há 2 semanas

Para analisar a equivalência entre as proposições, vamos entender cada uma delas: 1. A proposição "Maria não é mineira ou Paulo é engenheiro" (A ∨ B) é uma disjunção, que é verdadeira se pelo menos uma das partes for verdadeira. 2. A proposição "Se Maria é mineira, então Paulo é engenheiro" (¬A → B) é uma implicação. Essa proposição é verdadeira, exceto quando a primeira parte (¬A) é verdadeira e a segunda parte (B) é falsa. Agora, vamos verificar a equivalência: - A disjunção A ∨ B é equivalente à negação da implicação (¬A → B). Isso ocorre porque a implicação (¬A → B) é verdadeira em todos os casos, exceto quando ¬A é verdadeira e B é falsa, o que corresponde exatamente ao caso em que A é verdadeira e B é falsa. Portanto, a proposição "Maria não é mineira ou Paulo é engenheiro" (A ∨ B) é equivalente à proposição "Se Maria é mineira, então Paulo é engenheiro" (¬A → B). Assim, a afirmação apresentada na questão está correta.

Essa resposta te ajudou?

0
Dislike0

Ainda com dúvidas?

Envie uma pergunta e tenha sua dúvida de estudo respondida!

Essa pergunta também está no material:

Mais perguntas desse material

Mais conteúdos dessa disciplina