Traduções

30 Novembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça

Derivações com a regra da Negação de Quantificadores.

Tradução de frases da linguagem natural no Cálculo de Predicados de 1ª Ordem.