Logica

Disponível somente no TrabalhosFeitos
  • Páginas : 2 (307 palavras )
  • Download(s) : 0
  • Publicado : 27 de março de 2013
Ler documento completo
Amostra do texto
Exercício 01

1. Seja p a proposição “esta chovendo” e seja q “esta ventando”. Escreva em linguagem corrente as proposições representadas abaixo:

a) ~~p- “não é verdade que não estachovendo”

b) P^~q- __________________________________________________________

c) qv~p- _________________________________________________________

d) q→p-__________________________________________________________

e) ~(p^q)-_________________________________________________________

f) p v q- __________________________________________________________

g)p↔p-__________________________________________________________

h) ~p^q-__________________________________________________________

2. Construa a tabela verdade das seguintes proposições:

a) ~p^r↔qv~r| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | || | | |
| | | | | | | | |
| | | | | | | | |

b) p→r↔qv~r
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | ||
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |

c) p→(p↔~r)↔qvr
| | | | | | | |
| | | | | | | |
| | | | | | | |
|| | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |

d) (p^q→r)v(~p↔qv~r)
| | | | | | || |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | || | |
| | | | | | | | |

e) (~sv~q)^(~pvs)
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | |...
tracking img