计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2009年
7期
44-45,51
,共3页
(L)ukasiewicz命题逻辑%完备性定理%T约简%形式背景
(L)ukasiewicz命題邏輯%完備性定理%T約簡%形式揹景
(L)ukasiewicz명제라집%완비성정리%T약간%형식배경
在n值(L)ukasiewicz命题逻辑中提出了命题集T的约简理论,引入由命题集F所诱导的形式背景的概念,从T及其子集的关系出发给出了n值命题逻辑中有限命题集T约简的判定定理以及求T约简的方法.说明了无穷值(L)ukesiewicz命题逻辑中命题集T的约简可转化为n值情形.
在n值(L)ukasiewicz命題邏輯中提齣瞭命題集T的約簡理論,引入由命題集F所誘導的形式揹景的概唸,從T及其子集的關繫齣髮給齣瞭n值命題邏輯中有限命題集T約簡的判定定理以及求T約簡的方法.說明瞭無窮值(L)ukesiewicz命題邏輯中命題集T的約簡可轉化為n值情形.
재n치(L)ukasiewicz명제라집중제출료명제집T적약간이론,인입유명제집F소유도적형식배경적개념,종T급기자집적관계출발급출료n치명제라집중유한명제집T약간적판정정리이급구T약간적방법.설명료무궁치(L)ukesiewicz명제라집중명제집T적약간가전화위n치정형.