Logic in Argumentative Writing