构造逻辑

constructive logic