【计】 如果-则系统, 蕴含系统

if-then operation【计】;implication function【计】

IF-THEN operation

IF-THEN function

if-then system description

if-then rule【计】

if-then rule【计】

if-then system description【计】

if-then system【计】