Истинные высказывания и их роль в информатике