ศัพท์บัญญัติราชบัณฑิตยสถาน 
แคลคูลัสภาคแสดง [คณิตศาสตร์๑๙ ก.ค. ๒๕๔๗]
  WordNet (3.0) 
(n) a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)Syn. functional calculus
  EDICT JP-EN Dictionary 
[じゅつごろんり, jutsugoronri] (n) (See 命題論理) predicate logic; predicate calculus
เพิ่มคำศัพท์
add
ทราบความหมายของคำศัพท์นี้? กด [เพิ่มคำศัพท์] เพื่อใส่คำนี้พร้อมความหมาย เพื่อเป็นวิทยาทานแก่ผู้ใช้ท่านอื่น ๆ