真值表方法(语言)

真值表方法(语言):

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

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

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

为您推荐

文学批评方法手册

文学批评方法手册 : 介绍西方现代文学批评方法的入门书。威·L·古尔灵(Wilfred L. Guerin)、厄·雷伯尔(Earle Labor)等4人合著。他们都是长期从事文学教学和研究的美国的大学教授。本书初版于本世纪60年代末,70年代..

历史语言学中的比较方法

出版时间:1993-09 历史语言学中的比较方法 : 法国梅耶(Antoine Meillet,1866~1932)著。作者是著名历史比较语言学家,1924年应挪威比较文化研究所之邀赴奥斯陆做语言学专题演讲,后将讲稿整理成此书。全书共10章,..

结构主义语言学方法

出版时间:1993-09 结构主义语言学方法 : 美国哈里斯(Zellig S.Harris,1909~ )著。作者是美国描写语言学的主要人物之一。此书用大量精密的公式、符号详细演示了结构主义语言学的分析方法和步骤。大致分为音位和..

美学和系统方法

语言学方法论考

出版时间:1992-11 语言学方法论考 : 语言学论文集。小林英夫著。1935年日本三省堂书店出版。小林英夫,日本语言学家和历史学家,最早把索绪尔的语言理论介绍到日本的学者之一。本书是作者在不同时期所写论文的汇..

真理与方法

真理与方法 : 哲学、美学著作。汉·伽达默尔著。1960年联邦德国图宾根初版,1965年、1973年、1975年3次修订再版,被译为多种文字在各国出版。中译本辽宁出版社1987年出版,王才勇译。汉·伽达默尔(Hans—Georg Gadamer,..

图书馆学研究方法

出版时间:1992-11 图书馆学研究方法 : 图书馆学方法论专著。查·布沙和斯·P哈特合著。中译本,1987年书目文献出版社出版,吴彭鹏译,王津生校。查·布沙(Charles H.Busha)和斯·哈特(Stephen P Harter),美国图书..