请解释一下「正出现」这个词的含义。

助手
正出现 zhèng chū xiàn · ㄓㄥˋ ㄔㄨ ㄒㄧㄢˋ
zheng chu xian
zcx
ㄓㄥ ㄔㄨ ㄒㄧㄢ
2026-07-10 15:33:10

扩展释义

正出现(positive occurrence)符号公式出现的一种形式.考虑语言丫中至多由5种联结词门,V,八,V,日构成的公式.设甲是一个如上的语句,、是丫的一个符号,如果S在沪中有一出现是在偶数个否定号的辖域内,则称S在沪中正出现.如果S在沪中有一出现是在奇数个否定号的辖域内,则称、在沪中负出现一在甲中可以既有正出现,也有负出现.