O que é a lógica?

O que é um argumento?

O que são premissas e conclusão?

O que é uma proposição? (Tipos de sentença)

Verdade, Validade e Correção (soundness)

Forma lógica e conteúdo

Uso e menção

O que é um silogismo categórico?

Proposições categóricas (qualidade e quantidade; A, E, I, O)

Termos (sujeito, predicado, cópula)

Termos: maior, menor e médio

Figuras e modos do silogismo

Quadrado das oposições (Proposições: contrárias, subcontrárias, contraditórias, subalternas)

Identificação e padronização dos silogismos

Testando a validade do silogismo por meio do Diagrama de Venn

Regras do silogismo

Falácias do silogismo

O problema da importação existencial na silogística

Conectivos lógicos verofuncionais 

Proposições simples e compostas / / Fórmulas atômicas e moleculares

Escopo dos conectivos // Identificação do conectivo principal

Tabela-verdade dos conectivos lógicos

O problema da implicação material

Recíproca, inversa e contrapositiva

Testes de validade por tabelas-verdade

Tautologias, contradições e contingências

Regras de inferência (Modus Ponens, Modus Tollens, Silogismo Disjuntivo, Silogismo Hipotético, Dilema Construtivo, Conjunção, Adição, Simplificação)

Equivalência lógica (Dupla Negação, Comutatividade, Associatividade, Distributividade, Leis de De Morgan, Implicação Material, Contraposição, Equivalência Material, Exportação/Importação, Idempotência, Absorção)

Método do tableau semântico

Método da dedução natural

Limitações da lógica proposicional

Predicados, nomes e variáveis

Quantificadores universal e existencial

Formalização de proposições quantificadas

Escopo dos quantificadores

Variáveis livres e ligadas

Negação de proposições quantificadas.

Quantificadores múltiplos e sua ordem

Dedução natural com quantificadores

George Boole e a algebrização da lógica.

Classes, conjuntos e operações booleanas.

Os valores 0 e 1.

Operações fundamentais: complemento, união e interseção.

Relação entre álgebra de classes e álgebra proposicional.

Leis e identidades booleanas (Leis da identidade e da dominação, Leis da idempotência, Leis da complementação, Leis comutativas e associativas, Leis distributivas, Leis de De Morgan, Leis da absorção, Princípio da dualidade)

Portas lógicas NOT, AND e OR.

Portas NAND, NOR, XOR e XNOR.

Representação de expressões por circuitos.

Construção de tabelas de verdade.

Simplificação de circuitos lógicos.

História da computação