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)
b)
c)
s: ontem foi segunda-feira.
t: hoje é terça-feira.
q: amanhã é quarta-feira.
a)
b)
c)
Passo 1
O enunciado define as proposições atômicas
: ontem foi segunda-feira,
: hoje é terça-feira,
: amanhã é quarta-feira.
O objetivo é converter as fórmulas lógicas em sentenças em português, usando as operações de conjunção , negação
e implicação
.
O objetivo é converter as fórmulas lógicas em sentenças em português, usando as operações de conjunção
Passo 2
Analisando a)
:
– A conjunção lê-se “s e t”, i.e., “ontem foi segunda-feira e hoje é terça-feira”.
– A implicação “ ” traduz-se por “se … então …”.
– A conclusão é “amanhã é quarta-feira”.
Logo, a sentença verbal é:
Se ontem foi segunda-feira e hoje é terça-feira, então amanhã é quarta-feira.
– A conjunção
– A implicação “
– A conclusão
Logo, a sentença verbal é:
Se ontem foi segunda-feira e hoje é terça-feira, então amanhã é quarta-feira.
Passo 3
Analisando b)
:
– A negação é “não t”, i.e., “hoje não é terça-feira”.
– A negação é “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.
– A negação
– A negação
– 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)
:
– A conjunção é “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 é “hoje é terça-feira”.
Logo, a sentença verbal é:
Se amanhã é quarta-feira e ontem foi segunda-feira, então hoje é terça-feira.
– A conjunção
– A implicação traduz-se por “se … então …”.
– A conclusão
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.
(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.