Exercícios
7 Dezembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Derivações com predicados binários e quantificação múltipla.
Reductio e demonstração condicional no Cálculo de Predicados.
7 Dezembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Derivações com predicados binários e quantificação múltipla.