东北师大学报（自然科学版）
東北師大學報（自然科學版）
동북사대학보（자연과학판）
JOURNAL OF NORTHEAST NORMAL UNIVERSITY(NATURAL SCIENCE EDITION)
2012年
2期
22-25
,共4页
二值命题逻辑%真度%限制逻辑等价%逻辑方程%解集
二值命題邏輯%真度%限製邏輯等價%邏輯方程%解集
이치명제라집%진도%한제라집등개%라집방정%해집
给出了(F(S),ρ)中公式的一种逻辑等价分解,利用这种逻辑等价分解讨论公式的真度、伪距离和相似度的计算问题,并且引入了(F(S′),ρ)中公式的限制逻辑等价概念,建立了一种等价关系.作为限制逻辑等价关系的应用,得到了(F(S),ρ )中基于真度的τ(A→X) =α型逻辑方程的解集,利用限制逻辑等价关系进行的一种相等“直径”的子集划分结果,为二值命题逻辑系统的逻辑推理和程度化的进一步研究提供了方法.
給齣瞭(F(S),ρ)中公式的一種邏輯等價分解,利用這種邏輯等價分解討論公式的真度、偽距離和相似度的計算問題,併且引入瞭(F(S′),ρ)中公式的限製邏輯等價概唸,建立瞭一種等價關繫.作為限製邏輯等價關繫的應用,得到瞭(F(S),ρ )中基于真度的τ(A→X) =α型邏輯方程的解集,利用限製邏輯等價關繫進行的一種相等“直徑”的子集劃分結果,為二值命題邏輯繫統的邏輯推理和程度化的進一步研究提供瞭方法.
급출료(F(S),ρ)중공식적일충라집등개분해,이용저충라집등개분해토론공식적진도、위거리화상사도적계산문제,병차인입료(F(S′),ρ)중공식적한제라집등개개념,건립료일충등개관계.작위한제라집등개관계적응용,득도료(F(S),ρ )중기우진도적τ(A→X) =α형라집방정적해집,이용한제라집등개관계진행적일충상등“직경”적자집화분결과,위이치명제라집계통적라집추리화정도화적진일보연구제공료방법.
