1 【计】 专门逻辑 — ad hoc logic