如题

解决方案 »

  1.   

    最常用并且被研究得最多的形式语言,由有穷个或无穷个符号组成。符号三分组:关系符号、函数(或运算)符号、(个体)常量符号。每个关系符号和函数符号都有相应的正整数刻画它的元数。一阶语言中的公式,用一阶逻辑符号构造。哈哈,你是不是学数学的?定义也理解不清楚,但是感觉不像一阶
      

  2.   

    真的不懂,难道又是研究生在问?