Sumários
T18
19 Novembro 2019, 10:30 • Mário Jorge Edmundo
Interpretações de fórmulas de uma LPO; fórmulas satisfazíveis, condição universal, condição impossível, notação. Nota sobre possibilidade lógica, verdade lógica e falsidade lógica para sentenças de LPO (possivelmente com quantificadores). Fórmulas logicamente equivalentes; regras de substituição: idempotência, comutatividade, associatividade, distributividade, absorção, negação dupla, leis de De Morgan, regras para a condição universal e a condição impossível, regra para o condicional, regras para o bicondicional.
Mini-teste
19 Novembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Realização do 2º mini-teste em 3 turnos de 25 minutos cada.
Implicação e equivalência material - Demonstrações Formais
18 Novembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 76, 79, 81.
T17
15 Novembro 2019, 09:30 • Mário Jorge Edmundo
Sentenças com quantificadores numa LPO. Muito exemplos de sentenças com dois quantificadores e respectivas traduções para a linguagem natural. Existência e unicidade; quantificações numéricas em geral.