Simbolizar as seguintes sentenças, deixe claro
ou
:
Uma condição necessária e suficiente para que duas retas em um plano sejam paralelas é que elas não se interceptem, nem coincidam.
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: