陈晓平
华南师范大学 哲学研究所
命题逻辑：符号化和真值表（一）
命题逻辑：符号化和真值表（一）
什么叫符号化，为什么要符号化？
符号化就是把表达中的一些关键词，用符号代替日常语言，比如用“合取”（符号是一个往上的尖）代替“并且”。
符号化可以排除掉日常语言中的争议部分，比如“并且”有时候就暗含先后顺序的意思，而当我们用“合取”来进行表述的时候，我们就不会存在这个争议，“合取”一定不包含先顺顺序。
符号化可以排除掉日常语言中的争议部分，比如“并且”有时候就暗含先后顺序的意思，而当我们用“合取”来进行表述的时候，我们就不会存在这个争议，“合取”一定不包含先顺顺序。
什么叫真值表？
一组自变量和因变量的关系构成的表格，它的自变量和因变量的范围都是真值，即只能为真或者假。
比如合取命题的真值表就是如下的：
真合取真则真；
真合取假则假；
假合取假则假；
假合取真则假。
比如合取命题的真值表就是如下的：
真合取真则真；
真合取假则假；
假合取假则假；
假合取真则假。
什么叫函数和函项？
函数是数学概念，描述两个变量之间的关系，通用的写法是y=f(x)，举一个函数的例子：y=2x，它描述的关系就是y是x的两倍，如果x=1，那么y=2，如果x=2，那么y=4。
由于x的变化引起y的变化，所以x叫自变量，y叫因变量。
函项的概念类似，只不过自变量和因变量不再是数字了，而是某种类型的项。比如真值函项，自变量和因变量的值就只能是真值，即是真，或者是假。
由于x的变化引起y的变化，所以x叫自变量，y叫因变量。
函项的概念类似，只不过自变量和因变量不再是数字了，而是某种类型的项。比如真值函项，自变量和因变量的值就只能是真值，即是真，或者是假。
什么叫真值函项连接词？
被真值函项复合命题的使用着的连接词。复合命题中含有多个支命题，把多个支命题组织起来的词语就是连接词。而真值函项连接词就是被真值函项复合命题使用的连接词。
