Breve revisão da lógica clássica (2)

26 Setembro 2016, 10:00 • Ricardo Santos

O método das árvores para a LP e os seus usos: (i) testar a validade de argumentos, (ii) testar a demonstrabilidade (ou carácter de verdade lógica) de uma fórmula, (iii) encontrar contramodelos para argumentos inválidos ou fórmulas não-demonstráveis. Resolução de exercícios.

Breve apresentação da linguagem e da semântica da Lógica de Predicados clássica (LPr). A semântica dos quantificadores e os objectos sem nome.