FACULDADE IEDUCARE CURSO DE SISTEMAS DA INFORMAO AVALIAO LGICA MATEMTICA PROF WILLIAN RIBEIRO 07/10/2013 ALUNO: _________________________________________________________________________

1) Identifique os conectores lgicos utilizados para representar as relaes entre as proposies: a) ^ ( ) Se e somente Se utilizado para representar a dependncia mtua entre as proposies. ( ) E smbolo da Conjuno, utilizado para unir duas proposies. b) v ( ) Se, ento smbolo da Condio, utilizado para indicar dependncia de uma proposio em c) ~ relao outra. d) ( ) OU smbolo da Disjuno, utilizado para fora a escolha entre duas proposies. e)
( ) ~ - smbolo da Negao, utilizado para negar uma sentena, seja verdadeira ou falsa.

2) Considere as proposies p: Est frio e q: Est chovendo. Traduza para linguagem corrente as seguintes proposio: Exemplo: q p = se est chovendo ento est frio a) p ~q b) p q c) ~p ~q d) p ~q e) (p ~q) (q ~p) 3) Considere as proposies p: A Terra um planeta e q: A Terra gira em torno do Sol. Traduza para linguagem simblica as seguintes proposies: Exemplo: Se a Terra gira em torno do Sol, ento a Terra um planeta = q p a) No verdade: que a Terra um planeta ou gira em torno do Sol. b) Se a Terra um planeta ento a Terra gira em torno do Sol. c) falso que a Terra um planeta ou que no gira em torno do Sol. d) A Terra gira em torno do Sol se, e somente se, a Terra no um planeta. e) A Terra no nem um planeta e nem gira em torno do Sol. (Expresses da forma "no nem p e nem q" devem ser vistas como "no p e no q") 4) Escreva a negao das seguintes proposies numa sentena o mais simples possvel. Exemplo: Est frio e est chovendo => No est frio e no est chovendo a) falso que no est frio ou que est chovendo. b) Se as aes caem aumenta o desemprego. c) Ele tem cabelos louros se e somente se tem olhos azuis. d) A condio necessria para ser um bom matemtico saber lgica. e) Jorge estuda fsica mas no estuda qumica. (Expresses da forma "p mas q" devem ser vistas como " p e q")
5) Complete a tabela verdade: A V V B V F A^B V V V F V V V F AvB ~A ~B ~AvB V F (~ A v B) ^ B

PGINA 1

FACULDADE IEDUCARE CURSO DE SISTEMAS DA INFORMAO AVALIAO LGICA MATEMTICA PROF WILLIAN RIBEIRO 07/10/2013
6) Construir as tabelas-verdade das seguintes proposies: a) ~(p v ~q) b) p ^ q > p v q

c) ~p ^ r > q v ~r

d) (p ^ ~q) v r

7) Sabendo que os valores lgicos das proposies p e q so respectivamente F e V, determinar o valor lgico da proposio: (p ^ (~q > p)) ^ ~((p v ~q) > q v ~p)

8) Construa a tabela-verdade, com todas as possibilidades de V e F, para as seguintes frmulas: a) ~ ~ p b) ~ p v q c) ~ (p q) d) (p v q) ^ ~ (p ^ q)

PGINA 2