Bổ sung để được một định nghĩa đúng: “Chứng minh là thao tác lôgích . . .”. C=

đi từ những tiền đề tới kết luận đúng.

thuyết phục người khác chấp nhận tính chân thực của luận đề do mình đưa ra.

dựa trên các luận cứ chân thực để xác lập tính chân thực của luận đề.

vạch ra tính sai lầm của phản luận đề.