Aula teórica 17

12 Novembro 2019, 09:30 • Maria da Purificação Antunes Coelho

Implicação e equivalência formais.

Asserções da forma "Existe um e um só x tal que P(x)".