直接推理

✍ dations ◷ 2025-07-21 13:41:20 #直接推理

直接推理是日常语言和亚里士多德的词项逻辑中常见的基本推理形式。不同于从两个直言命题得出一个直言命题的直言三段论，它从一个直言命题得出另一个直言命题，所以被称为是直接的。在传统逻辑中主要有换质法（Obversion）、换位法（Conversion）和对置法（Contraposition）。

直言命题的四种类型的谓词逻辑表示：

依据全称量词和存在量词之间的对偶关系（对立四边形中矛盾关系）可以直接得出：

上面加粗表述是亚里士多德《解释篇》中采用的形式。

假定了主词对应的范畴确有个体存在之后可得出蕴涵关系（又译差等关系）：

在蕴涵关系和对偶关系之上可确立全称命题间不同真关系（又译反对关系）：

和特称命题之间的不同假关系（又译下反对关系）：

换位法对调主词和谓词的位置（采用谓词逻辑就没有了传统的主词谓词差别）：

换质法否定谓词本身而改变命题的性质，这里有 ${displaystyle A^{CC}=A,}$ ${displaystyle A^{CC}=A,}$ ：

对置法是换质后换位：

特称肯定命题（I）变为特称否定命题（O）后不能换位。

对置后再换质叫反对置法（Obverted Contraposition）：

相关

人工电子耳人工耳蜗，亦称为“人工电子耳”，是一种植入式听觉辅助设备，其功能是使重度失聪的病人（聋人）产生一定的声音知觉。与助听器等其它类型的听觉辅助设备不同，人工耳蜗的工作原理不是放
阿蒙涅姆赫特五世塞赫姆卡拉（英语：Sekhemkare），埃及第十三王朝国王。据《都灵王表》记载，他在位6年。他统治时期的一座纪念碑上的几块被保存下来。他的名字还刻在尼罗河第二瀑布地区的努比亚尤龙
索比布尔集中营纳粹集中营转移营比利时：布伦东克堡垒 · 梅赫伦转移营法国：居尔集中营 · 德朗西集中营意大利：波尔查诺转移营荷兰：阿默斯福特集中营 · 韦斯特博克转移营挪威：法斯塔德集中营部
卡里马塔群岛卡里马塔群岛是印度尼西亚的小型群岛，位于婆罗洲西岸对开海域，提供由低地的红树林和热带雨林至1000米山顶的山地灌丛（montane shrubland）等不同生态系统。
约翰·布拉莫尔约翰·布拉莫尔（英语：John Bramall，1923年8月18日－2000年6月13日），英国音频工程师。他曾因电影雷恩的女儿（英语：Ryan's Daughter）提名奥斯卡最佳音响效果奖。
辐角数学中，复数的辐角是指复数在复平面上对应的向量和正向实数轴所成的有向角。复数的辐角值可以是一切实数，但由于相差 360
约华尼·阿雷切亚约华尼·阿雷切亚（Yovanny Arrechea，1983年1月23日－）是一名哥伦比亚足球运动员，现效力于中甲球队呼和浩特东进，司职前锋。阿雷切亚在2011年夏季和中超球队长春亚泰签约两年半。他
内华达州城市列表内华达州位于美国西部。根据2020年美国人口普查数据，内华达州共3,104,614人，全国排名第32位，但按土地面积计算则是美国第七大州，面积为109,781.18平方英里（284,332.0平方千米）。内华达州共分17个县，包含19个建制市，建制市仅占该州土地面积的1%，但人口占比56.7%。州建制地区在法律上称为市，但不包括内华达州首府卡森城，卡森城没有法律描述，但由于不在任何县内而被视作独立市。某地若想建制，可以向县政委员会提出申请，委员会会考虑地理、人口和经济等诸多因素。为确定选区数量、议会选举结
应用经济学应用经济学是指经济理论和计量经济学在特定环境下的实际运用，即用经济理论和计量经济学来解决一系列领域的实际问题。从经济发展的角度来看，应用经济学的目的是提升商业运作和国家政策制定的效果。
乖仔也疯狂《乖仔也疯狂》（英语：Risky Business）是一部1983年美国青春喜剧电影，由保罗·布里克曼编剧和导演，汤姆·克鲁斯和瑞贝卡·德·莫妮担任主演。这部电影包含唯物主义、失去纯真、成年和资本主义。并以汤姆·克鲁斯的生涯突破电影著称，《乖仔也疯狂》获得了评论和商业成功，仅用620万元的成本就获得了6,250万元的票房。汤姆·克鲁斯更在这部片后成为全美青少年偶像。叙术美国有一青年异想天开，竟趁家人外出时，找人在家开设特种行业赚外快，最后赚是赚到一大笔，但也臭名远播。