st
指数
伪命题