|贴子

2018-02-01
序列数“第一”“第二”“第n”的数理逻辑表达式逻辑学吧
序列数“第一”“第二”“第n”如何用数理逻辑表达？ 比如【李世民是唐朝第二位皇帝】。
2018-01-26
命题逻辑/一阶逻辑/二阶逻辑/高阶逻辑/类型论的区别逻辑学吧
命题逻辑（PL）、一阶逻辑（FOL）、二阶逻辑（SOL）、高阶逻辑（HOL）和类型论（TT）...