В чем разница между этими двумя "характеристиками" в логике описания
Я не знаю, если вы называете это утверждение или нет, но у меня есть этот вопрос
в чем разница между этими двумя statments:
A ⊑ B ⊓ C
а также
A ASSERTA_SYMBOL = B ⊓ C
извините, я не знаю, как написать ASSERTA_SYMBOL, но это на этом изображении
реальный пример это:
2 ответа
Оба выражения описывают или определяют концепцию (или класс, или набор).
Разница между подклассом и эквивалентным классом.
Слон - один из видов серых крупных животных. Там могут быть другие виды. Счастливый отец - это мужчина, у которого есть хотя бы одна дочь, а любой мужчина с хотя бы одной дочерью - счастливый отец. Там нет других.
⊑ представляет отношение субконцепта, ≐ означает соглашение (иногда называемое тем же, что и конструктор).