论文部分内容阅读
本文拟讨论含有量词的命题的否定法则,作为对该文的一点补充。 §1 命题否定的意义 数学中的定理常采用假言命题:“A→B”,它是由命题A与B,用条件联结词“→”组成的。假言命题的四种形式可表达为:
This article intends to discuss the negation rule of a proposition containing quantifiers as a supplement to this article. §1 The Meaning of Propositional Negation The theorem in mathematics often uses a hypothetical proposition: “A→B”, which is composed of the propositions A and B, and the conditional conjunction “→”. The four forms of hypothetical propositions can be expressed as: