... 命题演算；语句演算 sentential calculus 复合命题 sentential combination 命题变元；语句变元 sentential variable ...
基于16个网页-相关网页
经典语句演算 classical sentential calculus
语句演算
Statement calculus
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动