Exerccios

1) Escreva simbolicamente, conforme o exemplo: a) Se P, ento Q. b) P e Q, ou R. c) Se P ou Q, ento R d) No ocorre P ou Q e) No P ou no Q Soluo: P Q

= no V = ou ^ =e = Se ento = Se somente se

f) P, se e somente se Q
g) Se P, ento Q ou R h) Se P e Q, ento R ou P

Exerccios

maior precedncia: precedncia intermediria: , menor precedncia: ^,

= no V = ou ^ =e = Se ento = Se somente se

2) Considere as concatenaes de smbolos do alfabeto da lgica Proposicional dadas a seguir. Identifique aquelas que so frmulas da Lgica Proposicional. Considere a forma simplificada de representao de frmulas, onde os smbolos de pontuao podem ser omitidos.

a) b) c) d) e) f) g)

(PQ v true) (P ^ Q) ((QP)v R) P vQ (P^Q)((Q R)) (((P Q) P) v Q) ( Q^ R)

Exerccios

maior precedncia: precedncia intermediria: , menor precedncia: ^,

= no V = ou ^ =e = Se ento = Se somente se

3) Determine o comprimento das frmulas a seguir.

a) (( PvQ)(PQ))^true

b) P ((QR)((PR)(PR)))

c) ((PP)P) v Q

d) (PP) e) (PQ) ^ ( Q v R)

Exerccios

maior precedncia: precedncia intermediria: , menor precedncia: ^,

= no V = ou ^ =e = Se ento = Se somente se

4) Elimine o maior nmero possvel de smbolos de pontuao das frmulas a seguir, mantendo a representao da frmula original.
a) (((P))((((((PvQ)))R))^P))

b)

(P(QvR))((P^Q)( R v P))

c)

(P v Q) ((R)) (((P v R)) ^ P)

Exerccios
5) Sejam as proposies:
A= Machado de Assis escreveu Quincas Borba B= Machado de Assis escreveu A cabana C = A lua feita de queijo D = Madri a capital da Espanha Escreva simbolicamente as expresses:

= no V = ou ^ =e = Se ento = Se somente se

a) No verdade que Machado de Assis escreveu Quincas Borba

b) Machado de Assis escreveu Quincas Borba ou A cabana c) Machado de Assis escreveu Quincas Borba e A cabana d) Se Machado de Assis escreveu Quincas Borba, ento escreveu A cabana e) Se Machado de Assis escreveu Quincas Borba, ento no escreveu A cabana f) Madri no a capital da Espanha e a lua no feita de queijo. g) No verdade que Madri capital da Espanha e que a lua feita de queijo.

h) Se Machado de Assis escreveu Quincas Borca ou no escreveu A cabana, ento a lua no feita de queijo.

Exerccios
6) Construa a tabela-verdade para as seguintes operaes
a) P ^ H b) A ^ B c) P (P V Q) d) (A ^ B) V B d) H = ((P) V Q) (Q ^ P)

= no V = ou ^ =e = Se ento = Se somente se