FACULDADE ANHANGUERA DE RIBEIRO PRETO

Curso: CINCIA DA COMPUTAO

Disciplina: Lgica Matemtica
Professora: Kathia Garcia de Figueiredo

Douglas Donizete Cardoso

RA: 6265238887

ATIVIDADES PRTICAS SUPERVIOSIONADAS (ATPS)

Ribeiro Preto/ SP

Abril / 2015Douglas Donizete Cardoso

RA: 6265238887

Relatrio 1: Apresentao da Disciplina e Metodologia de Trabalho. Introduo

Lgica. lgebra de Conjuntos.
Relatrio 2: Lgica Proposicional Linguagem; Conectivos e Valores Lgicos;
Tautologias.

Relatrio das etapas 1 e 2 da Atividades

Prticas

Supervisionada,

desenvolvido

durante a disciplina de Lgica Matemtica

como parte da avaliao referente ao 1
Bimestre.
Professora: Kathia Garcia de Figueiredo

Ribeiro Preto / SP
Maro/ 2015
2

ndice

Anlise da etapa 1.............................................................................................................4

Associaes ......................................................................................................................4
Anlise da etapa 2 ............................................................................................................5
Associaes .....................................................................................................................5
Bibliografia .....................................................................................................................7

Anlise 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.
Fiz a seguinte anlise:

Tendo um total de 110 pessoas, desses 30 so solteiros e possuem casa prpria e 70

funcionrios apenas tem casa prpria. Percebi que o enunciado no citou o estado civil dos
que possuem casa prpria e nem quantidade de funcionrios casados com casa prpria. Para a
soluo denominei que total de funcionrios = U = 110, funcionrios casados = C = 80,
funcionrios com casa prpria = P = 70, funcionrios solteiros e com casas prprias = 30
e funcionrios casados com casa prpria = CM = ?. Portanto presumi que:
Para a resposta da alternativa A, calcula-se P S = CM ou seja 70 30 = 40. Conclu que 40
o nmero de pessoas que so casadas e possuem casas prprias.
Ento temos o seguinte resultado, tambm demonstrado no diagrama de Venn:
U = 110 total de funcionrios;
S = 30 pessoas que so solteiras e possuem casa prpria;
C = 40 pessoas que so casadas e no possuem casas prpria;
CM = 40 pessoas que so casadas e possuem casas prprias.
Figura 1 - Diagrama de
VENN

Conclui-se ento que a alternativa A Mais da metade dos funcionrios casados possui casa
prpria. Est ERRADA pois h 40 funcionrios que so casados e possuem casa prpria e
no mais da metade.
A concluso da alternativa B - Dos funcionrios que possuem casa prpria h mais solteiros
que casados. Com base nos clculos efetuados anteriormente temos como resposta CM > S
ou seja (40 > 30). Com isso a alternativa est ERRADA.
Utilizando o resultado das respostas do desafio anterior que tem como afirmao que AB
ERRADO. Temos como associao as letras ER.

Anlise Etapa 2
Conforme segue o desafio da etapa dois:
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.
Para o desafio utilizei como base de clculo a seguinte denotao: (AR) altura de Rodolfo,
(AG) altura de Guilherme, (AH) altura de Helosa, (AF) altura de Flvia, (AA) altura de
Alexandre. Tendo assim os seguintes parmetros:
(AR > AG) (AH = AF)
(AH = AF) (AA < AG)
(AA < AG) (AR > AH)
(AR > AH)
(AA < AG) Falso
(AH = AF) Falso
(AR > AG) Falso

Com essa informao posso afirmar que:

a)
b)
c)
d)
e)

Rodolfo mais alto que Guilherme;

Helosa e Flvia tema a mesma altura;
Alexandre mais baixo que Guilherme
Rodolfo mais, alto que Helosa;
Rodolfo no mais alto que Helosa.

Com isso concluo que a afirmao de alternativa E nega completamente o desafio, pois
Rodolfo no mais alto que Helosa contrariando assim a afirmao D.
Fazendo com que as afirmaes restantes sejam todas falsas, tendo como fundamentos as
regras de implicao.
Levando em considerao que o desafio est com todas as informaes falsas. Temos a
seguinte anlise:

a) Rodolfo no mais alto que Guilherme (VERDADEIRO) e Helosa e Flvia no tm a

mesma altura (VERDADEIRO);
b) Rodolfo mais alto que Guilherme (FALSO) e Helosa e Flvia tm a mesma altura
(FALSO);
c) Rodolfo no mais alto que Flvia (FALSO) e Alexandre mais baixo que Guilherme
(FALSO);
d) Rodolfo e Alexandre so mais baixos que Guilherme (FALSO);
e) Rodolfo mais alto que Guilherme (FALSO) e Alexandre mais baixo que Helosa
(FALSO);
Sendo a alternativa A somente como VERDADEIRA as restantes so FALSAS. Com
essa concluso as letras que so correspondentes so OC, desta etapa.

Bibliografia:

ABAR, Celina. Noes de Lgica Matemtica: Disponvel em: Acesso em: 05/04/2015;
SOUZA, Joo Nunes de. Lgica para Cincia da Computao: uma introduo concisa. 2 ed.
Rio de Janeiro: Campus - Elsevier, 2008;
http://docente.ifrn.edu.br/cleonelima/disciplinas/fundamentos-de-programacao2.8401.1m/fundamentos-de-logica-e-algoritmos-1.8401.1v/apostila-equivalencias-logicas:
Acessado em 05/04/2015;
http://www.pmtech.com.br/PMP/Dicas%20PMP%20-0Diagramas%20de%20Venn.pdf:
Acessado 05/04/2015;