ad1questao2simonegomesbarradopirai15115060453

Esta é uma pré-visualização de arquivo. Entre para ver o arquivo original

CEDERJ MÉTODOS DETERMINÍSTICOS I
Questão 2 da AD1 
Simone da Conceicao Gomes mat: 15115060453 Polo: Barra do Piraí
Esta questão vale 2.5 pontos na AD1 e deve ser resolvida até 12/08/2015 (o encerramento ocorrerá  dia 12/08/2015 às 23:55). 
 Considere que João  é uma homem que satisfaz às seguintes proposições compostas:
1)João gosta de animais ou João é casado.
2)João é administrador ou João não gosta de animais.
3)João tem mais de 30 anos ou João tem filhos.
4)João não é administrador ou João não é casado.
5)João é casado ou João  usa roupas amarelas.
6)João não usa roupas amarelas ou João tem mais de 30 anos.
7)João não é administrador e João não tem filhos.
Considere agora as seguintes representações para as proposições elementares:
a: João   é casado.
b: João  é administrador.
c: João tem mais de 30 anos.
d: João tem filhos.
e: João   gosta de animais.
f: João  usa roupas amarelas.
a) Usando as letras escolhidas para identificar as proposições elementares, reescreva as 7 proposições compostas dadas com os símbolos da Lógica.
1) e v a = F v V
2) b v ~e = F v V
3) c v d = V v F
4) ~b v ~a = V v F
5) a v f = (V) v (F)(V)
6) ~f v c = (F)(V) v V
7) ~b ^ ~d = V ^V
Analise: Pelo prop. 7 podemos afirmar que ~b e ~d é verdade, assim concluímos que b e d são falso verdade. Pela prop. 3 podemos afirmar que se d e falso então c tem que ser verdade para a prop. composta ser verdadeira e concluimos que ~c é falso. Pela prop. 2 se b é falso então ~e é verdade para que e prop. compposta ser verdadeira, assim concluimos que e é falsa. Pela prop. 1 se e é falsa então a é verdade para a prop composta ser verdaddeira.
Então: E verdade afirmar : 
João não é administrador/ João não tem filhos /João tem mais de 30 anos/ João não gosta de animais/João e casado.
Não é possível afimar:
João usa roupas amarela/ João não usa roupas amarelas.
b) Marque as afirmações abaixo com V se forem ``Verdadeiras", com F se forem ``Falsas e com NP se "Não é Possível Decidir" somente a partir das afirmações dadas na forma das 7 proposições compostas:
(   V     ) João é casado.
(   F     ) João tem filhos.
(   V     ) João não é administrador.
(   F     ) Uma das proposições apresentadas pode ser escrita como  .
e ^ a, significa que : João gosta de animais e João é casado não é uma das prop. 7 proposições proposta
(   F     ) João  é administrador.
(   F     ) João não é casado.
(   V     ) Uma das proposições apresentadas pode ser escrita como  .
e v a, é uma das pro.; significa que : João gosta de animais ou João é casado, é a primeira prop. 
(   F     ) João não tem mais de 30 anos.
(   NP     ) João não usa roupas amarelas.
(   V     ) Uma das proposições apresentadas pode ser escrita como (\thicksim \!b) \vee (\thicksim \!a) .
é verdade, significa que: João não é administrador ou João não é casado, é a quarta pro.
(   V     ) A negação de uma  das proposições apresentadas é  .
verdade; significa João é administrador e João é casado ,e é a negação da prop. 4 que é João não é administrador e João não é casado.
(   NP     ) João  usa roupas amarelas.
(   F     ) João  gosta de animais.
(   V  ) A negação de uma  das proposições apresentadas é   .
verdade; significa que: João usa roupas amarelas e João não tem mais de 30 anos => (NP) e F, pois representa a negação da prop 6 que é João não usa roupas amarelas ou João tem mais de 30 anos