O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn