淮南师范学院学报
淮南師範學院學報
회남사범학원학보
JOURNAL OF HUAINAN TEACHERS COLLEGE
2010年
3期
4-6
,共3页
Lukasiewicz 蕴涵算子%Lukasiewicz 蕴涵算子的导出算子 L3%重言式%n 值逻辑系统 Ln
Lukasiewicz 蘊涵算子%Lukasiewicz 蘊涵算子的導齣算子 L3%重言式%n 值邏輯繫統 Ln
Lukasiewicz 온함산자%Lukasiewicz 온함산자적도출산자 L3%중언식%n 치라집계통 Ln
讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L3和n值逻辑系统Ln(n>3),首先给出了L3的真值表,它是C2真值表的扩充,它也保持MP规则和正则性,接下来讨论了L3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理之间的关系以及L3的准重言式与C2的重言式之间的关系.最后考虑了Ln中的子代数及不同逻辑系统Ln中重言式的比较.
討論瞭剩餘類蘊涵算子之一Lukasiewicz蘊涵算子的導齣算子的三值繫統L3和n值邏輯繫統Ln(n>3),首先給齣瞭L3的真值錶,它是C2真值錶的擴充,它也保持MP規則和正則性,接下來討論瞭L3中的重言式(tautology)與IPC(intuitionistic propositional calculus)公理之間的關繫以及L3的準重言式與C2的重言式之間的關繫.最後攷慮瞭Ln中的子代數及不同邏輯繫統Ln中重言式的比較.
토론료잉여류온함산자지일Lukasiewicz온함산자적도출산자적삼치계통L3화n치라집계통Ln(n>3),수선급출료L3적진치표,타시C2진치표적확충,타야보지MP규칙화정칙성,접하래토론료L3중적중언식(tautology)여IPC(intuitionistic propositional calculus)공리지간적관계이급L3적준중언식여C2적중언식지간적관계.최후고필료Ln중적자대수급불동라집계통Ln중중언식적비교.
