Aula teórica 7

8 Outubro 2019, 09:30 • Maria da Purificação Antunes Coelho

Condições. Condições universais, condições possíveis e condições impossíveis. 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).