Как называется предложение, в отношении которого можно сказать, истинно оно или ложно?
Высказывание
Формула
Теорема
Логика