黔南民族师范学院学报（自然科学）
黔南民族師範學院學報（自然科學）
검남민족사범학원학보（자연과학）
JOURNAL OF QIANNAN NORMAL COLLEGE FOR NATIONALITIES（NATURAL SCIENCES）
2006年
3期
4-7
,共4页
余泉%甘晓丽%周锦程%王驹
餘泉%甘曉麗%週錦程%王駒
여천%감효려%주금정%왕구
偏序集%极小条件%降链条件%归纳条件%合式公式
偏序集%極小條件%降鏈條件%歸納條件%閤式公式
편서집%겁소조건%강련조건%귀납조건%합식공식
本文先给出命题逻辑P的所有合式公式组成的集合W上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与P中关于合式公式结构的归纳法等价的几个方法.
本文先給齣命題邏輯P的所有閤式公式組成的集閤W上的一箇偏序關繫,從而得到一箇偏序集,然後在這箇偏序集上討論瞭與P中關于閤式公式結構的歸納法等價的幾箇方法.
본문선급출명제라집P적소유합식공식조성적집합W상적일개편서관계,종이득도일개편서집,연후재저개편서집상토론료여P중관우합식공식결구적귀납법등개적궤개방법.
