论文部分内容阅读
讨论了n值逻辑系统Sn,给出了判断其子代数的充要条件；并比较了不同的逻辑系统Sn中的重言式，同时给出了逻辑系统Sn中判断公式不是重言式的充分条件。
n值逻辑系统Sn的子代数及其重言式理论
【摘 要】
：
讨论了n值逻辑系统Sn,给出了判断其子代数的充要条件；并比较了不同的逻辑系统Sn中的重言式，同时给出了逻辑系统Sn中判断公式不是重言式的充分条件。
【机 构】
：
潍坊学院
【出 处】
：
潍坊学院学报
【发表日期】
：
2008年6期
其他文献
在调查的遗址中，各遗址的结构为地表只有半地穴式居住址的形式和半地穴式居住址与土城垣相结合的形式，土城垣都是“掘土为壕，堆土为垣”的构筑方式构筑；在遗址采集到的文物，有石器
古训是发言的闪光点,古训英译也是现场口译的瓶颈。本文依托言语行为理论框架,结合认知语言学关于概念结构的阐释,提出口译言效契合认知原则。研究认为,古训汉英口译涉及跨空
MATCOM是MathTools公司推出的一个能将.m文件转化成相同功能C++代码的工具.相比MATLAB引擎方法和MATLAB自带的编译器Compiler方法,用MATCOM转化代码要简单和方便得多.本文将
在学界注重高端和职业化翻译时,忽视了对低端非职业化翻译——初级工具翻译的研究。它是工作性交际工具,应用广泛,其概念、界定、定位、特点清晰,在内容、参与者和标准等方面
船舶日志的特殊表述方式常常造成翻译过程中出现误译、漏译、歧义等现象。为了避免这类现象,本文探讨船舶日志的表述特征及相应的翻译方法和技巧。
中国大学的本科翻译教学,要么偏重实践,要么偏重理论,各有所长。但两种模式都不能很好地解决有限课时与庞杂内容的矛盾,纷繁理论与强化实践的矛盾,以及生源的低语言能力与课
目前,各高校对英语演讲艺术和口译教学愈来愈重视,在教学和科研的过程中,发现二者存在着许多相似点,除了在语音、词汇量等语言能力方面的相同要求外,口译课程所需要的百科全
第一次国共合作建立以后，国共两党旅日组织于1924年8月实现政治合作，在东京建立了以国共合作为基础的国民党驻日总支部，标志着国共两党在日本的国民革命统一战线正式建立。与国