论证理论 逻辑框架 计算机科学 编码（内存） 语义学（计算机科学） 逻辑后果 意义（存在） 表达式（计算机科学） 简单（哲学） 逻辑连接 论证框架 理论计算机科学 订单（交换） 证明理论语义学 操作语义 程序设计语言 人工智能 认识论 指称语义学 哲学 财务 经济