正出現

正出現(positive occurrence)符號公式出現的一種形式.考慮語言丫中至多由5種聯結詞門，V，八，V，日構成的公式.設甲是一個如上的語句，、是丫的一個符號，如果S在滬中有一出現是在偶數個否定號的轄域內，則稱S在滬中正出現.如果S在滬中有一出現是在奇數個否定號的轄域內，則稱、在滬中負出現一在甲中可以既有正出現，也有負出現. ^[1]