理学 知识表示 释 propositional calculus 命题逻辑推理 一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] propositional calculus 命题演算 又称“命题逻辑” †
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- infan
- infancy
- infant care devices
- infant feeding
- infanticide
- infantile acute upper respiratory tract infection
- infantile basic pulse
- infantile convulsions
- infantile diarrhea
- infantile eczema
- infantile laryngeal spasm
- infantile malnutrition
- infantile palpation
- infantile tuina
- infantile uterus
- infant industry
- infant industry protection theory
- infant milk powder
- infant mortality rate
- infant nutrition
- infant perception of prosody
- infant perception of speech segments
- infant perceptual attunement
- infants and childhood feeding
- Infants at Play by Su Hanchen