“且”的符号:∧
“或”的符号:∨
“非”的符号:Cu
1、命题p且q(p∧q)的真假的判定:
2、命题p或q(p∨q)的真假的判定:
3、命题非P(┐p)的判定:
定理
定理是根据公理或已知的定理推导出来的真命题。这些真命题都是最基本的和常用的,所以被人们选作定理。还有许多经过证明的真命题没有被选作定理。所以,定理都是真命题,而真命题不都是定理。例如:“若∠1=∠2,∠2=∠3,那么∠1=∠3”,这就是一个真命题,但不能说是定理。
总之,公理和定理都是真命题,但有的真命题既不是公理。也不是定理。公理和定理的区别主要在于:公理的正确性不需要用推理来证明,而定理需要证明。