Proofing

Terms

Definition: định nghĩa.

Proposition (mệnh đề): a statement that is either true of false. Chúng tuy không quá quan trọng (để được xếp vào nhóm định lý) nhưng vẫn thú vị.

An axiom, postulate, or assumption (tiên đề, định đề) is a statement which we assume to be true without a proff. Sự thật hiển nhiên, luật chơi. Chúng ta không thể chứng minh tiên đề nên chấp nhận chúng.

A Conjecture (Sự giả định, giả sử): a statement that someone guesses to be true, although they are not yet able to prove or disprove it.

A Theorem (định lý): an important result that has been proven. Pythagorean Theorem

Corollary (hệ quả): a theorem that follows on from another theorem.

Lemma (bổ đề): a small result that has been proved. It is used to prove a theorem.

Proff by Induction : chứng minh bằng Phép quy nạp

contradiction: phản chứng

Deduce: suy ra

Proof: chứng minh