Derivações

17 Dezembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça

Tradução de argumentos da linguagem natural para o Cálculo de Predicados e demonstração de validade.