<div id="sei8i"></div>

      <div id="sei8i"><ol id="sei8i"><mark id="sei8i"></mark></ol></div>

        1. <em id="sei8i"><tr id="sei8i"></tr></em>
        2. 微百科:逻辑学

          本分类共包含词条: 0

          本分类中词条共被编辑过: 0

          参与协作的用户数: 0

          摩根定律

          最新协作智愿者: xili178

          摩根定律,由奥古斯塔斯·德·摩根提出。 [详细]

          精彩词条

          最新协作智愿者

          雨下不停

          雨下不停

          创建词条:1852

          编辑词条:208

          OK棒

          OK棒

          创建词条:1459

          编辑词条:935

          东北大老虎

          东北大老虎

          创建词条:435

          编辑词条:323

          领航2012

          领航2012

          创建词条:413

          编辑词条:143

          最新词条 词条帮助 | 全部词条

          • 摩根定律

            摩根定律

            协作者: xili178

            摩根定律,由奥古斯塔斯·德·摩根提出。 [详细]

          • 王向清

            王向清

            协作者: 122671561

            王向清,男,1960年12?#24459;?#28246;南邵阳县人,中共党员, 湘潭大学哲学系主任,二级教授,博?#21487;?#23548;师,兼任教育部高校哲学类专业教学指导委?#34987;?#22996;员、教育部高校人?#32435;?#31185;重点研究基地湘潭大学毛泽东思想研究中心副主任、中国近现代哲学史学会常务理事、中国逻辑学会常务理事、全国毛泽东研究会理... [详细]

          • 非形式逻辑

            非形式逻辑

            协作者: story丶

            非形式逻辑亦称“非形式的逻辑”。泛指能够用于分析、评估和改进出现于?#24605;式?#27969;、广告、政?#20266;?#35770;、法庭辩论?#32422;?#25253;纸、电视、因特网等大众媒体之中的非形式推理和论证的逻辑理论。兴起于20世纪70年代的北美,奠基人为拉尔夫·约翰?#27867;?#23433;东尼·布莱尔。他们于1977年?#29616;?#30340;《逻辑的自我辩护》是... [详细]

          • 下反对关系

            下反对关系

            协作者: shenzpeng

            下反对关系亦译“小反对关系”。即I(特称肯定命题)与O(特称否定命题)之间的真假关系。即两者不能同假,可以同真的关系。由其中一个命题的假,可?#21592;?#28982;推出另一个命题的真。如,由“有的金属不能导电”的假,可?#21592;?#28982;推出“有的金属能导电”的真。但由其中一个命题的真,却不能必然推出另一个命... [详细]

          • Heyting代数

            Heyting代数

            协作者: dl840410

            在数学中,Heyting代数是构成对?#32423;?#20195;数的推广的特殊的偏序集。Heyting代数为?#26412;?#36923;辑而提出,它是在其中排中律一般不成立的逻辑。完全Heyting代数是无点拓扑学研究的中心对象。 [详细]

          • 亨佩尔的乌鸦

            乌鸦悖论,也叫做亨佩尔的乌?#25442;?#20136;佩尔悖论,是二十世纪四十年代德国逻辑学家卡尔·古斯塔夫·亨佩尔(Carl Gustav Hempel)为了说明归纳法违反?#26412;?#32780;提出的一个悖论。 [详细]

          • 线性逻辑

            线性逻辑

            协作者: beer_ltq

            在数理逻辑中,线性逻辑是拒绝弱化和收缩的结构规则的一种亚结构逻辑。对此解释是假设是资源: 在证明中所有假设必须被消费精确一次。这区别于平常的逻辑比如经典逻辑或?#26412;?#36923;辑,那里统治判断是真理,它可以按需要被自由的使用多次。 [详细]

          • 属种关系

            属种关系

            协作者: laopoxuemei

            属种关系:逻辑学术语。概念外延间五种关系中的一种。 具体来说,属种关系,?#26222;?#21253;含关系、上属关系等,是指一个概念的部分外延与另一个概念的全部外延重合的关系。这就是说,在概念a和概念b的关系上,如果所有的b都是a,但有的a不是b,那么a和b这两个概念之间就是属种关系。其中,外延大的... [详细]

          • ?#25442;慌判? src=

            所谓?#25442;唬?#23601;是根据序列中两个记录键值的比较结果来对换这两个记录在序列中的位置,?#25442;慌判?#30340;特点是?#33322;?#38190;值较大的记录向序列的尾部移动,键值较小的记录向序列的前部移动。 [详细]

          • 反对判断

            反对判断

            协作者: zhoujia

            反对判断指逻辑中不能同真但可以同假的两个判断。 [详细]

          赛车pk10

            <div id="sei8i"></div>

              <div id="sei8i"><ol id="sei8i"><mark id="sei8i"></mark></ol></div>

                1. <em id="sei8i"><tr id="sei8i"></tr></em>
                  1. <div id="sei8i"></div>

                      <div id="sei8i"><ol id="sei8i"><mark id="sei8i"></mark></ol></div>

                        1. <em id="sei8i"><tr id="sei8i"></tr></em>
                        2. 比基尼派对百度网盘下载 云南11选5走势图云 使命召唤ol天命原型枪 埃瓦尔vs皇马视频 南安普顿离布莱顿多远 nba尼克斯vs湖人 幸运月怎么玩 皇家社会和埃瓦尔实力相比 拳皇命运第二季2019 猫女王金色高跟在线