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.