структурну систему разом з її інтерпретацією або інтерпретоване числення;

формальну систему разом з її інтерпретацією або інтерпретоване числення;

інтерпретацію логічних залежностей.

логічну систему разом з її інтерпретацією або інтерпретоване числення;

метамова;

об’єкт-мова;

природня мова.

логічна мова;

not;

tab;

\=;

write.

метамова;

формалізована мова;

природня мова.

логічна мова;

правилами;

фактами;

константами;

змінними.

not;

write.

fail;

true;

правилами;

фактами;

константами;

змінними.

визначення алгоритмічної структури наших думок;

виявлення логічної структури наших думок;

визначення логічної структури наших висловів;

визначення математичної структури наших думок.

метамова;

об’єкт-мова;

природня мова.

логічна мова;

структурами;

фактами;

константами;

змінними.