一,日常联结词
日常语言中有以下七个不同的联结词,它们每一个都是一组相应联结词的概括和抽象。
从逻辑角度看,这些日常语言联结词存在两个主要问题:一是不精确。以“或者”和“要么”为例,它们都既可以在相容意义上使用,也可以在不相容意义上使用。二是负载了许多非逻辑的内容。以联言命题为例,它们除表示各个支命题同时为真外,还表示并列关系、承接关系、递进关系、转折关系、对比关系等等。例如:主公得了病,并且吃了药。主公吃的药,并且得了病。
二,真值联结词、真值形式
为了与日常联结词相区别,同时也为了书写的方便,逻辑学家们特制了一些专门的符号去表示真值联结词:
∧:读作“合取”,相当于日常语言中的“并且”;
∨:读作“析取”,相当于日常语言中的“或者”;
→:读作“蕴涵”,相当于日常语言中的“如果,则”;
↔:读作“等值”,相当于日常语言中的“当且仅当”;
¬:读作“否定”,相当于日常语言中的“并非”。
¬是一元联结词,后面只跟一个完整的命题形式。∧,∨,→,↔是二元联结词,有两个已有的命题形式形成一个新的命题形式。由此类推,由N个已有命题形式形成一新的命题形式的联结词,叫做N元联结词。此外,为了表示符号间的结构关系,还需要一些辅助符号,如左括号“(”和右括号“)”。