Exemplos

• As Árvores Genealógicas ilustram uma aplicação simples da formalização e dedução de primeira ordem.
• Os Números, Conjuntos e Listas formalizam domínios de aplicações reais.