正出现
zhèng chū xiàn
ㄓㄥˋ ㄔㄨ ㄒㄧㄢˋ
📖 词语释义
- 拼音字母zheng chu xian
- 首字母zcx
- 注音符号ㄓㄥ ㄔㄨ ㄒㄧㄢ
- 更新2026-07-10 10:49:27
更多解释
正出现(positive occurrence)符号公式出现的一种形式.考虑语言丫中至多由5种联结词门,V,八,V,日构成的公式.设甲是一个如上的语句,、是丫的一个符号,如果S在沪中有一出现是在偶数个否定号的辖域内,则称S在沪中正出现.如果S在沪中有一出现是在奇数个否定号的辖域内,则称、在沪中负出现一在甲中可以既有正出现,也有负出现.