真值表的对象语言和元语言初析

真值表是一种能够显示一个复合命题在它的肢命题的各种真值组合下所取真值的逻辑图表,由于它具有操作简便、形象直观等特点,所以在形式逻辑中被大量而广泛使用,成为定义逻辑联结词、判定等值式、检验和证明逻辑有效式等过程中普遍有效的逻辑工具和方法。同时,也是学习形式逻辑必须熟练掌握的一种最基本的逻辑技能。因而,对真值表方法的研究,在形式逻辑教学中具有重要的意义。