模糊系统与数学
模糊繫統與數學
모호계통여수학
FUZZY SYSTEMS AND MATHEMATICS
2005年
1期
18-21
,共4页
Kleene蕴涵算子%Kleene蕴涵算子的导出算子%n值逻辑系统In%准重言式%重言式
Kleene蘊涵算子%Kleene蘊涵算子的導齣算子%n值邏輯繫統In%準重言式%重言式
Kleene온함산자%Kleene온함산자적도출산자%n치라집계통In%준중언식%중언식
考虑了Kleene蕴涵算子的导出算子的三值逻辑系统I3和n值逻辑系统In(n>3).首先,给出I3的真值表,证明了I3是二值逻辑系统C2的推广.其次,讨论了I3中的重言式与IPC公理之间以及I3中的准重言式与C2中的重言式之间的关系.接着,考虑了In中的子代数.最后,考虑了不同逻辑系统In中的重言式之间的关系.
攷慮瞭Kleene蘊涵算子的導齣算子的三值邏輯繫統I3和n值邏輯繫統In(n>3).首先,給齣I3的真值錶,證明瞭I3是二值邏輯繫統C2的推廣.其次,討論瞭I3中的重言式與IPC公理之間以及I3中的準重言式與C2中的重言式之間的關繫.接著,攷慮瞭In中的子代數.最後,攷慮瞭不同邏輯繫統In中的重言式之間的關繫.
고필료Kleene온함산자적도출산자적삼치라집계통I3화n치라집계통In(n>3).수선,급출I3적진치표,증명료I3시이치라집계통C2적추엄.기차,토론료I3중적중언식여IPC공리지간이급I3중적준중언식여C2중적중언식지간적관계.접착,고필료In중적자대수.최후,고필료불동라집계통In중적중언식지간적관계.
