本文首先通过定义新的蕴涵算子→T，建立一个新的直觉模糊命题逻辑系统(I02，()，v，→T)，讨论此蕴涵算子的性质，研究系统I02上的广义拟重言式，它共分为五种不同的广义拟重言式：(1/2，1/2)-拟重言式，(吉，1/2,1/2)+-拟重言式，(1/2，0)-拟重言式，(1/2，0)+-拟重言式和(1，0)-拟重言式，将王国俊教授的广义重言式研究成果[1]从一维推广到整个二维直觉模糊命题代数上在此基础上，通过对公式进行I02中的部分赋值，利用同态变换ψ和对称表示赋值集的方法，分别讨论了系统I22n和系统I22n+1上的广义拟重言式之间的关系，即类类互异定理，它与文[2]的类类互异定理不一样，它在满足定理2.4.3条件时，只在每个小集合内类类互异；同时，在广义拟重言式之间建立了一种升级算法，获得越来越真的可达拟重言式，甚至得出(1,0)-拟重言式.最后，利用概率论方法定义直觉模糊命题逻辑系统的真度，研究α-真度与α-重言式之间的关系，同时，讨论(1/2，1/2)+-MP规则，(1/2，1/2)+-HS规则和α-交推理规则，并研究真度值在[0，1]中的分布.