Семантическое правило описывает:
Композиционное правило вывода утверждает, что:
пусть C=A°B. На каких универсумах должны быть определены нечеткие множества A,B,C для того, чтобы выполнялось композиционное правило?
Верно ли утверждение, что если выполнено композиционное правило B=A°F, то, если A есть проекция отношения F на первую координату, то B будет проекцией F на вторую координату?
Верно ли утверждение, что если выполнено композиционное правило B=A°F, то, если A есть подмножество проекции отношения F на первую координату (т.е. A⊆пр1F), то B будет подмножеством проекции F на вторую координату (т.е. B⊆пр2F )?
Верно ли утверждение, что если выполнено композиционное правило B=A°F, то, если A есть надмножество проекции отношения F на первую координату (т.е. A⊇пр1F), то B будет надмножеством проекции F на вторую координату (т.е. B⊇пр2F)?