Aula teórica 8

29 Outubro 2020, 11:30 • Maria da Purificação Antunes Coelho

Asserções da forma "Para todo o x, P(x)" e asserções da forma "Existe x tal que P(x)". Distributividade do quantificador universal (respetivamente existencial) relativamente à conjunção (respetivamente disjunção). Não distributividade do quantificador universal (respetivamente existencial) relativamente à disjunção (respetivamente conjunção).