Aula teórica 7
9 Outubro 2018, 09:30 • Maria da Purificação Antunes Coelho
Negação de expressões com quantificadores. Asserções da forma "Existe um e um só x tal que P(x)".
9 Outubro 2018, 09:30 • Maria da Purificação Antunes Coelho
Negação de expressões com quantificadores. Asserções da forma "Existe um e um só x tal que P(x)".