Lógica de primeira ordem
Linguagem, quantificadores, tradução, negação, ordem dos quantificadores, modelos e inferências elementares da lógica de primeira ordem.
Prática
Questões
65 questões no conjunto editorial atual.
As respostas ficam separadas pelo alias público definido em Configurações.
O filtro muda somente a exibição. A finalização e o progresso consideram todas as questões do assunto.