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

• Высказывание
• Формула
• Теорема
• Логика