Derivações

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

Demonstração da validade de argumentos no Cálculo de Predicados.