等值命题

等值命题，一般的，在数学中把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。其中判断为真的语句叫做真命题，判断为假的语句叫做假命题。等值命题(equivalent propositions)，亦称等价命题或等效命题，是一类重要的命题，即真假值相同的两命题。等值命题是指这样两个命题，对含于这两个命题中的变元给以任意一组真值时，这两个命题的真值总相同。即同一意思不同说法，就是两个命题的条件本质上是相同的，结论在本质上也是相同的，等值的命题只有形式上的不同。 即如果 A，B 两个命题等值，那么， 把 A 命题作为条件，可以证明 B命题；同时，把 B 命题作为条件，也可以证得 A 命题。