好书网为大家整理了经典好书《逻辑与哲学》中的经典语录,精彩段落及优美句子,重读经典,感悟人生。让读者沉浸在自己的阅读世界里,忘记周围的世界, 与作者一起在另外一个世界里快乐、悲伤、愤怒、平和,欢迎大家阅读~
p14 重言律(Taut): p∷p・p p∷p∨p 其主要用来消去多余的字母。 等值律(Equiv): p≡q∷(p⊃q)・(q⊃p) p≡q∷(p•q)∨(~p•~q) 等值律是处理出现“≡”的语句所需要的。
这里引入一个重要概念,即语句的主联结词(main connective)。语句的主要联结词,是指其管辖范围为语句的整个其余部分的真值函数联结词。