＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] calculus of propositions 命题演算 propositional calculus 命题演算 又称“命题逻辑” †sentential calculus 命题演算，语句演算
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- Volvo Ocean Race
- vomer
- vomer bone
- vomerine groove
- vomerine ridge
- vomerine tooth
- vomeronasal cartilage
- vomeronasal organ
- vomerorostral canal
- vomerovaginal canal
- vomerovaginal sulcus
- vomer subanalis
- vomiting
- vomitoxinpoisoning
- Von Baeyer crater
- Von Braun crater
- Von Békésy crater
- Von der Pahlen crater
- Vondrak method
- von Dyck
- von Hippel-Lindau tumor suppressor
- von Hippel-Lindau tumor suppressor protein
- von Hippel-Lindau tumor suppressor (VHL)
- von Hippel-Lindau tumor suppressor (VHL) protein
- von Klitzing constant