Propositional and Predicate Calculus: A Model of Argument