问：逻辑学中命题有哪些形式哪些种类
- 答：一、命题的种类
1、按关系即按命题主谓项之间的关系分类：直言命题、（后件主谓项的联系以前件为条件侍洞）和选言命题（谓项之间对主项有选择关系）。
2、从质的角度分：肯定命题、否定命题。
3、从量的角度分：全称命题，包括单称命题、普遍命题和特称命题。
4、从命题的相互关系分：原命题、、否命题、。
二、命题的形式
1、对于两个命题，如果一个命题的条件和结论分别是另外一链丛个命题的结论和条件，那么这两个命题叫做互逆命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆命题。
2、对于两个命题，如果一个命题的条件和结论分别是另外一个命题的条件的否定和结论的否定，那么这两个命题叫做互否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的否命题。
3、对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论的否定和条件的否定，那么这两个命题叫做互为逆否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆否命题。
扩展资料
原命题、否命题、逆命题和逆否命题的关系为：
1、四种命题的相互关系：原命题与逆命题互逆，否命题与原命题互否，原命题与棚谈樱逆否命题相互逆否，逆命题与否命题相互逆否，逆命题与逆否命题互否，逆否命题与否命题互逆。
2、四种命题的真假关系：
（1）两个命题互为逆否命题，它们有相同的真假性。
（2）两个命题为互逆命题或互否命题，它们的真假性没有关系。(原命题与逆否命题同真同假，逆命题与否命题同真同假）
参考资料来源： - 答：首先，根据命题中是否包含有模态词，把命题分为模态命题和非模态命题。
模态命题根据模态词的类别，分为真值模态命题（包含有“可能”“必然”等模态词）和规范模枝运态命题（含有“必须”“禁止”等规范词）。
非模态命题按其是否包含有其他命题形式握绝可分为简单命题和复合命题两类；简单命题根据其是反映了对象的性质还是反映了对象之间的关系，又可分为直言命题（性质命题）和关系命题；复合命题根据其逻辑联结词的不同和支命题之间的关系又可分为联言命题、选言命题、假言命题和负命题段搭姿。 - 答：首先，根据命题中是否包含有模态词，把命题分为模态命题和非模态命题。
模态命题根据模态词的类别，分为真值模态命题（包含有“可能”“必然”等模态词）和规范模枝运态命题（含有“必须”“禁止”等规范词）。
非模态命题按其是否包含有其他命题形式握绝可分为简单命题和复合命题两类；简单命题根据其是反映了对象的性质还是反映了对象之间的关系，又可分为直言命题（性质命题）和关系命题；复合命题根据其逻辑联结词的不同和支命题之间的关系又可分为联言命题、选言命题、假言命题和负命题段搭姿。 - 答：命题分为真命题和假命题。如果题设成立那么结论一定成立，叫做真命题。
问：逻辑学的命题有几种
- 答：首先，根据命题形式中有无模态词，命题可以分为模态命题兄举和非模态命题。
模态命题又可分为真值模态命题和规范模态命题。
非模态命题按照是否包含其他命题羡启碧形式可分为简单命题和复合命题。简单命题又可分为直言命题和关系命题，复合命题又可分为联言命题、选言命题、旁渣假言命题和负命题。
问：模态逻辑的简介
- 答：模态逻辑，或者叫(不很常见)内涵逻辑，是处理用模态如“可能”、“或许”、“可以”、“一定”、“必然”等限定的句子的逻辑。模态逻腊喊辑可以用语义的“内涵性”来描述其特征: 复杂公式的真值不能由子公式的真值来决定的。允许这种决定性的逻辑是“外延性的”，经典逻辑就是外延性的例子。模态算子不能使用外延语义来形式化: “乔治·布什是美国总统”和“2 + 2 = 4”是真的，但是“乔治·布什必然是美国总统”是假的，而“2 + 2 = 4 是必然的”是真的。
形式模态逻辑使用模态判决算子表示模态。基本的模态算子是 和 。(有时分别使用“L”和“M”)。它们的意义依赖于特定的模态逻辑，但它们总是以相互定义的方式来定义。
研究必然、可能及其相关概念的逻轮仿野辑性质。逻辑的一个分支模态逻辑所研究的命题必然 A和可能 A与通常命题演大败算中的命题不同。后者是真值函项，前者不是。因为，当A真时，必然A既可以是真也可以是假；当A假时，可能A既可以是真也可以是假。模态命题演算是现代模态逻辑的基本内容之一。
