Report - Tema 4: Cálculo Deductivo• Lógica proposicional como sistema de deducción: o Se parte de un conjunto de formulas que se denominan PREMISAS. o Se utilizan las reglas de inferencia

Please pass captcha verification before submit form