Report - 5 - Lógica Matemática Representação e Inferênciagomide/courses/EA072/transp/EA072Logica... · Algoritmo: – enumerar modelos – verificar se αé verdadeira em todos modelos

Please pass captcha verification before submit form