Exerccios (NO VALE PONTO)

1. Tente representar as seguintes sentenas com variveis sentenciais e conectivos

lgicos.
(a) Se for vero, estar um frio detestvel
(b) Os limes parecem bons, mas o gosto azedo
(c) Voc pode se voc quiser
(d) Ele chegar hoje ou amanh, mas no depois
(e) Se nem Deus, nem o Diabo existirem, ser difcil ser religioso
(f) Expulse o gato ou eu sairei
Exerccio 2
O termo notao polonesa livre de parnteses signica que um conectivo
escrito esquerda das sentenas que ele combina ao invs de ser escrito, como
habitual, entre elas. Os conectivos, neste caso, so normalmente abreviados
da seguinte maneira: N= negao, A= disjuno (alternao), K= conjuno,
C= implicao (condicional), E= equivalncia.
Exemplos:
Notao padro notao polonesa
( p) Np
(p & q) Kpq
(p q) Cpq
((p q) & p) KCpqp
((p & q) (p & r)) AKpqKpr
Agora, escreva as seguintes expresses na notao polonesa.
(a) (p q)
(b) (( p) q)
(c) ((p q) (p & q))
3. Escreva as seguintes expresses polonesas na notao padro
(a) KpNp
(b) CAKEpqrst
(c) ECpqCNqNp
4. Das expresses abaixo, quais so frmulas e/ou frmulas
(a) p
1000
(b) q
1
(c) p p
(d) ((p
1
p
3
) p
4
)
1
(e) p
100
p
5
(f) p
20
(g) (p
2
0) p
1
p
3
p
9
(h) (p
1
p
2
)
(i) (p
1
(p
3
& p
4
))
(j) ((p
1
p
2
) p
3
) p
90
)
2