∧是或还是且
1个回答
展开全部
这是数学逻辑符号,连接两个简单命题用的:
1、“∧”是且的意思,相当于集合中的交集,命题P∧Q的真假与P,Q的真假有关,当P,Q全是真命题时,命题P∧Q为真命题,其他都是假命题。
2、“∨”是或的意思,相当于集合中的并集,命题P∨Q的真假也与P,Q的真假有关,当P,Q全是假命题时,命题P∨Q为假命题,其他都是真命题。
定理:
定理是根据公理或已知的定理推导出来的真命题。这些真命题都是最基本的和常用的,所以被人们选作定理。还有许多经过证明的真命题没有被选作定理。所以,定理都是真命题,而真命题不都是定理。
例如:“若∠1=∠2,∠2=∠3,那么∠1=∠3”,这就是一个真命题,但不能说是定理。总之,公理和定理都是真命题,但有的真命题既不是公理。也不是定理。
公理和定理的区别主要在于:公理的正确性不需要用推理来证明,而定理需要证明。