8.4.1 规约主义与祈使逻辑