5.1 反事实概念的引入及表达符号