Терминологический вопрос по мат. логике

[ДДмитрий]

Добрый день!
Есть простой терминологический вопрос по самым началам мат. логики.
Как называют функцию, которая по высказыванию выдает значение 1 или 0 (истин. или ложь)? Термин необходим для того, чтобы отделить такую функцию от булевой, у которой аргумент не "результирующее" высказывание, а его "компоненты".

Можно ли такую функцию называть "функцией истинности" или есть стандартный термин?