定式的逻辑