逻辑学中命题有哪些形式哪些种类

一、命题的种类
1、按关系即按命题主谓项之间的关系分类：直言命题、假言命题（后件主谓项的联系以前件为条件）和选言命题（谓项之间对主项有选择关系）。
2、从质的角度分：肯定命题、否定命题。
3、从量的角度分：全称命题，包括单称命题、普遍命题和特称命题。
4、从命题的相互关系分：原命题、逆命题、否命题、逆否命题。
二、命题的形式
1、对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论和条件，那么这两个命题叫做互逆命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆命题。
2、对于两个命题，如果一个命题的条件和结论分别是另外一个命题的条件的否定和结论的否定，那么这两个命题叫做互否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的否命题。
3、对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论的否定和条件的否定，那么这两个命题叫做互为逆否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆否命题。

扩展资料
原命题、否命题、逆命题和逆否命题的关系为：
1、四种命题的相互关系：原命题与逆命题互逆，否命题与原命题互否，原命题与逆否命题相互逆否，逆命题与否命题相互逆否，逆命题与逆否命题互否，逆否命题与否命题互逆。
2、四种命题的真假关系：
（1）两个命题互为逆否命题，它们有相同的真假性。
（2）两个命题为互逆命题或互否命题，它们的真假性没有关系。(原命题与逆否命题同真同假，逆命题与否命题同真同假）
参考资料来源：搜狗百科-命题

逻辑学当中的 主项 和 谓项 是什么意思？最好举个例子说明下~~

主项是直言命题中指称代表事物对象的词项.
谓项是命题中指称代表对象所具有或不具有的性质的词项.
三段论是由两个含有一个共同项的性质判断作前提得出一个新的性质判断为结论的演绎推理。例如：
知识分子都是应该受到尊重的，
人民教师都是知识分子，
所以，人民教师都是应该受到尊重的。
其中，结论中的主项叫做小项，用“S”表示，如上例中的“人民教师”；
结论中的谓项叫做大项，用“P”表示，如上例中的“应该受到尊重”；
两个前提中共有的项叫做中项，用“M”表示，如上例中的“知识分子”。
在三段论中，含有大项的前提叫大前提，如上例中的“知识分子都是应该受到尊重的”；含有小项的前提叫小前提，如上例中的“人民教师是知识分子”。
三段论推理是根据两个前提所表明的中项M与大项P和小项S之间的关系，通过中项M的媒介作用，从而推导出确定小项S与大项P之间关系的结论。

数字逻辑主要学什么呢?

数字逻辑是计算机科学与技术专业的一门基础专业必修课。学习此课的目的是掌握对数字逻辑电路的分析和设计方法。其中包括用门和触发器的逻辑分析及设计方法，中大规模集成电路的原理、使用方法和可编程逻辑器件的逻辑设计方法。它的先修课程有“电路与电子技术”及“程序设计语言”等；它的后续课程有“计算机组成原理”、“计算机系统结构”、“微机接口技术”等。

逻辑学中三段论中aaa,eae是什么意思

AAA、EAE在三段论中分别表示大前提、小前提和结论，称为三段论的式。如一个三段论的大前提、小前提、结论分别都是A命题，则构成AAA式；如果大前提是E命题，小前提是A命题，结论是E命题，则构成EAE式。
在三段论中，大前提、小前提、结论分别都可能由A、E、I、O来充当，因此，可以构成4×4×4=64个式，再把这64个式分配到4个格中，则有64×4=256个式。如第一格的AAA式、第二格的AAA式、第三格的AAA式、第四格的AAA式等等。
但注意，按照三段论的规则，这256个式大多属于无效式，如AAA式只在第一格中是有效式，在第二格、第三格、第四格中都是无效式。而EAE式只在第一格、第二格中是有效式，在第三格、第四格中是无效式。

逻辑学分为哪几种？

逻辑学分为具象逻辑、抽象逻辑、对称逻辑。
逻辑学是关于思维规律的学说，由亚里士多德创立。逻辑和逻辑学的发展，经过了传统逻辑（形式逻辑）与辩证逻辑两大阶段，辩证逻辑又发展有矛盾逻辑、对称逻辑两大阶段。
对称逻辑是逻辑学发展的最新成果，是辩证逻辑发展的高级阶段，也是逻辑学发展的最高阶段。
对称逻辑以对称规律为基本的思维规律，悖论是对称逻辑产生的催化剂。“悖论”的出现说明原有的逻辑和逻辑学的不完善，说明对称逻辑学的产生是逻辑与逻辑学发展的自然历史过程。

扩展资料
逻辑学有四个基本原理：
1、同一律 ：事物只能是其本身。猫就是猫，不能是老虎。
2、排中律 ：事物在一定条件下的判断，不是A就是B,不存在中间状态。举个简单的例子，在豆腐变成臭豆腐中间，一定有一个临界点，临界点之前是豆腐，临界点之后就是臭豆腐。
3、充足的理由律：被成为是因果原理，任何事物存在都有其充足的理由。世界上为什么会有蚂蚁，其实这个问题无法解释，它就是有存在的理由。
4、矛盾律：在同一个时刻，一个事物在某个方面不能即是这样，有不是这样。比如说一片树叶是绿色的，那就不能再说它是黄色的了。
参考资料来源：搜狗百科-逻辑学

请问逻辑学的三段论中 大前提小前提以及中项是否必须各出现两次？

大前提是肯定的，大项在大前提中周延，则大前提只能是全称肯定命题，且大项在大前提中只能做主项，即PAM；
因为大前提是PAM，则中项M在大前提中不周延，按照“中项在前提中至少周延一次”的规则，中项M在小前提中必须周延；
小项在小前提中不周延，中项在小前提必须周延，则小前提可能是MAS或者SOM；
小项在结论中不周延，结论只能是特称命题，大项在结论中周延，结论只能是否定命题；
结论是特称否定命题，按照“结论是否定的，则前提中有一个是否定的”规则，小前提只能是SOM；
综上所述，这个有效三段论的形式如下：
大前提：PAM
小前提：SOM
结 论：SOP
这是三段论第二格的AOO式。

什么是学科分类号MASS 或 PACS

MASS 学科分类号 例如：
110 数学 110.11 数学史 110.14 数理逻辑与数学基础 110.1410 演绎逻辑学(亦称符号逻辑学) 110.1420 证明论(亦称元数学) 110.1430 递归论 110.1440 模型论 110.1450 公理集合论 110.1460 数学基础
PACS 物理学和天文学分类方案 ,即“Physics and Astronomy Classification Scheme”.如：
00—General(通用学科）
01. Communication, education, history, and philosophy（通讯、教育、历史和哲学）
02. Mathematical methods in physics（数理法）
10—The Physics of Elementary Particles and Fields(基本粒子物理学与场)
11. General theory of fields and particles（General theory of fields and particles(场和粒子的一般理论)
PACS 总分类标号如下（注：2010年始）：
00—General
10—The Physics of Elementary Particles and Fields
20—Nuclear Physics
30—Atomic and Molecular Physics
40—Electromagnetism, Optics, Acoustics, Heat Transfer, Classical Mechanics, and Fluid Dynamics
50—Physics of Gases, Plasmas, and Electric Discharges
60—Condensed Matter: Structural, Mechanical and Thermal Properties
70—Condensed Matter: Electronic Structure, Electrical, Magnetic, and Optical Properties
80—Interdisciplinary Physics and Related Areas of Science and Technology
90—Geophysics, Astronomy, and Astrophysics