Consequência semântica e consequência sintáctica. Correcção e completude.

30 Outubro 2017, 18:00 • Ricardo Santos

Exercícios de dedução natural na lógica proposicional, com regras primitivas. Os três componentes essenciais de uma teoria lógica: uma linguagem formal, uma semântica e um método lógico de prova (ou demonstração). Consequência semântica (preservação da verdade em todas as interpretações) e consequência sintáctica (derivabilidade por aplicação das regras de inferência) – relações entre as duas noções. Correcção e completude de um método lógico. O método da dedução natural para a lógica proposicional é correcto e completo.