Report - Lógica de Predicados (§1.3) - DEINF/UFMA - …paiva/cursos/edlm/slides/2Logica_Parte2.pdf · lPodemos usar lógica proposicional para provar que certas inferências são válidas.

Please pass captcha verification before submit form