18/04/2019 Informações da disciplina -

Ministério da Educação
Universidade Tecnológica Federal do Paraná
Câmpus Toledo

Informações da disciplina

Modalidade
Código Disciplina/Unidade
Modo de Avaliação da Oferta
Ofertado Curricular
disciplina

Lógica Matemática E Nota/Conceito E Semi-

MA1A Semestral
Conjuntos Frequência presencial

Carga Horária

AT AP APS ANP APCC Total

4 0 4 17 4 60

AT: Atividades Teóricas (aulas semanais).

AP: Atividades Práticas (aulas semanais).
ANP: Atividades não presenciais (horas no período).
APS: Atividades Práticas Supervisionadas (aulas no período).
APCC: Atividades Práticas como Componente Curricular (aulas no período, esta carga horária está incluída em
AP e AT).
Total: carga horária total da disciplina em horas.

Objetivo

Compreender os princípios deste ramo da matemática o qual fornece elementos que

fundamentam os processos de construção da matemática como ciência, e que possibilitaram
tantos avanços tecnológicos como, por exemplo, os computadores e o desenvolvimento da
inteligência artificial;

Compreender e valorizar as demonstrações e o rigor matemático;

Compreender os princípios que possibilitaram aplicação de formas de pensamento lógico

matemático na criação de algumas tecnologias;

Refletir sobre a docência na Educação Básica e sobre os encaminhamentos que são e/ou
podem ser dados ao ensino dos conteúdos da disciplina pertinentes a estes níveis de
escolaridade, quando o que se visa é a efetiva aprendizagem dos alunos.

Ementa

Sistematização da lógica Matemática; estruturação do cálculo proposicional; operações lógicas

fundamentais; relações de equivalência e de implicação Lógica; álgebra proposicional; teoria
da argumentação e análise inferencial no cálculo proposicional; cálculo dos predicados;
quantificação; funções proposicionais quantificadas; estudo axiomático da teoria dos
conjuntos; indução.

Conteúdo Programático

Ordem Ementa Conteúdo

https://utfws.utfpr.edu.br/acad00/sistema/mpPlanoEnsinoInformativo.pcPrintInfoPlaEns?p_Disccodnr=958&p_Plaenscodnr=9302&p_Unidcodnr=9 1/4
18/04/2019 Informações da disciplina -

Ordem Ementa Conteúdo

Breve panorama histórico da lógica

matemática, noções preliminares,
1 Sistematização da lógica Matemática
princípios fundamentais. Dedução
e indução.

Conceito de proposição,
proposições simples e compostas,
2 Estruturação do cálculo proposicional
valor lógico das proposições.
Conectivos. Tabela-verdade.

Negação, conjunção, disjunção,

disjunção exclusiva, condicional,
3 Operações lógicas fundamentais bicondicional. Tabela-verdade de
proposições compostas. Tautologia
e contradição.

Definição de implicação lógica,

propriedades da relação implicação
lógica. Tautologia e implicação
Relações de equivalência e de implicação
4 lógica. Definição de equivalência
Lógica
lógica, propriedades da relação de
equivalência lógica. Tautologia e
equivalência lógica.

Propriedades da conjunção,
propriedades da disjunção,
5 Álgebra proposicional Propriedades da conjunção e da
disjunção, negação da condicional,
negação da bicondicional.

Definição de argumento, validade

de argumento, critério de validade
de um argumento, argumentos
válidos, regras de inferência,
Teoria da argumentação e análise
6 validade mediante regras de
inferencial no cálculo proposicional
inferência e equivalências notáveis.
Método dedutivo, demonstração
direta, direta pela contrapositiva,
direta condicional e indireta.

Conceito de predicados,
formalização no cálculo de
predicados, regras de formação do
7 Cálculo dos predicados cálculo de predicados, equivalência
entre os quantificadores. Validade
de argumentos com
quantificadores.

Quantificador universal,
quantificador existencial,
quantificador de existência e
unicidade. Negação de proposições
8 Quantificação
envolvendo quantificadores.
Contra-exemplo. Quantificação de
funções proposicionais com mais
de uma variável.

https://utfws.utfpr.edu.br/acad00/sistema/mpPlanoEnsinoInformativo.pcPrintInfoPlaEns?p_Disccodnr=958&p_Plaenscodnr=9302&p_Unidcodnr=9 2/4
18/04/2019 Informações da disciplina -

Ordem Ementa Conteúdo

Conceito de funções
proposicionais, conjunto verdade
de uma função proposicional,
funções proposicionais com mais
9 Funções proposicionais quantificadas de uma variável, conjunto verdade
de uma função proposicional com
mais de uma variável. Operações
lógicas sobre funções
proposicionais.

Conjuntos e elementos, igualdade

de conjuntos, subconjuntos,
axioma da especificação e
conjunto universo e vazio. Axioma
da união, axioma do par, axioma
da união, união e interseção de
conjuntos, diferença e
10 Estudo axiomático da teoria dos conjuntos complementar de conjuntos.
Álgebra de conjuntos, união e
interseção de famílias,
representação de conjuntos com
diagrama de Venn e de linha.
Conjunto das partes de um
subconjunto, produto cartesiano e
relação.

Primeiro e segundo Princípio de

11 Indução
indução finita

Bibliografia Básica

HEGENBERG. L. Lógica. 3. ed. Rio de Janeiro: LTC, 2012.

ALENCAR Filho, Edgard. Iniciação à lógica matemática. São Paulo: Nobel. 2000.

MORTARI, Cezar A. Introdução à lógica. São Paulo, SP: Ed. UNESP, 2001. xiii, 393 p. ISBN 8571393370.

Bibliografia Complementar

SOUZA, J. N. Lógica para ciências da computação. Rio de Janeiro: Campus, 2008.

MARTINS, Márcia da Silva. Lógica: uma abordagem introdutória. Rio de Janeiro, RJ: Ciência Moderna, 2012. 149 p. ISBN
9788539902552.

FREGE, G. Lógica e filosofia da linguagem. São Paulo: Cultrix/EDUSP, 1978.

MENDELSON, E. Introduction to mathematical logic. 3rd ed. Pacific Grove: Wadsworth & Brooks, 1987.

DAGHLIAN, Jacob. Lógica e álgebra de Boole. 4. ed. São Paulo, SP: Atlas, c1995. 167 p. ISBN 8522412561.

# Resumo da Alteração Edição Data Aprovação Data

Joao Roberto
1 Aprovado Tanganelli 23/07/2018 Ivan Jose Coser 30/07/2018
Garcia

18/04/2019 19:17

https://utfws.utfpr.edu.br/acad00/sistema/mpPlanoEnsinoInformativo.pcPrintInfoPlaEns?p_Disccodnr=958&p_Plaenscodnr=9302&p_Unidcodnr=9 3/4
18/04/2019 Informações da disciplina -

https://utfws.utfpr.edu.br/acad00/sistema/mpPlanoEnsinoInformativo.pcPrintInfoPlaEns?p_Disccodnr=958&p_Plaenscodnr=9302&p_Unidcodnr=9 4/4