155 逻辑思维与逻辑推理-7.3 命题符号化与联结词