＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] calculus of propositions 命题演算 propositional calculus 命题演算 又称“命题逻辑” †sentential calculus 命题演算，语句演算
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- series limit
- series match
- series multisection
- series of analytic functions
- Series of Art
- series of a word
- Series of Books of Chinese Taoist Temple
- Series of Books on River Flood Control in China
- series of Bradford-Zipf distribution
- Series of Chinese Cave Temples
- Series of Chinese classical Rap literature
- Series of Chinese Film Directors
- Series of Ci Poetry
- Series of Collections of the Yuan Poems Compiled in the Yuan Dynasty
- Series of Comments on Chinese Grammar Renovation
- Series of Comments on Mental Health
- series of complex terms
- series of constant terms
- series of developing strata updating
- series of essays
- series of functions
- series of function terms
- series of groups
- Series of Japan's Surrender and the Acceptance in the China Theater and the Recovery of Taiwan
- series of matrices