Traduza a seguinte sentença para a lógica simbólica: A: "Se Pedro ensina e Maria estuda, então Jorge não fatura." A representação da sentença em linguagem simbólica é:

Gabarito

B

Comentário do professor

"Se Pedro ensina e Maria estuda, então Jorge não fatura."

Simbolizamos as proposições básicas: p: Pedro ensina; q: Maria estuda; r: Jorge fatura. A sentença afirma que, caso ocorra a conjunção de duas condições, ocorre a negação de uma terceira.

A conjunção "e" é representada por \( \land \), a negação por \( \sim \) e a estrutura "se... então..." pela condicional \( \to \). Assim, agrupamos a condição composta entre parênteses: \( (p \land q) \) é o antecedente, e \( \sim r \) é o consequente.

Portanto a tradução correta é \( (p \land q) \to \sim r \), que lê-se: "Se Pedro ensina e Maria estuda, então não é verdade que Jorge fatura".