无叉不成帖

无叉不成帖 , 是一个定律 。该定律说:在正B格环境下 , 任何帖子都在装叉或至少含有一个带叉命题 。设E为正叉格环境 ,集合P为E中由有序n元命题组所构成的一个帖 , 一阶命题F(x, b, B):语句x以小b充大B , 则无叉不成帖定律可严格表述为:​ P⊂E→∃x:x∈P∧[F(x, b, B)∨x∈B)]​式中 , 中括号为一阶语法的补充符 , B为b语句集合 。​ 作为成因描述 , 关于无叉不成帖的一个定性解释是:在正B格环境下 , 一个帖不是在装B就是在反装B , 故而该帖中至少存在一个与叉有逻辑蕴含关系的一阶命题 。


    推荐阅读