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