Agua boa

[pic]

SISTEMA DE ENSINO PRESENCIAL CONECTADO
NOME DO CURSO

NOME DO(S) AUTOR(ES) EM ORDEM ALFABÉTICA

título do trabalho
SUBTÍTULO DO TRABALHO, SE HOUVER

Cidade
Ano de entrega

nome do(s) autor(es) em ordem alfabética

título do trabalho
SUBTÍTULO DO TRABALHO, SE HOUVER

Trabalho apresentado ao Curso (nome do curso) da UNOPAR - Universidade Norte do Paraná, para a disciplina [Nome da Disciplina].

Orientador: Prof.

Cidade

Ano de entregaApresentação da disciplina:
A disciplina visa abordar o estudo dos princípios e fundamentos da lógica clássica, como o cálculo proporcional, as proposições, as principais operações lógicas e argumentos válidos; e alguns tópicos da matemática discreta, como a álgebra dos conjuntos, as principais operações com conjuntos e as relações entre álgebra de conjuntos e a álgebra de proposições. São discutidos os fundamentos teóricos e também a aplicação em exercícios.

Objetivo da Disciplina
Apresentar uma introdução ao estudo da lógica clássica.
Expor os principais conceitos da lógica clássica.
Transitar entre a linguagem usual e a linguagem lógica, utilizando os símbolos adequados.
Construir tabelas-verdade.
Compreender as equivalências lógicas principais.
Compreender a relação entre a álgebra dos conjuntos e a álgebra das proposições.

Conteúdo Programático:
Classificação da Lógica.

Introdução à Lógica Clássica.

Desafios lógicos e tipos de problemas.

Conceito de proposição.

Princípios fundamentais da lógica clássica.

Conectivos lógicos.

Valores lógicos das proposições.

Uso da linguagem lógica.

Construção de tabelas-verdade.

Tautologias, contigências e contradições.

Resolução de problemas utilizando a tabela-verdade.

Equivalência lógicas principais utilizando a tabela-verdade.

Principais operações envolvendo conjuntos.

Relação entre álgebra dos conjuntos e álgebra das proposições.

Metodologia:
Os