依据一定的规则,由真值联结词与真值变项结合而成的表达式。它是复合命题形式的抽象。数理逻辑中常用的五种基本真值形式是:⑴否定式:p。⑵合取式:pq。⑶析取式:pvq。⑷蕴涵式:p→q。⑸等值式:p←→q。其中,p和q为真值变项(以真假为变域的变项),代表命题;、、v、→、←→、分别表示真值联结词:否定词、合取词、析取词、蕴涵词和等值词。
真值形式(语言)
真值形式(语言):
依据一定的规则,由真值联结词与真值变项结合而成的表达式。它是复合命题形式的抽象。数理逻辑中常用的五种基本真值形式是:⑴否定式:p。⑵合取式:pq。⑶析取式:pvq。⑷蕴涵式:p→q。⑸等值式:p←→q。其中,p和q为真值变项(以真假为变域的变项),代表命题;、、v、→、←→、分别表示真值联结词:否定词、合取词、析取词、蕴涵词和等值词。
形式系统(语言):形式化了的公理系统。它包括以下三个部分:⑴形式语言。规定一个形式语言,首先要列出各科初始符号,它们是形式语言的字母,其中一部分是初始概念,包括逻辑概念;然后再列出一组形成规则,形成规则规定怎样由初始符..
命题间的真值关系(语言):命题间的真假关系。任意两个命题之间的真值关系,不外乎以下七种:⑴等值关系。A与B是等值的,当且仅当,A与B同真同假。⑵矛盾关系。A与B是矛盾的,当且仅当,A与B不可同真、不可同假。⑶反对关系。A与B是..
媒介语(语言):也叫“中介语”。指人们设想的在全球统一的多对多机器翻译系统中起中介作用的语言。各民族采用统一的机器翻译媒介语时,源语分析和目的语生成都只与媒介语打交道,即把源语分析转换为媒介语,再把媒介语转换生..
公理系统(语言):指从一些初始概念和公理出发,根据演绎法推演出一系列定理从而构成的系统。公理系统要满足某些一般要求,包括系统的一致性(无矛盾性)、完全性和范畴性,以及公理的独立性。公理系统一般可区分为古典公理系统..
矛盾式(语言):也叫”永假式”、”不可满足式”。常假的真值形式。不论其中变项代表什么命题,取什么值,矛盾式的真值总是假的。一个真值形式是否矛盾式,可用真值表方法判定。例如:”pp”是否矛盾式,可用下列真值表判定: 在逻..