Marque a alternativa que contém a simbolização da proposição “Se João é engenheiro, então Maria é arquiteta ou professora”.

Resolução da Questão de Lógica de Predicados

Esta questão aborda a Simbolização de Enunciados na Lógica Matemática, especificamente utilizando a Lógica de Predicados. O objetivo é traduzir uma frase do português para a linguagem simbólica formal.

1. Decodificando o Esquema Abreviador

Primeiro, identificamos o significado dos símbolos fornecidos no enunciado:

2. Estruturando a Proposição

A frase a ser simbolizada é: "Se João é engenheiro, então Maria é arquiteta ou professora".

Podemos decompor esta frase em três partes principais:

1. Antecedente: "João é engenheiro"

• Substituindo pelos símbolos: Ej

1. Conectivo Principal: "Se ... então ..."

• Este é um conectivo condicional, representado por \Rightarrow (ou \to).

1. Consequente: "Maria é arquiteta ou professora"

• "Maria é arquiteta": Am
• "Ou": Conectivo disjuntivo, representado por \lor.
• "Maria é professora": Pm
• Juntando tudo: (Am \lor Pm)

3. Montagem Final

Unindo as partes conforme a ordem lógica da frase:

## Análise da Alternativa A

Na imagem, a Alternativa A apresenta a seguinte expressão:
Ej \land Am \land Pm

Isso está incorreto por dois motivos:

1. Usa o símbolo \land (conjunção "E") no lugar do condicional "Se... então...".
2. Ignora a estrutura condicional da frase original.
3. A expressão acima significaria: "João é engenheiro E Maria é arquiteta E Maria é professora".

Conclusão

Como as outras alternativas (B, C, D, E) não estão totalmente visíveis na imagem, a resposta correta será aquela que contiver a seguinte estrutura lógica:

Alternativa Correta (Estrutura Esperada):
Ej \Rightarrow (Am \lor Pm)