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