不同逻辑间翻译的逻辑性质研究

刘丽萍¹

扫码查看

作者信息

1. 辽宁省鞍山市信息工程学校辽宁鞍山 114000
折叠

摘要

一般来说，完备的翻译以及可靠的翻译能够将不可满足的公式翻译成为可满足的公式，其主要的基础条件是考虑逻辑间模型的翻译同时一个逻辑的模型类被翻译成为另外一个逻辑的模型类，其中存在的真子类。在上述论证的基础上，本次研究针对实际情况，总结本人的经验，对以下两条逻辑性质进行分析，首先语义忠实逻辑性质，其次是语意义满逻辑性质。在此基础上，未可满足的公式翻译成可满足公式提供相应的保障，其中不可满足公式翻译为不可满足公式。

关键词

不同逻辑/翻译/逻辑性质

引用本文复制引用

出版年

2015

读写算(教育教学研究)

荆门市教科所

读写算(教育教学研究)

ISSN：1002-7661

参考文献量1

段落导航