PPP, 2． 命题逻辑形式系统（FSPC） FSPC定义： 语言部分+推理部分 语言部分： 符号集： ∑＝{（, ） , , , p1, p2, p3, …
基于24个网页-相关网页
命题逻辑形式系统
Propositional logic formal system
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动