Question

A negação da seguinte proposição “Se Pedro trabalha no Rio de Janeiro, então Lucas trabalha em São Paulo.” é logicamente equivalente a:

Answer 1

Resposta:

Dadas as proposições atômicas:

p: "Pedro trabalha no Rio de Janeiro."

q: "Lucas trabalha em São Paulo."

Temos a seguinte proposição composta:

p ⇒ q: "Se Pedro trabalha no Rio de Janeiro, então Lucas trabalha em São Paulo."

Pede-se a negação de p ⇒ q.

Lembre-se de que a negação de uma condicional é:

¬ (p ⇒ q) ⇔ p ^ ¬q

Logo:

¬ (p ⇒ q) ⇔ p ^ ¬q ⇔ "Pedro trabalha no Rio de Janeiro e Lucas não trabalha em São Paulo."