8. Um fragmento de inglês🔗

namespace English

8.1. Formas Linguísticas e Traduções para Lógica🔗

8.2. Um fragmento do Inglês🔗

8.3. FOL como Linguagem de representação🔗

8.4. Uma Estrutura de Primeira Ordem🔗

end English