Simbolizar as seguintes sentenças, deixe claro p, q ou r :
Uma condição necessária e suficiente para que duas retas em um plano sejam paralelas é que elas não se interceptem, nem coincidam.

Passo 1

Estamos lidando com lógica proposicional e precisamos transformar a frase “Uma condição necessária e suficiente para que duas retas em um plano sejam paralelas é que elas não se interceptem, nem coincidam” em símbolos lógicos.

Passo 2

Definimos as proposições: p: “duas retas em um plano são paralelas” q: “elas não se interceptem” r: “elas não coincidam”

Passo 3

A expressão “condição necessária e suficiente” vira bicondicional. E “não se interceptem, nem coincidam” é conjunção de q e r. Logo temos:

Resposta

p rightarrow (q wed>= r)

Exercícios relacionados