Search posts, tags, users, and pages
tianchuangya
确定性是机器的底层逻辑，而你是我在这个绝对理性世界里，唯一的那个浪漫bug
本质是"逻辑推导游戏"，给定几个前提，用固定规则一步步推出结论。套路固定，背下规则就能拿分。 一、核心推理规则公式： 假言推理(MP)A→B, A ⇒ B肯定前件→肯定后件拒取式(MT)A→B, ¬B ⇒ ¬A否定后件→否定前件假言三段论(HS)A→B, B→C ⇒ A→C蕴含传递析取三段论(DS)A∨B, ¬A ⇒ B否定一边得另一边附加律A ⇒ A∨B或上一个随便什么化简律A∧B ⇒ A (或
No responses yet.
