Sumários
T11_20
24 Novembro 2023, 09:30 • Mário Jorge Edmundo
Breve referência a alguns meta-teoremas: teorema de completude de Godel; teorias, teoremas e axiomas, exemplos (aritmética de Robinson, aritmética de Peano e aritmética); decidibilidade e semi-decidibilidade; teorias com axiomas decidíveis são semi-decidíveis; teorias completas com axiomas decidíveis são decidíveis; teorema de incompletude de Godel; teorema de indecidibildade de Church; aritmética de Skolem, aritmética de Presburger, aritmética sem multiplicação; teorema de Presburger.
TP12: Fórmulas e quantificadores.
23 Novembro 2023, 10:30 • Mário João de Jesus Branco
Exerc. 64(5), 106 e 109.
TP14: Consequência lógica.
22 Novembro 2023, 09:30 • Mário João de Jesus Branco
Exerc. 14, 33 e 64(1), (2).