Noções de Lógica Matemática - PUC

PONTIFÍCIA UNIVERSIDADE CATÓLICA DE SÃO PAULO
FACULDADE DE CIÊNCIAS EXATAS E TECNOLOGIA

Como sempre eu estava na internet pesquisando e estudando também e acabei encontrando este site muito interessante sobre Lógica Matemática que resolvi compartilhar com vocês que
creio que seja muito proveitoso para vocês, tanto quem estuda programação e tanto para que estuda para concursos.

Link:

 http://www4.pucsp.br/~logica/

Conteúdos:

Introdução

Classificação da Lógica
Períodos da Lógica
Aristotélico
Booleano
Atual
Cálculo Proposicional I
Proposição
Linguagem
Tabelas Verdade 

Álgebra dos Conjuntos
Estruturas
Diagramas de Venn
Cálculo Proposicional II
Tautologia
Regras de Inferência
Propriedades
FNC e FND
Problema de Post
Álgebra Booleana
Álgebra Booleana
Mapa de Karnaugh
Circuitos
Argumento
Validade
Tabela-verdade
Demonstração Direta
Dem.Condicional
Dem.Absurdo
Árvores de Refutação
Método
Regras
Exemplos
Cálculo de Predicados
Introdução
Linguagem
Fórmulas
Termos
Enunciado Categórico
Argumento Categórico
Árvores de Refutação

Espero que tenham gostado!