T13
29 Outubro 2019, 10:30 • Mário Jorge Edmundo
Mais exemplos de demonstrações formais (usando o terceiro excluído), incluindo: a outra lei de De Morgan, regra de substituição para o condicional, negação da implicação e exercício 44 (3).
29 Outubro 2019, 10:30 • Mário Jorge Edmundo
Mais exemplos de demonstrações formais (usando o terceiro excluído), incluindo: a outra lei de De Morgan, regra de substituição para o condicional, negação da implicação e exercício 44 (3).