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

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

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

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

Complete System

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

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

Личные инструменты