无叉不成帖
无叉不成帖 , 是一个定律 。该定律说:在正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 , 故而该帖中至少存在一个与叉有逻辑蕴含关系的一阶命题 。
推荐阅读
- 平安南岸■男子为爱车上演“前任攻略” 买卖不成竟在偶遇后盗走
- 李某杰■用热水从妻子头上倒下!儋州男子因家暴入狱,求复婚不成他又……
- 海南农家一家人
- 高云翔澳洲性侵案宣判:所有罪名不成立
- 为什么中国应试教育永远学不成西方素质教育?懒!
- 病毒无限传播,抗体不传播,“群体免疫”不成立
- 德国政客扬言接收50万难民不成问题
- 很遗憾,一些人看不成日本疫情的笑话了
- 很遗憾,各位看不成日本的笑话了?呵呵呵...
- 很遗憾,各位看不成日本的笑话了