Bicondicionais. Tabelas de verdade.

3 Outubro 2017, 18:00 • Ricardo Santos

A bicondicional como abreviatura da conjunção de condicionais – respectiva função de verdade. Proposições verdadeiras ou falsas em diferentes circunstâncias possíveis; fórmulas verdadeiras ou falsas em diferentes ‘interpretações’ da linguagem. O uso de tabelas de verdade para determinar o valor de verdade de fórmulas complexas nas diversas interpretações. Tautologias, contradições e fórmulas (logicamente) contingentes.