Report - Lógica Proposicional e Dedução Natural · Uma Introdu˘c~ao Intuitiva Proposi˘c~oes DN: regras b asicas Suposic~oes Regras para disjun˘c~ao Contradi˘c~oes L ogica Proposicional

Please pass captcha verification before submit form