Sumários
T20
26 Novembro 2019, 10:30 • Mário Jorge Edmundo
Variáveis mudas numa fórmula, substituição de variáveis mudas. Forma normal prenexa, exemplos. Regras de inferência para os quantificadores: notas sobre: consequência lógica e inferência válida para sentenças possivelmente com quantificadores, regras de inferência para os conectivos e a contradição para sentenças possivelmente com quantificadores. A regra eliminação do quantificador universal (A Elim) ou instanciação universal, a regra introdução do quantificador existencial (E Intro) ou generalização existencial. Exemplo de uma inferência válida e respectiva demonstração informal e formal.
Lógica dos Quantificadores
26 Novembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 107, 108 (2, 4, 9, 10, 11, 12, 13) e 110.
TP12_21
25 Novembro 2019, 12:00 • Mário Jorge Edmundo
Exercícios 103, 99 (10,12, 14, 15, 23, 24, 27, 29), 101, 104 (1, 3, 5).
Quantificadores, semântica e sintaxe
25 Novembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 99, 103 e 106.
T19
22 Novembro 2019, 09:30 • Mário Jorge Edmundo
Regras de substituição para fórmulas (continuação): comutatividade para os quantificadores, quantificação supérflua, quantificadores e disjunção, quantificadores e conjunção, contra-exemplos. Exemplos de pares de fórmulas logicamente equivalentes e respectivas traduções. Quantificadores e condicional.