Paraconsistent Logic: Consistency Contradiction and Negation