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.