最近在查资料时注意到「正出现」这个词，索性整理成一篇小笔记，方便以后查阅，也分享给同样感兴趣的朋友。
- 拼音
- zhèng chū xiàn
- 字母
- zheng chu xian
- 首字母
- zcx
- 注音
- ㄓㄥˋ ㄔㄨ ㄒㄧㄢˋ
正出现(positive occurrence)符号公式出现的一种形式.考虑语言丫中至多由5种联结词门，V，八，V，日构成的公式.设甲是一个如上的语句，、是丫的一个符号，如果S在沪中有一出现是在偶数个否定号的辖域内，则称S在沪中正出现.如果S在沪中有一出现是在奇数个否定号的辖域内，则称、在沪中负出现一在甲中可以既有正出现，也有负出现.