trabalho

Páginas: 2 (478 palavras) Publicado: 17 de setembro de 2014
 Pontifícia Universidade Católica de Goiás
Profº José Roldão Gonçalves BarbosaCMP-1060

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

1º) Escrever cada uma das proposições aseguir 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 dasseguinte 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º - Utilizando1 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
10
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 se4+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 TabelaVerdade 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)...
Ler documento completo

Por favor, assinar para o acesso.

Estes textos também podem ser interessantes

  • TRABALHO DE TRABALHO
  • Trabalho de Trabalho
  • trabalho para trabalho
  • trabalho de trabalho
  • Trabalho é trabalho
  • Trabalhos de trabalhos
  • TRABALHOS E MAIS TRABALHOS
  • Trabalho Trabalho

Seja um membro do Trabalhos Feitos

CADASTRE-SE AGORA!