Exercicios
Lista de Exercícios
1) Traduza as proposições abaixo para linguagem simbólica.
a) Se João ligar para Maria, ela não irá para outra cidade.
b) Ou João liga para Maria ou ela vai para outra cidade.
c) João não ligou para Maria e ela vai para outra cidade.
d) João ligará para Maria se, e somente se, ela não for para outra cidade.
2) Determine se as fórmulas a seguir são wffs.
a)
b)
c)
d)
3) Escreva as proposições matemáticas abaixo em linguagem simbólica.
a) Se
b)
é menor que 7 e maior que 5, então
é igual a 2 se, e somente se,
é igual a 6.
for maior que 0.
4) Considere as proposições simples p, q e r e construa a tabela verdade de:
a)
b)
5) Classifique as proposições abaixo como tautologia, contradição ou contingência.
a)
b)
c)
d)
e)
f)
6) Verifique se
implica logicamente .
7) Verifique se as proposições
e
são logicamente equivalentes.
8) Determine o conjunto verdade em
a)
b)
de cada uma das sentenças abertas:
Respostas:
1.a)
1.b)
1.c)
2.b) Sim
2.c) Não
1.d)
2.a) Sim
2.d) Não
3.a)
3.b)
4.a)
V
V
V
V
V
V
V
F
V
F
V
F
V
V
V
V
F
F
V
F
F
V
V
V
V
F
V
F
V
F
F
F
V
F
V
F
F
F
F
V
4.b)
V
V
F
V
V
V
V
V
F
F
V
V
V
F
F
V
V
V
V
F
F
F
V
V
F
V
V
V
V
V
F
V
V
F
V
V
F
F
V
V
F
V
F
F
V
F
F
F
5.a) Tautologia
5.b) Contradição
5.c) Contingência
5.d) Contingência
5.e) Tautologia
5.f) Tautologia
6) Sim.
7) Sim.
8.a)
{
|
}
8.b)
{
|
}