Доказуемость

Материал из Онтологическое моделирование

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

Доказуемость - существование известного набора правил, по которым строится доказательство формулы.

(Provability)

Источник — «http://ontology.ipi.ac.ru/index.php/%D0%94%D0%BE%D0%BA%D0%B0%D0%B7%D1%83%D0%B5%D0%BC%D0%BE%D1%81%D1%82%D1%8C»
Личные инструменты