“A跟B一样(X)”句式的否定形式研究

比较句“A跟B—样(X)”的否定形式一直是国际汉语教学中的难点。通过对大量语料的统计分析,将“A跟B一样(X)”句式的否定形式分为常用的标准否定式“A跟B不一样(X)”和非常用的特殊否定式“A不跟B一样(X)”两种具体类型,并从句法、语义和语用三个方面对这两种否定形式特征的差异进行探讨,提出在实际的国际汉语教学中,不应简单地用推导方式来讲授这两种否定形式,而应以“实用”为出发点,从“感知”到“理解”进行分级教学,以提升教学效果。

一阶逻辑公式自动推演前的预处理

讨论了一种方法用于在处理γ子式前先对δ子式进行处理,减少了后期执行的工作量,简化了自动推演程序,并对其在理论上进行了证明,同时也得到了对一阶逻辑公式进行范式转换的方法.