精选优质文档-倾情为你奉上第一章常用逻辑用语1.1命题及其关系定义：一般地，我们把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题其中判断为真的语句叫做真命题，判断为假的语句叫做假命题。命题的构成条件和结论定义：从构成来看，所有的命题都具由条件和结论两部分构成在数学中，命题常写成“若p，则q”或者 “如果p，那么q”这种形式，通常，我们把这种形式的命题中的p叫做命题的条件,q叫做命题结论真命题：如果由命题的条件P通过推理一定可以得出命题的结论q，那么这样的命题叫做真命题假命题：如果由命题的条件P通过推理不一定可以得出命题的结论q，那么这样的命题叫做假命题四种命题：定义：一般地，对于两个命题，如果一个命题的条件和结论分别是另一个命题的结论和条件，那么我们把这样的两个命题叫做互逆命题其中一个命题叫做原命题，另一个命题叫做原命题的逆命题定义：一般地，对于两个命题，如果一个命题的条件和结论恰好是另一个命题的条件的否定和结论的否定，那么我们把这样的两个命题叫做互否命题其中一个命题叫做原命题，另一个命题叫做原
