Logic and Legal Reasoning