Sumários

[07.10.2021] - Funções de Verdade

16 Setembro 2021, 08:00 Maria Adriana Sequeira da Silva Graça

Distinção entre proposições atómicas e proposições moleculares.


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.


[04.10.2021] - Apresentação

13 Setembro 2021, 08:00 Maria Adriana Sequeira da Silva Graça

Apresentação do programa da disciplina.

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.