The Use of Logic in Legal Reasoning