基于泛逻辑学的概率命题逻辑的研究与分析