与非函数

逻辑史

• 
  在逻辑史:戈特弗里德·普劳凯

  20世纪的“谢弗笔画”函数(Peirce也知道)意味着“两者都不……也没有。”普遍否定命题，“没有A是B”，将变成“A > B”(或者，可以转换为“B > A”)。相等符号被用来表示概念上的同一性，如莱布尼茨。大写字母……

  阅读更多
• 
  在逻辑史:命题逻辑和谓词逻辑

  连词，被称为“谢弗笔画”，具有否定连词的力量。(否定的分离也可以达到同样的目的。)

  阅读更多