Sejam as proposições:
s: ontem foi segunda-feira.
t: hoje é terça-feira.
q: amanhã é quarta-feira.
Escreva as sentenças verbais para cada uma das proposições abaixo:
a) (s \wedge t) \rightarrow q
b) (\neg t) \rightarrow(\neg s)
c) (q \wedge s) \rightarrow t

Passo 1

O enunciado define as proposições atômicas s: ontem foi segunda-feira, t: hoje é terça-feira, q: amanhã é quarta-feira.
O objetivo é converter as fórmulas lógicas em sentenças em português, usando as operações de conjunção \wedge, negação \neg e implicação \rightarrow.

Passo 2

Analisando a) (s \wedge t) \rightarrow q:
– A conjunção (s \wedge t) lê-se “s e t”, i.e., “ontem foi segunda-feira e hoje é terça-feira”.
– A implicação “ \rightarrow” traduz-se por “se … então …”.
– A conclusão q é “amanhã é quarta-feira”.
Logo, a sentença verbal é:
Se ontem foi segunda-feira e hoje é terça-feira, então amanhã é quarta-feira.

Passo 3

Analisando b) (\neg t) \rightarrow (\neg s):
– A negação \neg t é “não t”, i.e., “hoje não é terça-feira”.
– A negação \neg s é “não s”, i.e., “ontem não foi segunda-feira”.
– A implicação traduz-se por “se … então …”.
Logo, a sentença verbal é:
Se hoje não é terça-feira, então ontem não foi segunda-feira.

Passo 4

Analisando c) (q \wedge s) \rightarrow t:
– A conjunção (q \wedge s) é “q e s”, i.e., “amanhã é quarta-feira e ontem foi segunda-feira”.
– A implicação traduz-se por “se … então …”.
– A conclusão t é “hoje é terça-feira”.
Logo, a sentença verbal é:
Se amanhã é quarta-feira e ontem foi segunda-feira, então hoje é terça-feira.

Resposta

(a) Se ontem foi segunda-feira e hoje é terça-feira, então amanhã é quarta-feira.
(b) Se hoje não é terça-feira, então ontem não foi segunda-feira.
(c) Se amanhã é quarta-feira e ontem foi segunda-feira, então hoje é terça-feira.

Exercícios relacionados