| 蒙汉词典搜索 | ||||
| 常用词语：汤 丸 散 膏 饮 糕 酊 剂 煎 酒 粥 方 语言翻译 | ||||
| 鲁虺蒙汉词典 / T 规则(T 是 Tautological implies 的缩写这规则是说在推导过程中如果先行语句是联合全真地蕴涵某语句 s' 则我们可以引进语句 s 作为推导的一个步骤) T ᠳᠦᠷᠢᠮ DURIM rule T 12 12 12 | 上一个 查看全部 下一个 |
T 规则(T 是 Tautological implies 的缩写这规则是说在推导过程中如果先行语句是联合全真地蕴涵某语句 s' 则我们可以引进语句 s 作为推导的一个步骤) T ᠳᠦᠷᠢᠮ DURIM rule T 12 12 12 | |