真值表方法

出处:按学科分类—语言、文字 江西教育出版社《中国语言学大辞典》第676页(263字)

用真值表定义逻辑联结词或判定真值形式真值的逻辑方法。如设p、q为命题变项,普通逻辑中不相容析取联结词”V”(表示”要么…要么…”),用真值表可定义为:当且仅当p和q不同真、不同假时,”pvq”为真。这一定义在真值表中表现如下:

又如,”((pvq)p)→q”是否为重言式,用真值表方法可以判定:

由最后一列可知,它是重言式。除一般真值表方法外,还有简化真值表方法和真值树方法。

上一篇:真值表 下一篇:中国语言学大辞典目录
分享到: