Syntactical completeness is only concerned with syntactics.The classical preposition logic systems with the rule of substitution are syntactically complete, while the ones without the rule are not.
英
美
释义
摘要语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2025 海词词典(Dict.cn)
立即下载