Temas 2 e 3
17 Outubro 2017, 09:30 • Mário Jorge Edmundo
Combinações de quantificadores e de operações lógicas. Equivalência e implicação lógica envolvendo quantificadores, propriedades, regras de substituição. Argumentos válidos e implicações lógicas.