DISCIPLINA Raciocínio Lógico

CARGA HORÁRIA 65 HORAS

EMENTA: Introdução à lógica elementar clássica (definições preliminares e uma

classificação da lógica e os períodos), as definições de argumento dedutivo e indutivo,
proposição e predicados; cálculo proposicional e de predicados (operações lógicas e
construção das tabelas-verdade), definindo os elementoPs – proposição e suas variáveis
proposicionais, conectivos lógicos, símbolos auxiliares, e a ordem de precedência dos
conectivos; fórmulas proposicionais especiais (proposições compostas e propriedades
semânticas); relações da implicação lógica e da equivalência lógica; álgebra das
proposições; o método dedutivo; a lógica predicativa; e o cálculo dos predicados de 1ª
ordem.

PROCEDIMENTOS METODOLÓGICOS

• Aulas expositivas com possibilidade de interação via Canal de Tutoria;

• Desenvolvimento de atividades de reflexão e debates entre alunos-alunos e alunos-
professores, via AVA Univirtus;
• Esclarecimento de dúvidas e realização de discussões via chat com o professor da
disciplina;
• Indicação de estudo em Rota de Aprendizagem e Vídeo Aulas;
• Indicação de referências (bibliográficas e audiovisuais) para ampliação do
conhecimento.

SISTEMÁTICA DE AVALIAÇÃO

• A avaliação será realizada com base nos objetivos propostos, considerando:

• Leitura dos textos indicados e a interação no AVA Univirtus;
• Realização de Atividade Pedagógica On-Line (APOL);
• Uma Atividade Prática (AP), realizada via AVA Univirtus;
• Uma prova objetiva, no Ambiente Virtual de Aprendizagem (AVA Univirtus), realizada
no Polo de Apoio Presencial (PAP);
• Uma prova discursiva, realizada no Polo de Apoio Presencial (PAP).

COMPETÊNCIAS
 Conhecer os principais conceitos relacionados à lógica;
 Proposições e conectivos; Operações lógicas sobre proposições;
 Construção de tabelas-verdade;
 Tautologias, contradições e contingências;
 Implicação lógica; Equivalência lógica;
 Álgebra das proposições; Método dedutivo;
 Argumentos e regras de inferência;
 Validade mediante tabelas-verdade; Validade mediante regras de inferência;
 Validade mediante regras de inferência e equivalências.
 Utilizar raciocínio Lógico para a solução adequada de problemas;
 Compreender as funções do raciocínio lógico e analítico.
HABILIDADES
 Conhecimento sobre uma classificação da lógica e seus períodos
 Os Símbolos da linguagem do cálculo proposicional
 A Construção das tabelas verdade
 Interpretar enunciados simples e compostos.
 Aplicar os operadores lógicos em enunciados.
 Interpretar tautologia, contradição e contingência.
 Interpretar implicações e equivalências lógicas.
 Inferir sobre lógica e argumentação.
 Utilizar quantificadores universais e existenciais em expressões lógicas.
 Realizar operações Lógicas com a Álgebra de Boole

BIBLIOGRAFIA BÁSICA
CASTANHEIRA, N. P.; LEITE A. E. Raciocínio lógico e lógica quantitativa. Curitiba:
InterSaberes, 2017. (Série Desmistificando a Matemática, 6). BVPearson
(https://plataforma.bvirtual.com.br/Leitor/Publicacao/54340/pdf/)

SOUZA, J. A. L.; Lógica Matemática São Paulo: Pearson, 2016. BVPearson

(https://plataforma.bvirtual.com.br/Leitor/Publicacao/150814/pdf/)

VILLAR, B.; Raciocínio lógico-matemático facilitado. 5ª ed. Rio de Janeiro: Forense;

São Paulo: MÉTODO, 2019. BVmb
(https://integrada.minhabiblioteca.com.br/reader/books/9788530987367/)

BIBLIOGRAFIA COMPLEMENTAR
BISPO, C. A. F.; Introdução à lógica matemática Cengage Learning, 2011. BVmb
(https://integrada.minhabiblioteca.com.br/reader/books/9788522115952/)

COPPIN, B. Inteligência artificial. Rio de Janeiro: LTC, 2017. BVmb

https://integrada.minhabiblioteca.com.br/reader/books/978-85-216-2936-8/

LUGER, G. F. Inteligência artificial. 6. ed. São Paulo: Pearson, 2013. BVPearson

(https://plataforma.bvirtual.com.br/Leitor/Publicacao/180430/pdf/)
SANTOS, M. S.; et. al. Lógica Computacional. Porto Alegre: Ed. Sagah, 2021. BVmb
(https://integrada.minhabiblioteca.com.br/reader/books/9786556901343/)

SILVA, F. S. C.; Lógica para computação. 2ª ed. São Paulo: Cengage Learning, 2017.
BVmb (https://integrada.minhabiblioteca.com.br/reader/books/9788522127191/)