Aula teórica 17

15 Novembro 2018, 11:30 • Maria da Purificação Antunes Coelho

Estratégias para demonstrar um objetivo da forma "Existe um e um só x tal que P(x)".
Mais alguns exemplos de inferências válidas e de tautologias.