Buscar
Mostrando ítems 1-1 de 1
Trabajo Fin de Máster
Formalización de cáculos lógicos en Isabelle/Hol
(2017-06)
Natural deduction is a sound and complete proof procedure for propositional logic, that is, it only proves valid formulas and it proves every valid formula. In this work we establish the theory of propositional logic, and ...