正出现(positive occurrence)符号公式出现的一种形式.考虑语言丫中至多由5种联结词门,V,八,V,日构成的公式.设甲是一个如上的语句,、是丫的一个符号,如果S在沪中有一出现是在偶数个否定号的辖域内,则称S在沪中正出现.如果S在沪中有一出现是在奇数个否定号的辖域内,则称、在沪中负出现一在甲中可以既有正出现,也有负出现.
欢迎使用翰思网词语词典!我们致力于为您提供最准确的汉语词语解释、成语故事、近义词反义词对比及组词参考。专业团队维护,数据持续扩充,助您畅游中文世界。