[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.