Anhanguera Campinas Unidade 3

Cincia da Computao
Lgica Matemtica
Luiz Filipe de Castro Moraes
4997025726

Atividades Prticas Supervisionadas de Lgica Matemtica

Carlos Fernando Papotti
Campinas, 11 de Abril de 2014
ATPS Lgica Matemtica
Etapa 1 Introduo Lgica. lgebra dos conjuntos.
Sabendo-se que dos 110 funcionrios de nossa empresa, 80 so casados, 70
possuem casa
prpria e 30 so solteiros e possuem casa prpria.
(a) Mais da metade dos funcionrios casados possui casa prpria.
(b) Dos funcionrios que possuem casa prpria h mais solteiros que casados.
Analisando:
Sentena (a) est errada, pois com um total de 110 funcionrios na empresa, dos
70 que
possuem casa, 30 so solteiros, restando 40 casados com casa prpria,
resultando assim na
metade de funcionrios casados, no em mais da metade como citado na
sentena.
Sentena (b) est errada, pois com base na sentena (a), so 30 solteiros com
casa prpria e 40
casados com casa prpria, sendo o nmero de casados maior que o de solteiros
em relao
casa prpria.
Item (a) e Item (b): Atribuindo ER
Etapa 2: Lgica Proposicional.
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.
Analisando:
A- Se Rodolfo Mais Alto que Guilherme Ento Heloisa Mesma Altura que Flvia
B- Se Heloisa Mesma Altura que Flvia Ento Guilherme Mais Alto que Alexandre
C- Se Guilherme Mas Alto que Alexandre Ento Rodolfo Mais Alto que Heloisa
D- Rodolfo No mais alto Heloisa

Em linguagem proposicional, podemos dizer que A B, B C, C D. Porm ao

fim do
texto, onde Rodolfo no mais alto que Helosa, atribumos ~D. Seguindo a
mesma lgica
que ~D, todas as atribuies passam a ser falsas, assim ~A, ~B, ~C e ~D.
A partir desse raciocnio, invertemos as atribuies para ~B ~A, ~C ~B, ~D
~C.
Concluindo, Rodolfo no mais alto que Guilherme, assim Helosa no tem a
mesma altura
de Flvia, assim Guilherme no mais alto que Alexandre, assim Rodolfo no
mais alto que
Helosa.
Assim, conclumos que a resposta correta correspondente, (a) Rodolfo no mais
alto que
Guilherme, e Helosa e Flvia no tm a mesma altura. Podendo atribuir OC.
Etapa 3: Lgica Proposicional.
Reescrever o pseudocdigo a seguir com uma expresso condicional mais
simples, cuja funo mpar
(n) tem o valor lgico verdadeiro se n for mpar.
se no ((valor1