ATPS Logica matematica

Faculdade Anhanguera de Limeira

Atividades Práticas Supervisionadas

Lógica Matemática

Professor: Carmine Lombardi

Disciplina: Lógica Matemática

Limeira
MMXIV

Atividades Práticas Supervisionadas

Lógica Matemática

Este trabalho foi elaborado como exigência da disciplina Lógica matemática, sendo orientada pelo professor da matéria
Carmine Lombardi

Limeira
MMXIV

Sumário

Sumário 3
Introdução 4
Desafio “Playing Game” 4
ETAPA I – Álgebra de Conjuntos 4
Desafio 1 4
ETAPA II – Lógica Proposicional (Valores Lógicos) 5
Desafio 2 5
ETAPA III – Lógica Proposicional (Tautologias) 6
Desafio 3 6
ETAPA IV – Lógica Proposicional - Argumentos válidos; Regras de dedução; Métodos dedutivos; Argumentos verbais; Lógica posicional – Tableaux Semânticos. 7
Desafio 4 7

Introdução
Desafio “Playing Game”
Desafio proposto pelos proprietários da empresa Playing Game aos seus funcionários: “Descubra o nome do jogo”; uma brincadeira lançada pelos proprietários de uma empresa de software para incentivar o trabalho em equipe e o desenvolvimento do raciocínio lógico dedutivo de seus funcionários, tem por objetivo incitá-los a descobrir o nome do último grande lançamento da empresa de forma lúdica. Pistas são deixadas em cada etapa desta atividade, que resultarão em testar nossas habilidades em cada um dos temas abordados nesta disciplina.
ETAPA I – Álgebra de Conjuntos
Desafio 1
Sabendo-se que dos 110 funcionários de nossa empresa, 80 são casados, 70 possuem casa própria e 30 são solteiros e possuem casa própria, analisar os seguintes itens: a – Mais da metade dos funcionários casados possui casa própria. b – Dos funcionários que possuem casa própria há mais solteiros que casados
Resolução
Seguindo o modelo de resolução baseado no Diagrama de Venn concluímos:
A afirmação (a) é falsa, pois a metade dos funcionários casados tem casa, e não mais.
A afirmação (b) é falsa,