Argumentation for Propositional Logic and Nonmonotonic Reasoning