Escreva as sentenças a seguir utilizando a linguagem da Lógica Proposicional. Utilize símbolos proposicionais para representar sentenças atômicas.
Não é verdade que Marcos é inteligente e Pedro é estudioso.

Passo 1

Vamos representar a frase “Não é verdade que Marcos é inteligente e Pedro é estudioso” na linguagem da Lógica Proposicional. Para isso, precisamos escolher símbolos para as sentenças atômicas.

Passo 2

Definimos os seguintes símbolos proposicionais: p: “Marcos é inteligente.” q: “Pedro é estudioso.”

Passo 3

A parte “Marcos é inteligente e Pedro é estudioso” corresponde à conjunção das duas atômicas, ou seja, p \wedge q

Passo 4

Como o enunciado diz “Não é verdade que …”, basta negar toda a conjunção obtida no passo anterior. Assim, a tradução final é
\neg (p \wedge q)

Resposta

\neg (p \wedge q)

Exercícios relacionados