Система полная

Материал из Энциклопедии.

Перейти к: навигация, поиск

Система полная {RDF}

Complete System

1) Система вывода, способная вывести все истинные выводы.

2) Система вывода, способная обнаруживать все отношения «влечет» между любыми двумя выражениями.

Получено с http://wiki.iis.ru/wiki/%D0%A1%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B0_%D0%BF%D0%BE%D0%BB%D0%BD%D0%B0%D1%8F
Личные инструменты