T17

15 Novembro 2019, 09:30 • Mário Jorge Edmundo

Sentenças com quantificadores numa LPO. Muito exemplos de sentenças com dois quantificadores e respectivas traduções para a linguagem natural. Existência e unicidade; quantificações numéricas em geral.