Aula 01 – Estruturas lógicas. Lógica de argumentação: analogias, inferências, deduções e conclusões. Lógica sentencial (ou proposicional). Proposições simples e compostas. Tabelas‐verdade. Equivalências. Leis de De Morgan. Diagramas lógicos. Lógica de primeira ordem.