是否有“是”的标准符号?
问题描述:
简单的问题是,是否存在“是”关系的公认标准符号?我知道在数学中有⊆ - 子集,⊂ - 正确的子集,∈ - 符号元素,我只使用其中的一个还是有更多的代码特定的使用?是否有“是”的标准符号?
这是在试图回应写入为sedan === car
的陈述时想到的,我想知道===
使用的更好的符号是什么。
答
据我了解,您正在寻找像内涵符号的东西。由于它的扩展性质,你不想使用传统的集合论“∈”。
右键,设置理论 “∈”(以及集合论本身)是伸展由于这些公理:
- ∀P∃A∀X(X∈A⇔P(X) ) - 理解公理(非常天真的形式),
- ∀A∀B(∀X(X∈A⇔X∈B)⇔A= B) - 扩展性公理。
在组理论术语来说,一个可以写这样的:
my_sedan∈汽车,或
my_sedan∈{X:汽车(X)},或
汽车(my_sedan)。
没有被接受的标准符号“intensional membership”。你可以试试:
my_sedan:汽车 - 在一个type theory方式;
my_sedan a Car - 如RDF 1.1 Turtle Syntax;
my_sedan cop.汽车。