Tabelas de verdade.

A cinco funções de verdade: negação, conjunção, disjunção, implicação e equivalência - definições apresentadas e discutidas por meio de tabelas de verdade. Assimetrias entre estas funções e as conectivas correspondentes nas linguagens naturais. Paradoxos da implicação material.

A sintaxe do Cálculo Proposicional.

Construção das primeiras tabelas de verdade com duas e três variáveis proposicionais.

Datas e formas de avaliação: 2 testes escritos escalonados no tempo cujas datas constam da informação dada sobre a disciplina nesta plataforma.

Primeira aproximação à pergunta: "O que é a Lógica"? Resposta mais simples: é o estudo da inferência dedutivamente válida.

Distinção entre verdade e falsidade.

Distinção entre frase, proposição e asserção. 

Identificação do sistema da Lógica Clássica, alvo do nosso estudo.