연역논증이랑 증명(형식 증명 말고)이랑 차이점이 뭐야?

[귀결(223.33)]

연역논증이랑 증명이랑 차이가 있다고 들은 거 같은데(아닐 수도 있음) 차이점이 뭐야?

[익명(180.83)]

연역추론: 어떤 추론규칙에 따라 가정으로부터 유도된 문장의 순서열(추론규칙은 불건전할 수 있고, 가정 문장의 선택에 따라 유도된 문장은 항상 참이 아닐 수 있음) 증명: 건전한 연역추론.