Argument–deduction–proof distinctions (original) (raw)

Argument–deduction–proof distinctions originated with logic itself. Naturally, the terminology evolved.