zhèng chū xiàn · ㄓㄥˋ ㄔㄨ ㄒㄧㄢˋ · 更新 2026-06-30 07:17:42
正出现(positive occurrence)符号公式出现的一种形式.考虑语言丫中至多由5种联结词门，V，八，V，日构成的公式.设甲是一个如上的语句，、是丫的一个符号，如果S在沪中有一出现是在偶数个否定号的辖域内，则称S在沪中正出现.如果S在沪中有一出现是在奇数个否定号的辖域内，则称、在沪中负出现一在甲中可以既有正出现，也有负出现.