Tema 2

12 Outubro 2017, 11:30 • Mário Jorge Edmundo

Propriedades da implicação lógica de condições. Quantificador universal; exemplos; quantificador existencial; exemplos.