Derivações
4 Dezembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Demonstração da validade de argumentos no Cálculo de Predicados.
Quantificação simples e dupla.4 Dezembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Demonstração da validade de argumentos no Cálculo de Predicados.
Quantificação simples e dupla.