Коллизии в рассуждениях

Удаление термина из рассуждения из-за коллизии парадокса не означает, что он исчезает бесследно.Иногда ее появление позволяет распознать в рассуждении явно лишние термины.Это говорит о том, что в структуре имеется коллизия парадокса.Перейдем к рассмотрению другой коллизии - коллизии цикла.В данном случае коллизию неадекватности можно считать инициатором новых научных открытий.Коллизия цикла: появление в CT-замыкании по крайней мере одного цикла.Коллизиями E-структуры называются следующие ситуации, появляющиеся при построении CT-замыкания.Коллизия парадокса: появление в CT-замыкании по крайней мере одного из суждений типа X® или ®X.При этом из исходных посылок получаются все возможные следствия.Например, из суждения Все мои друзья - не мои друзья следует, что друзей у меня нет.