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.
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:
: “Marcos é inteligente.”
: “Pedro é estudioso.”
Passo 3
A parte “Marcos é inteligente e Pedro é estudioso” corresponde à conjunção das duas atômicas, ou seja,
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 é