Вы находитесь на странице: 1из 3

1

Lgica Aplicada a Computao


Lista de Exerccios 01 Lgica Proposicional - Sintaxe
Professor: Rosalvo Neto
Aluno(a):

Questo 01) Indique quais frmulas obedece sintaxe da lgica proposicional:

a) PQ V true

b) P Q Q p ~~R

c) ~~P

d) Q

e) P Q Q ~R


Questo 02) Respondam as questes a seguir, justificando suas respostas.

a) Existe frmula sem
smbolo de pontuao?

b) Quantos tipos de smbolos
possui o alfabeto da lgica
proposicional? Quais so
estes smbolos?

c) Existem frmulas da lgica
proposicional com algum
conectivo, mas sem
smbolo de pontuao?


Questo 03) Determine o comprimento das formulas a seguir:

a) ((~~P V Q) (P Q) true

b) ((P ~P) ~P) V Q

c) ~(P ~P)




Questo 04) Sejam as proposies:
P: Gosto de viajar
Q: Visitei o Chile



2

Lgica Aplicada a Computao
Lista de Exerccios 01 Lgica Proposicional - Sintaxe
Professor: Rosalvo Neto
Aluno(a):

Escreva as sentenas verbais que esto representadas pelas proposies
abaixo:
a) P Q

b) ~Q ~P

c) (P ~Q) ~P

d) Q ~P

e) ~(PQ)


Questo 05) Descreva as sentenas abaixo em termos de proposies simples e
operadores lgicos:
Exemplo: Se 10 > 2 ento qualquer coisa possvel.
Resoluo
P: 10 > 2
Q: qualquer coisa possvel
Traduzindo a sentena para literatura da lgica proposicional:
PQ

a) Se elefantes podem subir em arvores, ento
3 nmero par


b) > 0 se e somente se no verdade que
> 1


c) Se as laranjas so amarelas, ento os
morangos so vermelhos


d) falso que se Montreal a capital do
Canad, ento a prxima copa ser
realizada no Brasil

e) Se falso que Montreal a capital do
Canad, ento a prxima copa ser
realizada no Brasil






3

Lgica Aplicada a Computao
Lista de Exerccios 01 Lgica Proposicional - Sintaxe
Professor: Rosalvo Neto
Aluno(a):

Questo 06) Considerando que P simboliza A vida sagrada e Q simboliza O aborto
um mal, qual o significado das expresses seguintes?
1) P

2) P Q

3) P Q

4) P v Q

5) P Q

6) Q

7) Q P

8) Q P

9) Q V P

10) Q P

11) Q Q

12) P P

13) Q V Q

14) P P


Questo desafio - Escreva um programa, tal que, dado uma seqncia de caracteres
ele determine se uma formula da lgica proposicional.

Вам также может понравиться