二元谓词 编辑
数学上，二元关系用于讨论两种物件的连系。诸如算术中的“大于”及“等于”、几何学中的“相似”或集合论中的“为……之元素”、“为……之子集”。
6
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
在数学的领域中，若两个数学对象在各个方面都相同，则称他们是相等的。这就定义了一个二元谓词等于，写作“



=


{\displaystyle =}

”；



x
=
y


{\displaystyle x=y}

当且仅当



x


{\displaystyle x}

和



y


{\displaystyle y}

相等。通常意义上，等于是通过两个元素间的等价关系来构造的。将两个表达式用等于符号连起来，就构成了等式，例如



6
−
2
=
4


{\displaystyle 6-2=4}

，即



6
−
2


{\displaystyle 6-2}

与



4


{\displaystyle 4}

是相等的。
在数学的领域中，若两个数学对象在各个方面都相同，则称他们是相等的。这就定义了一个二元谓词等于，写作“



=


{\displaystyle =}

”；



x
=
y


{\displaystyle x=y}

当且仅当



x


{\displaystyle x}

和



y


{\displaystyle y}

相等。通常意义上，等于是通过两个元素间的等价关系来构造的。将两个表达式用等于符号连起来，就构成了等式，例如



6
−
2
=
4


{\displaystyle 6-2=4}

，即



6
−
2


{\displaystyle 6-2}

与



4


{\displaystyle 4}

是相等的。
在数学的领域中，若两个数学对象在各个方面都相同，则称他们是相等的。这就定义了一个二元谓词等于，写作“



=


{\displaystyle =}

”；



x
=
y


{\displaystyle x=y}

当且仅当



x


{\displaystyle x}

和



y


{\displaystyle y}

相等。通常意义上，等于是通过两个元素间的等价关系来构造的。将两个表达式用等于符号连起来，就构成了等式，例如



6
−
2
=
4


{\displaystyle 6-2=4}

，即



6
−
2


{\displaystyle 6-2}

与



4


{\displaystyle 4}

是相等的。