logic - 这两个“陈述”在描述逻辑上有什么区别

Question

我不知道你是否称这个声明，但我有这个问题

这两者有什么区别statments：

A ⊑ B ⊓ C

和

A ASSERTA_SYMBOL =  B ⊓ C

抱歉，我不知道如何编写 ASSERTA_SYMBOL，但它在这张图片中

一个真实的例子是：

Answer 1

这两个表达式都描述或定义了一个概念（或类或集合）。

区别在于子类与等效类。

大象是一种灰色的大型动物。可能还有其他种类。一个快乐的父亲是一个至少有一个女儿的男人，任何一个至少有一个女儿的男人都是一个快乐的父亲。没有其他人。

Answer 2

⊑ 表示子概念关系，≐ 表示一致（有时也称为构造函数）。