在解释逻辑中这两个“陈述”之间的区别是什么

Question

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

这两个statments之间有什么区别：

A ⊑ B ⊓ C

和

A ASSERTA_SYMBOL =  B ⊓ C

抱歉，我不知道怎么写ASSERTA_SYMBOL，但是在这张图片中

一个真实的例子就是：

Answer 1

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

区别在于子类与等效类。

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

Answer 2

⊑表示子概念关系，≐表示协议（有时称为与构造函数相同）。