...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Cybernetics & Human Knowing >A Codebook for Translating Between Various Notations for Propositional Logic
【24h】

A Codebook for Translating Between Various Notations for Propositional Logic

机译：命题逻辑的各种表示法之间进行转换的代码书

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Many notational systems exist for propositional logic. PWR is the most popular, but is neither the most useful, nor the most insightful. Two-valued propositional logic has 16 binary connectors. Some well-known notations do not even have symbols for all 16. No readily available codebook translating between all of these notations is known to exist. This paper will develop one that translates between six of the more popular systems. For instance: PaQ in PWR translates into PdQ in PZ Notation, to aPQ in Polish Notation, to P Q in Peirce's EG System, and to (P|P)|(Q|Q) in PS Notation. As another example: P→ Q in PWR translates into PpQ in PZ Notation, to→PQ in Polish Notation, to in Peirce's Existential Graph System, to ((P|P)|((Q|Q)|(Q|Q)))|((P|P)|((Q|Q)|(Q|Q))) in PS Notation, and to PPQ in SC Notation. All 16 binary connectors will be included; and the strengths and weaknesses of each system will be discussed.
机译：命题逻辑存在许多符号系统。 PWR是最受欢迎的，但它既不是最有用的，也不是最有见地的。二值命题逻辑具有16个二进制连接器。一些众所周知的符号甚至没有全部16的符号。尚不存在在所有这些符号之间进行转换的现成的代码本。本文将开发一种可在六个较流行的系统之间进行翻译的系统。例如：PWR中的PaQ转换为PZ表示法中的PdQ，波兰表示法中的aPQ，Peirce EG系统中的P Q和PS表示法中的（P | P）|（Q | Q）。再举一个例子：PWR中的P→Q转换为PZ表示法中的PpQ，to→波兰表示法中的PQ，在Peirce存在图系统中，转换为（（P | P）|（（Q | Q）|（Q | Q） ））|（（（P | P）|（（Q | Q）|（Q | Q）））），以SC表示法表示为PPQ。将包括所有16个二进制连接器；并将讨论每种系统的优缺点。

著录项

  • 来源
    《Cybernetics & Human Knowing》 |2011年第2期|p.13-27|共15页
  • 作者

    Charls Pearson;

  • 作者单位

    American Semiotics Research Institute;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号