Considere que
e
são proposições:
: Você dirige a mais de
.
: Você recebe uma multa por excesso de velocidade.
Escreva estas proposições usando
e conectivos lógicos.
Se você não dirigir a mais de
, você não receberá uma multa por excesso de velocidade.
Escreva estas proposições usando
Se você não dirigir a mais de
Passo 1
O enunciado pertence à lógica proposicional: temos duas proposições básicas
: “Você dirige a mais de
,km/h”
: “Você recebe uma multa por excesso de velocidade”
e queremos traduzir a frase “Se você não dirigir a mais de ,km/h, você não receberá uma multa por excesso de velocidade.”
e queremos traduzir a frase “Se você não dirigir a mais de
Passo 2
Identificamos o antecedente e o consequente da condicional:
– Antecedente: “Você não dirige a mais de ,km/h” é a negação de
, ou seja,
.
– Consequente: “Você não receberá uma multa por excesso de velocidade” é a negação de , ou seja,
.
– Antecedente: “Você não dirige a mais de
– Consequente: “Você não receberá uma multa por excesso de velocidade” é a negação de
Passo 3
Na lógica proposicional, “Se A, então B” corresponde ao conectivo de implicação, denotado por
.
Passo 4
Substituindo A por
e B por
, a fórmula fica