Como seu vocabulário é finito e não tem símbolos de função, você pode usar jogos de Ehrenfeucht-Fraïssé.
Conhece essa técnica? -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/88c6d9b7-f420-46aa-aa86-5bf3aaeb0b06%40dimap.ufrn.br.
