山东农业大学学报(自然科学版)
山東農業大學學報(自然科學版)
산동농업대학학보(자연과학판)
JOURNAL OF SHANDONG AGRICULTURAL UNIVERSITY(NATURAL SCIENCE)
2014年
z1期
13-15
,共3页
金贤安%樊洪志%赵娜娜
金賢安%樊洪誌%趙娜娜
금현안%번홍지%조나나
命题联结词集%不完备性
命題聯結詞集%不完備性
명제련결사집%불완비성
Propositional connectives%incompleteness
命题联结词集合的完备性和不完备性问题是命题逻辑中一个重要问题,本文证明了联结词集合{?,?}是不完备的。
命題聯結詞集閤的完備性和不完備性問題是命題邏輯中一箇重要問題,本文證明瞭聯結詞集閤{?,?}是不完備的。
명제련결사집합적완비성화불완비성문제시명제라집중일개중요문제,본문증명료련결사집합{?,?}시불완비적。
The problem of completeness or incompleteness of an propositional connective set is an important problem in logic. In this paper, we prove the set of connectives{?,?}is incomplete.