Método da Resolução na Lógica de Predicados: Parte 2 - Skolemização

A primeira parte da aula (forma Prenex) está disponível em    • Método da Resolução na Lógica de Predicado...   . Os slides estão disponíveis para download em formato .odp (LibreOffice) no link: https://drive.google.com/file/d/1vX2P... Para visualizar corretamente os slides, clique no ícone de abrir numa nova janela no canto superior direito, em seguida faça o download para o seu computador e abra o arquivo no LibreOffice. Caso não possua o LibreOffice instalado, baixe-o em https://www.libreoffice.org/ . Também é possível baixar uma versão que pode ser instalada num pendrive e executada em qualquer computador windows sem necessidade de permissão de administrador: https://www.libreoffice.org/download/...