Logical Squares for Classical Logic Sentences

详细信息    查看全文

• 作者：Urszula Wybraniec-Skardowska
• 刊名：Logica Universalis
• 出版年：2016
• 出版时间：June 2016
• 年：2016
• 卷：10
• 期：2-3
• 页码：293-312
• 全文大小：1,159 KB
• 刊物类别：Mathematics and Statistics
• 刊物主题：Mathematics
  Mathematics
  Computer Science, general
  Logic
  
• 出版者：Birkh盲user Basel
• ISSN：1661-8300
• 卷排序：10

文摘

In this paper, with reference to relationships of the traditional square of opposition, we establish all the relations of the square of opposition between complex sentences built from the 16 binary and four unary propositional connectives of the classical propositional calculus (CPC). We illustrate them by means of many squares of opposition and, corresponding to them—octagons, hexagons or other geometrical objects.KeywordsSquare of oppositionclassical propositional connectivestruth-value tabletautology of classical logicoctagon of oppositionhexagon of oppositionoctahedron of opposition