MATEMATICA PARA INFORMATICA

Lista exerccio n 8

6. Seja A={1,2,3,4} e seja a relao: R={(1,2),(2,2),(3,4),(4,1)}. Determine se R simtrica. Resposta: simetria: R no-simtrica, pois, por exemplo, 1R2 e 2R1

7. Mostre se a relao binria D reflexiva, simtrica, transitiva. Seja a relao D definida sobre R como: x; y R/ xDy xy 0: Resposta: Reflexiva (V): x R; xx 0. Independentemente do sinal de x, o seu quadrado sempre ser maior ou igual 0. Simtrica (V): x; y R; se xy 0 ento yx 0. Pela transitividade da multiplicao. Transitiva (V): x; y e z R; se xy 0 e yz 0 ento xz 0. Para esse predicado ser verdadeiro, y tem que ter o mesmo sinal de x e y tem que ter o mesmo sinal de z. Assim, x e z tm o mesmo sinal, o que garante que xz 0.

Lista exerccio n 9

2. Podemos afirmar que a proposio simblica possui no mximo 2 avaliaes falsas? (p ^ q) V R Resposta: Falso, atravs da construo de tabela verdade temos que a proposio composta possui 3 proposies falsas.

19. Carmem, Gerusa e Maribel foram suspeitas de um crime. Sabe-se que se Carmem inocente ento Gerusa culpada. Sabe-se que ou Maribel culpada ou Gerusa culpada, mas no as duas. Ora, Maribel no inocente. Pergunta: Quem so as culpadas? Resposta: Carmem e Gerusa so culpadas.

Lista exerccio n 10 01. Se Nestor disse a verdade, Jlia e Raul mentiram. Se Raul mentiu, Lauro falou a verdade. Se Lauro falou a verdade, h um leo feroz nesta sala. Ora, no h um leo feroz nesta sala. Logo, a. Nestor e Jlia disseram a verdade b. Nestor e Lauro mentiram c. Raul e Lauro mentiram d. Raul mentiu ou Lauro disse a verdade e. Raul e Jlia mentiram.

Resposta: Se no h um leo feroz na sala, ento "Lauro mentiu" Se Lauro mentiu ento Raul falou a verdade Se Raul falou a verdade ento "Nestor mentiu" Alternativa B - Se fssemos utilizar a tabela verdade teramos 32 linhas para resoluo.

07. Se Ana no advogada, ento Sandra secretria. Se Ana advogada, ento Paula no professora. Ora Paula professora. Portanto: a nica concluso verdadeira. a) Ana advogada. b) Sandra secretria. c) Ana advogada, ou Paula no professora. d) Ana advogada e Paula professora. e) Ana no advogada e Sandra secretria. Sabemos que, para esse tipo de argumento ser vlido, todas as suas premissas tero que ser verdadeiras e a concluso tambm. O que est sendo pedido nesta questo e tambm ser em todas as outras deste tipo, : Qual a concluso (necessariamente verdadeira) para o conjunto de premissas (todas verdadeiras) dado? Neste exemplo de questo, temos trs premissas: 1) Se Ana no advogada, ento Sandra secretria; 2) Se Ana advogada, ento Paula no professora; 3) Paula professora. A primeira e a segunda so premissas condicionais (do tipo: se, ento) e podem ser verdadeiras de 3 formas diferentes (V,V), (F,V) ou (F,F). J a terceira, alm de ser incondicional, ela dada (afirmada) como verdadeira, pois dito: Ora, Paula professora. Ser por essa premissa que comearemos a resoluo da questo, mas antes vamos transformar as proposies em letras e usar os smbolos lgicos para os conectivos, ou seja, vamos traduzir o enunciado para a linguagem lgica. Denominaremos por: a a proposio: Ana advogada; s a proposio: Sandra secretria; p a proposio: Paula professora. Note que devemos colocar (para no confundir) as proposies sempre na forma afirmativa e usar o modificador para neg-la quando for necessrio. mais seguro do que colocar umas na forma afirmativa e outras na forma de negao. Ento a argumentao lgica fica assim:

~a s; a ~p; p CONCLUSO (?).

Para descobrir o valor dessa concluso (a nica entre as opes de resposta, que ser V), vamos comear pela nica das 3 premissas que incondicional, a terceira, atribuindo-lhe o valor V. Sendo a proposio p verdadeira, a sua negao (~p) s pode ser falsa. Assim: ~a s; a ~p; p. ; F; V. A segunda premissa, para ser verdadeira, no pode ter o valor V para a proposio a, pois na condicional a seqncia VF tem como resultado o valor F. Logo, a proposio a tem que ter o valor F para que a premissa a ~p tenha V como resultado. Sendo a proposio a falsa, a sua negao (~a) s pode ser verdadeira. Logo: ~a s; a ~p; p. V ; F F; V. ; V ; V. Portanto, na primeira premissa, o valor verdade da proposio s no poder ser F, ter que ser V para que o seu resultado seja V, pois a seqncia VF na condicional ter F como resultado. Assim, finalizamos com: ~a s; a ~p; p. V V ; F F; V. V ; V ; V. Para essa argumentao ser vlida, a concluso tambm ter que ser verdadeira. J sabemos que: a proposio a: Ana advogada FALSA; a proposio s: Sandra secretria VERDADEIRA; a proposio p: Paula professora VERDADEIRA. Examinemos agora, cada uma das opes de resposta: (a) Ana advogada. No pode ser a opo de resposta, pois no argumento dado, esta proposio FALSA; (b) Sandra secretria. a resposta da questo, pois no argumento dado, esta proposio VERDADEIRA; J chegamos no gabarito da questo, mas vamos demonstrar porque no podemos ter como gabarito da questo as outras trs opes:

(c) Ana advogada ou Paula no professora. Proposio disjuntiva (OU). Mas Ana advogada FALSA e Paula no professora tambm FALSA. Mesmo na disjuno, a seqncia FF resultar em F e no poder ser a opo de resposta; (d) Ana advogada e Paula professora. Proposio conjuntiva (E). Logo na primeira proposio j temos FALSA e sendo o conectivo E, uma delas sendo F, o resultado ser F. Tambm no pode ser a opo de resposta; (e) Ana no advogada e Sandra no secretria. Assim como na opo de resposta anterior, uma proposio conjuntiva (E). A primeira proposio VERDADEIRA (negao de uma proposio falsa), mas a segunda FALSA (negao de uma proposio verdadeira) e assim, a seqncia VF resultar F. Tambm no pode ser a opo de resposta. Logo, entre as opes de resposta, a nica concluso possvel (verdadeira) para o argumento o exposto na letra B: Sandra secretria. O argumento completo ficaria assim: Se Ana no advogada, ento Sandra secretria. Se Ana advogada, ento Paula no professora. Ora, Paula professora. Portanto, Sandra secretria.