一些基本概念 推理与证明方法 定理/ Theorem:一个真值为T的命题语句。 证明/ Proof:用论证方式形成的一个命题语句序列说明 个定理为T 证明的构造/形式:由两个部分组成 1、公理、假定或前提/ axiom、 postulate、 hypotheses 2、推理规则/ rule of inference 其它:引理/emma、推论/ corollary、猜想/ conjecture 2/24/202111:15PM Deren Chen Zhejiang univ 2推理与证明方法 2/24/2021 11:15 PM Deren Chen, Zhejiang Univ. 2 定理/Theorem: 一个真值为T的命题语句。 证明/Proof：用论证方式形成的一个命题语句序列说明 一个定理为T。 证明的构造/形式：由两个部分组成 1、公理、假定或前提/axiom、postulate、hypotheses 2、推理规则/rule of inference 其它：引理/lemma、推论/corollary、猜想/conjecture 一些基本概念