二、谓词代数 例:设A={1,100},对于命题“A中所 有数都大于0” c表示数字,R2表示二元关系“大于” 命题形式化地表示为: R2(c1,0)入…入R2(c100) 当A为正实数集时,就不能用上述方式表 示。为此引进记号xR2(x,0)来表示上面 的命题。这里∨x称为全称量词。 二、谓词代数  例：设A={1,…,100}，对于命题“A中所 有数都大于0”.  ci表示数字i，R2 i表示二元关系“大于”，  命题形式化地表示为：  R2 i (c1 ,0)…R2 i (c100,0)。  当A为正实数集时，就不能用上述方式表 示。为此引进记号xR2 i (x,0)来表示上面 的命题。这里x称为全称量词