trabalho

Pontifícia Universidade Católica de Goiás Profº José Roldão Gonçalves Barbosa

CMP-1060

Lista 1 de Exercícios.
Álgebra das Proposições, expressões lógicas e relacionais

1º) Escrever cada uma das proposições a seguir na forma simbólica usando p e q.
a) Ele é alto e elegante.
b) Ele é alto mas não é elegante.
c) É falso que ele é baixo ou elegante.
d) Ele não é alto nem elegante.
e) Ele é alto, ou ele é baixo e elegante.
f) Não é verdade que ele é baixo e não é elegante.

2º - Sejam as proposições: p = Está frio. q = Está chovendo.
Escreva uma sentença verbal correspondente a cada uma das seguinte proposições:
a) ~p d) q\/~p
b) p/\q e) ~p/\~q
c) p\/q f) ~p\/ ~q
g) ~~q h) ~~p
i) p~q (p/\~q)p 3º - Sendo p e q proposições, pergunta-se: quais proposições abaixo são tautologias e quais são contradições. a) p /\ ~ p
b) p \/ ~ p
c) seja P: a proposição “Ele é alto” e seja q: a proposição “Ele é Elegante.”

4º - Utilizando 1 para designar verdade e 0 para falso, complete a tabela abaixo:

p q p/\q
~p
~q p\/q ~(p/\~q)
~(q\/~p)
p\/~p p\/~q ~p/\~q 1
1

1
0

0
1

0
0

6º - Determine o verdadeiro valor de cada uma das seguintes proposições compostas.
a) Se 3+2=7, então 4+4=8.
b) Não é verdade que 2+2=5 se, e somente se 4+4=10
c) Paris está na Inglaterra ou Londres está na França.
d) Não é verdade que 1+1=3 ou 2+1=3
e) É Falso que se Paris está na Inglaterra, então Londres está na Franca.

7º - Achar a Tabela Verdade de cada uma das porposições
a) ~p/\q
b) ~(p--->~q)
c) (p/\q) (p\/q)
d) ~(p/\q)\/~(q ‹----›p)

8º - Achar a tabela de cada uma das proposições.
a) (p---›q)\/~(p‹----›~q)