潍坊学院学报
濰坊學院學報
유방학원학보
JOURNAL OF WEIFANG UNIVERSITY
2008年
6期
91-93
,共3页
逻辑系统%子代数%重言式
邏輯繫統%子代數%重言式
라집계통%자대수%중언식
讨论了n值逻辑系统Sn,给出了判断其子代数的充要条件;并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件.
討論瞭n值邏輯繫統Sn,給齣瞭判斷其子代數的充要條件;併比較瞭不同的邏輯繫統Sn中的重言式,同時給齣瞭邏輯繫統Sn中判斷公式不是重言式的充分條件.
토론료n치라집계통Sn,급출료판단기자대수적충요조건;병비교료불동적라집계통Sn중적중언식,동시급출료라집계통Sn중판단공식불시중언식적충분조건.