正出现(positive occurrence)符号公式出现的一种形式.考虑语言丫中至多由5种联结词门,V,八,V,日构成的公式.设甲是一个如上的语句,、是丫的一个符号,如果S在沪中有一出现是在偶数个否定号的辖域内,则称S在沪中正出现.如果S在沪中有一出现是在奇数个否定号的辖域内,则称、在沪中负出现一在甲中可以既有正出现,也有负出现.
欢迎使用LHBSX汉语词典!我们提供海量词语、成语、近义词、反义词及组词查询。专业释义,精准全面,助您轻松掌握汉语词汇。如有疑问,欢迎反馈。