이유 추론의 엄밀함: 기호적 표현과 논리적 연쇄의 완전성