社会科学家
社會科學傢
사회과학가
Social Scientist
2007年
S1期
186~187
,共null页
偏序集;极小条件;降链条件;归纳条件
偏序集;極小條件;降鏈條件;歸納條件
편서집;겁소조건;강련조건;귀납조건
本文定义了命题逻辑的所有合式公式组成的集合上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与中关于合式公式结构的归纳法等价的几个条件。
本文定義瞭命題邏輯的所有閤式公式組成的集閤上的一箇偏序關繫,從而得到一箇偏序集,然後在這箇偏序集上討論瞭與中關于閤式公式結構的歸納法等價的幾箇條件。
본문정의료명제라집적소유합식공식조성적집합상적일개편서관계,종이득도일개편서집,연후재저개편서집상토론료여중관우합식공식결구적귀납법등개적궤개조건。
