FACULDADE ANHANGUERA DE JUNDIA Curso de Cincia da Computao Lgica Matemtica

Alonso Barros (4486738276) Christian Grossi (4200053640) Jonathan da Silva (5644121584) Renato Frana (3730705674) Valdionor Gil (4203780752

Atividade Prtica Supervisionada (ATPS)

Prof.: Thabata Martins

Jundia

2013

ETAPA 1
Sabendo-se que dos 110 funcionrios de nossa empresa, 80 so casados, 70 possuem casa prpria e 30 so solteiros e possuem casa prpria. Anlise do Desafio Total de funcionrios: 110 Casados: 80 Possui casa prpria: 70 Solteiros c/ casa prpria: 30 70 30 = 40 Casa prpria 80 40 = 40 Casados com casa prpria

P = Funcionrios casados Q = Funcionrios solteiros U = Total de funcionrios Diagrama de Venn:

Casados

Solteiros

40 40 30

U=110
(a) Mais da metade dos funcionrios casados possui casa prpria. R: Afirmativa acima falsa, pois a quantidade dos que possuem casa prpria e a quantidade de casados a iguais.

(b) Dos funcionrios que possuem casa prpria h mais solteiros que casados. R: Afirmativa falsa pois a quantidade de casados com casa prpria que so 40 maior do que a quantidade de solteiro com casa prpria que so 30 . Associamos as letras ER, pois o item (a) falso e o (b) tambm falso.

ETAPA 2
Se Rodolfo mais alto que Guilherme, ento Helosa e Flvia tm a mesma altura. Se Helosa e Flvia tm a mesma altura, ento Alexandre mais baixo que Guilherme. Se Alexandre mais baixo que Guilherme, ento Rodolfo mais alto que Helosa. Ora, Rodolfo no mais alto que Helosa. (a) Rodolfo no mais alto que Guilherme, e Helosa e Flvia no tm a mesma altura; (b) Rodolfo mais alto que Guilherme, e Helosa e Flvia tm a mesma altura; (c) Rodolfo no mais alto que Flvia, e Alexandre mais baixo que Guilherme; (d) Rodolfo e Alexandre so mais baixos que Guilherme; (e) Rodolfo mais alto que Guilherme, e Alexandre mais baixo que Helosa. Proposio simples como sendo verdadeira (V): Rodolfo no mais alto que Helosa Ento temos: Alexandre mais alto que Guilherme. Heloisa e Flavia no tem a mesma altura. Rodolfo mais baixo que Guilherme. Seguindo as respostas acima temos as alternativas: (a) V^V=V (b) F^F=F (c) X^F=F (d) F=F (e) F^x=F X um valor no definido, julgado ento como sendo verdadeira (V) e falsa (F), pois dar o mesmo resultado. Atribumos as letras OC, pois a alternativa correta a alternativa (a).

ETAPA 3
Aps traduzirmos para a linguagem proposicional o desafio proposto temos: (p v q) v (p ^ q) Proposio 1 v Proposio 2 Resoluo da simplificao da expresso acima: 1 (p v q) [hiptese] 2 p ^ q [hiptese] Proposio 1 v Proposio 2 1 p v q [hiptese] 2 p ^ q [hiptese] 3 pvq [1,negao] 4 p [2,simplilficao] 5q [3,4 Silogismo Disjuntivo] Atribumos as letras BA pois a resposta encontrada foi 3 regras de inferncia.

ETAPA 4
Passar para Linguagem Proposicional Jos quer ir ao teatro assistir pea A Vida uma Comdia, mas no tem certeza se a mesma est sendo exibida. Seus amigos, Maria, Lus e Jlio tm opinies discordantes sobre se a pea est ou no em cartaz. Se Maria estiver certa, ento Jlio est enganado. Se Jlio estiver enganado, ento Lus est enganado. Se Lus estiver enganado, ento a pea no est sendo exibida. Ora, ou a pea A Vida uma Comdia est sendo exibida, ou Jos no ir ao teatro. Verificou-se que Maria est certa. Prova de Validade p- Maria est certa q- Jlio est enganado r- Lus est enganado s- A pea no est sendo exibida. t- Jos ir ao trabalho

1. 2. 3. 4. 5. 6. 7. 8. 9.

p [Premissa] p q [Premissa] q r [Premissa] r s [Premissa] s v t [Premissa] q [Modus Ponens 1 e 2] r [Modus Ponens 6 e 3] s [Modus Ponens 7 e 4] t [Silogismo Disjuntivo 5 e 8]

(a) a pea A Vida uma Comdia est sendo exibida; (b) Lus e Jlio no esto enganados; (c) Jlio est enganado, mas no Lus; (d) Lus est enganado, mas no Jlio; (e) Jos no ir ao teatro. R: Alternativa correta, letra (e).

ETAPA 5
Resolvendo as etapas e passos anteriores, a letra encontrada a letra E.

ETAPA 6
Todo notebook tem uma entrada USB. Alguns notebooks tm leitor biomtrico. Portanto, alguns notebooks tm uma entrada USB e um leitor biomtrico. Traduzindo para Linguagem de Predicados N(x) para x um notebook U(x) para x tem uma entrada USB B(x) para x tem leitor biomtrico x (N(x) U(x)) x (N(x) ^ B(x)) x (N(x) (U(x) ^ B(x))) Hip Hip

Prova
1. 2. 3. 4. 5. 6. 7. 8. x (N(x) U(x)) x (N(x) ^ B(x)) N(a) ^ B(a) N(a) U(a) N(a) U(a) N(a)(U(a) ^ B(a)) x (N(x)(U(x) ^ B(x)) [Hip] [Hip] [2, Particularizao Existencial] [1, Particularizao Universal] [3, Simplificao] [5,Modus ponens] [3,6 Conjuno] [7,Generalizao existencial]

R: A resposta a qual nos aproximamos ao resolver este desafio da ETAPA 6 : (a) particularizao existencial(pe); particularizao universal(pu); simplificao(simp); modus ponens(mp); conjuno(conj); comutatividade(com); generalizao existencial (ge). Obs: Ao fazermos a resoluo pra chegar a concluso do desafio acima no usamos a regra de inferncia comutatividade (com), como esta na sequencia de resoluo descrita na opo (a), pois chegaramos a uma concluso diferente d que encontramos ao montar as hipteses. Atribumos a letra N, pois a resposta encontrada foi a letra (a).

ETAPA 7
Considerando que e o desafio foi iniciado com a seguinte informao: A luz de uma sala controlada por dois interruptores, um em cada extremidade. Temos o seguinte circuito:

Atravs do circuito mostrado acima temos a seguinte funo booleana: F= A+ B Temos tambm a seguinte expresso booleana: A+ B

ETAPA 8
Dados os circuitos mostrados na ATPS Passo 8, o circuito que permite que a luz seja acesa ou apagada em qualquer dos dois interruptores o circuito da letra (a)

Prova
x1 = A x2 = B

A 1 1 0 0

B 1 0 1 0

B
0 1 0 1

A+ B 1 1 0 1

Legenda: 1 ligado, 0 desligado Onde se A estiver ligado e B desligado a luz acesa; Se A estive ligado e B ligado a luz acesa; Se A estiver desligado e B desligado a luz apagada; Se A estiver desligado e B ligado a luz ligada; Atribumos ento as Letras AM, pois a alternativa correta a alternativa (a), descoberta no passo 1 desta etapa Associando as letras adquiridas no decorrer da resoluo das etapas temos ento formada a palavra: ER OC BA E N AM

Concluso
Para realizao desta ATPS foram utilizados todos os conhecimentos adquiridos em sala de aula, consolidando assim todos os nossos conhecimentos. Foram utilizados para a realizao dos desafios propostos nesta atividade o uso dos conhecimentos em conjuntos aplicao, linguagem proposicional, provas de equivalncia, regras de deduo e portas logicas. Atravs dos conhecimentos citados acima podemos realizar as atividades propostas e reforar o que se foi aprendido em sala de aula.