discussion:zh:logical-connectives