То есть, ST — это уже не предикат, а функция, область значений которой лежит либо в трехнзначной логике, либо в нечеткой логике, но никак не в булевой логике (а если, все-таки, мы построим этот ST так, что его область значений лежит в булевой логике, то мы будем обманывать сами себя, в меньшей или большей степени в зависимости от качества аппроксимации).

Источник: 003540 Еще про статическую типизацию

То есть, ST — это уже не предикат, а функция, область значений которой лежит либо в трехнзначной логике, либо в нечеткой логике, но никак не в булевой логике (а если, все-таки, мы построим этот ST так, что его область значений лежит в булевой логике, то мы будем обманывать сами себя, в меньшей или большей степени в зависимости от качества аппроксимации).

Источник: 003540 Еще про статическую типизацию