Истинные суждения в информатике и логике