... 命题演算；语句演算 sentential calculus 复合命题 sentential combination 命题变元；语句变元 sentential variable ...
基于16个网页-相关网页
classical sentential calculus 经典语句演算
sentential calculus detail 语句演算
Sentential Calculus Semantics 句子微分语义学
N the formal theory the intended interpretation of which concerns the logical relations between sentences treated only as a whole and without regard to their internal structure 命题演算 [logic]
应用推荐