PLANO DE ENSINO

Lógica

I – Ementa
Introdução à lógica. Sistemas dicotômicos. Operações lógicas sobre
proposições. Construção da tabela-verdade. Relações de implicação e de
equivalência. Argumento válido. Técnicas dedutivas. Fluxogramas.
Quantificações. Álgebra de Boole. Funções booleanas e suas representações.
Formas normais.

II – Objetivos gerais
Capacitar o aluno nos conceitos fundamentais de lógica matemática para
a definição formal de conceitos computacionais e para aplicar os conhecimentos
adquiridos na resolução de problemas pelos métodos indutivo e dedutivo,
encontrados na área profissional.

III – Objetivos específicos

 Desenvolver a capacidade de raciocínio lógico para a resolução de
problemas.
 Desenvolver seu espírito crítico e criativo.
 Desenvolver conhecimentos básicos de lógica matemática que
possibilitem a verificação da validade de argumentos.

IV – Competências
 Conhecer os conceitos fundamentais de lógica matemática e aprender a
operar proposições lógicas.
 Desenvolver e estruturar o raciocínio lógico que servirá de base para a
aprendizagem de linguagens de programação e para análise e resolução
de problemas do cotidiano profissional.
 Reconhecer que o aprimoramento do raciocínio lógico auxilia na
interpretação de textos e na organização das ideias.
 Reconhecer que o processo de inferência lógica pode ser utilizado em
diversas áreas do conhecimento e do cotidiano.

V – Conteúdo programático

1. Introdução
 História da lógica e da computação.
 Classificação da lógica e definições básicas.
2. Sistemas dicotômicos
 Introdução.
 Interruptores.
 Conjuntos.
 Proposições.
3. Operações lógicas sobre proposições
 Negação.
  Conjunção.
 Disjunção inclusiva ou soma lógica.
 Disjunção exclusiva.
 Condicional.
 Bi condicional.
4. Construção da tabela-verdade
 Tautologias.
 Contradições.
 Contingências.
5. Relações de implicação e de equivalência
 Definições.
 Relação de implicação.
 Relação de equivalência.
 Equivalências notáveis.
 Propriedades.
6. Argumento válido
 Definição.
 Regras de inferência.
7. Técnicas dedutivas
 Prova direta.
 Prova condicional.
 Prova bi condicional.
 Prova indireta ou por redução ao absurdo.
 Prova indireta de forma condicional.
8. Fluxogramas
9. Quantificações
 Sentença aberta.
 Quantificador universal.
 Quantificador existencial.
 Valores lógicos de sentenças quantificadas.
 Negação de sentenças quantificadas.
10. Introdução à álgebra de Boole
 Operador binário.
 Propriedades das operações.
 Sistemas algébricos.
11. Funções booleanas
12. Representação das funções booleanas
 Diagramas de Venn ou círculos de Euler.
 Tabelas-verdade.
 Representação geométrica.
13. Formas normais
 Forma normal a n variáveis.
 Forma normal disjuntiva.
 Forma normal conjuntiva.
 Funções na forma binária.
 Funções na forma decimal.
VI – Estratégia de trabalho
A disciplina é ministrada por meio de aulas expositivas, metodologias
ativas e diversificadas apoiadas no plano de ensino. O desenvolvimento dos
conceitos e conteúdos ocorre com o apoio de propostas de leituras de livros e
artigos científicos básicos e complementares, exercícios, discussões em fórum
e/ou chats, sugestões de filmes, vídeos e demais recursos audiovisuais. Com o
objetivo de aprofundar e enriquecer o domínio dos conhecimentos e incentivar a
pesquisa, o docente pode propor trabalhos individuais ou em grupo, palestras,
atividades complementares e práticas em diferentes cenários, que permitam aos
alunos assimilarem os conhecimentos essenciais para a sua formação.

VII – Avaliação
A avaliação é um processo desenvolvido durante o período letivo e leva
em consideração todo o percurso acadêmico do aluno, como segue:
 acompanhamento de frequência;
 acompanhamento de nota;
 desenvolvimento de exercícios e atividades;
 trabalhos individuais ou em grupo;
 estudos disciplinares;
 atividades complementares.
A avaliação presencial completa esse processo. Ela é feita no polo de
apoio presencial no qual o aluno está matriculado, seguindo o calendário
acadêmico. Estimula-se a autoavaliação, por meio da autocorreção dos
exercícios, questionários e atividades, de modo que o aluno possa acompanhar
sua evolução e rendimento escolar, possibilitando, ainda, a oportunidade de
melhoria contínua por meio da revisão e feedback.
Os critérios de avaliação estão disponíveis para consulta no Regimento
Geral.

VIII – Bibliografia
Básica
BISPO, Carlos Alberto F.; CASTANHEIRA, Luiz B.; FILHO, Oswaldo Melo S.
Introdução à Lógica Matemática. São Paulo: Cengage Learning Brasil, 2017.
9788522115952. Disponível em:
https://integrada.minhabiblioteca.com.br/#/books/9788522115952/.

NICOLETTI, Maria do C. A cartilha da Lógica. 3. ed. São Paulo: Grupo GEN,

2017. 9788521633433. Disponível em:
https://integrada.minhabiblioteca.com.br/#/books/9788521633433/.

DAGHLIAN, Jacob. Lógica e álgebra de Boole. 4. ed. São Paulo: Grupo GEN,
1995. 9788522483044. Disponível em:
https://integrada.minhabiblioteca.com.br/#/books/9788522483044/.
Complementar
VILLAR, Bruno. Raciocínio lógico-matemático facilitado. São Paulo: Grupo GEN,
2019. 9788530987367. Disponível em:
https://integrada.minhabiblioteca.com.br/#/books/9788530987367.

QUILELLI, Paulo. Raciocínio lógico matemático para concursos. 3. ed. São

Paulo: Saraiva, 2015. 9788502628427. Disponível em:
https://integrada.minhabiblioteca.com.br/#/books/9788502628427/.

HEGENBERG, Leônidas. Lógica – o cálculo sentencial, cálculo de predicados e

cálculo com igualdade. 3. ed. São Paulo: Grupo GEN, 2012. 978-85-309-4355-
4. Disponível em: https://integrada.minhabiblioteca.com.br/#/books/978-85-309-
4355-4.

DA SILVA, Flávio Soares Corrêa; FINGER, Marcelo; MELO, Ana Cristina Vieira
D. Lógica para computação. 2. ed. São Paulo: Cengage Learning Brasil, 2018.
9788522127191. Disponível em:
https://integrada.minhabiblioteca.com.br/#/books/9788522127191/

GOLDSTEIN, Laurence; BRENNAN, Andrew; DEUTSCH, Max; LAU, Joe Y.

Lógica. São Paulo: Grupo A, 2007. 9788536309651. Disponível em:
https://integrada.minhabiblioteca.com.br/#/books/9788536309651/