正出現

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

基本介紹

  • 中文名:正出現
  • 外文名:positive occurrence

相關詞條

熱門詞條

聯絡我們