AULA 20
27 Novembro 2018, 10:30 • Fernando Ferreira
Definição de fórmula e de sentença duma dada linguagem da lógica de primeira-ordem.
Formas aristotélicas: universal afirmativa, universal negativa, particular afirmativa e particular negativa. Exemplos.
Vários exemplos de traduções da linguagem natural para a linguagem do mundo de blocos.