量化逻辑
liàng
huà
luó
ji

Definitions

  1. 1. quantified logic

Components