演绎推理~直言命题~
直言命题 传统直言命题又简称为直言命题〔categoricalproposition〕,它是一种简单命题.分析直言命题及其逻辑结构首先需要分析简单命题.所谓简单命题是指结构最简单的命题,从其表达的形式结构上分析,它是不能再分解为其它命题的命题. 传统逻辑把直言命题分为四种基本类型，即：全称肯定命题、全称否定命题、特称肯定命题和特称否定命题。
直言命题一般有四个组成部分.主项,谓项,量项和联项. 主项是直言命题中指称代表事物对象的词项. 谓项是命题中指称代表对象所具有或不具有的性质的词项. 量项是表达主项外延数量的词项.量项有全称量项和特称量项两种.全称量项一般用语词所有,每一个,凡等表示,特称量项一般用有,有些表示. 联项是表达主项与谓项之间逻辑关系的词项.联项有肯定的与否定的两种.肯定联项一般用语词是表示,否定联项一般用语词不是表示. 在直言命题的这四个组成部分中,量项和联顶的逻辑涵义是确定的.逻辑涵义确定的词项被称作逻辑常项.因此,直言命题的量项和联项是逻辑常项. 与量项和联项不同,主项和谓项的逻辑涵义是不确定.逻辑涵义不确定的词项被称作逻辑变项.因此,主项和谓项是变项,分别用S和P表示. 虽然就主项S和谓项P究竟代表哪个具体词项来说它们的涵义是不确定的,但就它们必须代表并且也只能代表词项这一点却是很确定的.因此,我们说S和P是以词项为定义域的变项.它们代表任意词项,而不是其它什么东西. 任何一个传统直言命题都是由主项,谓项,量项和联项四部分构成.直言命题中还有一类特殊形式即单称命题。
有两种：一种主项是专名，如“苏格拉底是人”；一种主项是附有限制的普遍概念，如“昨天我谈到的那个人是作家”。
单称命题有肯定和否定的区别，传统逻辑认为其形式分别为 ： 这个S是P；这个S不是P 。
亚里士多德虽论及单称命题 ，但却没有谈到有关单称命题的推理 。
后来许多传统逻辑读本在论述推理时，把单称命题当作全称命题处理是不妥当的。
现代逻辑克服了传统逻辑不考虑空类和全类，即在 S类和P类都既不空又不全的假设下讨论A、E、I、O 这四种直言命题的局限。
现代逻辑考虑到词项的外延可以是空类和全类，因而全称命题如“凡未接触过细菌的人都不得细菌性传染病”的形式应该为（F(x)→G（x）），这可以读作“对论域里的所有个体x而言，如果x有性质F则x有性质G” ；而传统逻辑所谓的特称命题如“有金属是固体”的形式应为 （'x（F（x））∧G（x）），这可读作“在论域里至少存在一个体x，使得x有性质F并且x有性质G”。
故现代逻辑称这类命题为存在命题。
逻辑史上最早详细研究这类命题的是亚里士多德，但他并没有使用“直言命题”这个名称，而称之为简单命题。
后来I.康德从认识的模态的角度把这类命题叫做实然（原意为断言）命题。
传统逻辑学家一般认为，这类命题与选言命题、假言命题不同，它是无条件地、简单地肯定或否定某种事实，因而被汉译为直言命题。
逻辑中，模态命题理解困惑。
虽然我不知道什么是 “模态” 命题，但我可以解释你的问题： 首先，根据一个命题的真假，我们可以确定的是它的 “否定” 的真假——这是由“否定型”复合命题的定义决定的。
所谓命题的否定，是对它的 “整体” 的否定，关键是对 “谓语” 的整体否定；而不是对谓语的“部分否定”。
对于命题 P： P：可能下雨；它的谓语有两个动词：可能、下（雨）；这种命题应该理解为是一个“复合命题”——至少是一个 “复杂命题”： p：（今天）下雨： P：可能 p；所以P 的否定（记为：P′）是： P′：非 P ＝ 不 可能 p ＝ 不可能下雨；对于命题 Q： Q：可能不下雨；也有相对应的分析： q：（今天）不下雨；显然：q = 非 p； Q：可能 q；Q 的否定： Q′：非 Q ＝ 不 可能 q ＝ 不可能不下雨；以上命题中： P 与 P′ 相互矛盾；Q 与 Q′ 相互矛盾；p 与 q 相互矛盾；而对于 P 和 Q： Q 只是对 P 的谓词的一部分 “下雨” 作出否定；所以 Q 的真假情况，还要看 P 的谓词的另一部分——“可能”。
而 “可能” 的意思就是（允许）不确定；具体地说： 当 p （确实）为真时，P 为真； 当 p （确实）为假时，P 为假； 当 p 的真假不确定时；P 为真；以上论述同样适用于命题 q 和 Q； 对于你的题目，所能确定的是：P 为真；那么，可知： P′ 必为假； 而 p 则可能为真；也可能不确定；当 p 为真时，即今天真的下雨了： q = 非 p，必为假； 则：Q 也为假；当 p 不确定时，即（确实）不能确定今天是否下雨； q = 非 p，也不能确定； 则：Q 为真； 这说明：P 与 Q 可以同为真；其为真的充要条件就是：p（q 也一样）的真假不确定；综上所述，可知：Q 的真假是不确定的。
简述三段论推理的规则
模态命题必然、可不可能等模态词的命题。
模态推理是指根据模态间的关系而进行的推理，其前提和结论是模态判断。
模态命题是模态推理的前提。
也就是说模态推理是依据已知的模态命题得到新的命题的思维形式。
因为不管是模态还是可拓推理，都是由前提和结论两个部分组成。
推理所依据的命题叫做前提，推理所得到的命题叫做结论，推理就是证明命题的过程。
命题有真假，推理是一个证明的过程，没有真假，但结论是真假或对错
全日制研究生毕业后有报到证吗
有的
和本科生的三方协议，报到证等是一样的。
推理有哪些类型
推理tui li 由或几知的判断(前提)，推导出一个未知的结论的思维。
其作用是从已知的知到未知的知识，特别是可以得到不可能通过感觉经验掌握的未知知识。
推理主要有演绎推理和归纳推理。
演绎推理是从一般规律出发，运用逻辑证明或数学运算，得出特殊事实应遵循的规律，即从一般到特殊。
需要注意的是：如果不能考察某类事物的全部对象，而只根据部分对象作出的推理，不一定完全可靠。
推理是形式逻辑是研究人们思维形式及其规律和一些简单的逻辑方法的科学。
思维形式是人们进行思维活动时对特定对象进行反映的基本方式，即概念、判断、推理。
思维的基本规律是指思维形式自身的各个组成部分的相互关系的规律，即用概念组成判断，用判断组成推理的规律。
它有4条：即同一律、矛盾律、排中律和充足理由律。
简单的逻辑方法是指，在认识事物的简单性质和关系的过程中，运用思维形式有关的一些逻辑方法，通过这些方法去形成明确的概念，作出恰当的判断和进行合乎逻辑的推理。
学习形式逻辑知识，可以指导我们正确进行思维，准确、有条理地表达思想；可以帮助我们运用语言，提高听、说、读、写的能力；可以用来检查和发现逻辑错误，辨别是非。
同时，学习形式逻辑还有利于掌握各科知识，有助于将来从事各项工作。
一、推理及其语言形式推理是由一个或几个已知的判断推出一个新的判断的思维形式。
例如“客观规律总是不以人们的意志为转移的，经济规律是客观规律，所以，经济规律是不以人们的意志为转移的”，这段话就是一个推理。
其中“客观规律总是不以人们的意志为转移的”，“经济规律是客观规律”是两个已知的判断，从这两个判断推出“经济规律是不以人们的意志为转移的”这样一个新的判断。
任何一个推理却包含已知判断、新的判断和一定的推理形式。
作为推理的已知判断叫前提，根据前提推出新的判断叫结论。
前提与结论的关系是理由与推断，原因与结果的关系。
推理与概念、判断一样，同语言密切联系在一起，推理的语言形式为表示因果关系的复句或具有因果关系的句群。
常用“因为……所为……”“由于……因而……”“因此”、“由此可见”、“之所以……是因为……”等作为推理的系词。
二、推理的种类推理按推理过程的思维方向划分，主要有演绎推理、归纳推理和类比推理。
1．演绎推理它是由普遍性的前提推出特殊性结论和推理。
演绎推理有三段论、假言推理和选言推理等形式。
2．归纳推理它是由特殊的前提推出普遍性结论的推理。
归纳推理有以下几种类型：3．类比推理它是从特殊性前提推出特殊性结论的一种推理，也就是从一个对象的属性推出另一对象也可能具有这属性。
三、推理的几种具体方法a. 三段演绎法：-由一个共同概念联系着的两个性质判断作前提，推出另一个性质判断作结论的推理方法。
b. 联言分解法：-由联言判断的真，推出一个肢判断真的联言推理形式的一种思维推理方法。
c. 连锁推导法：-在一个证明过程中，或一个比较复杂的推理过程中，将前一个推理的结论作为后一个推理的前提，一步接一步地推导，直到把需要的结论推出来。
d. 综合归纳法：-以大量个别知识为前提概括出一个一般性结论的推理方法。
e. 归谬反驳法：- 从一个命题的荒谬结论，论证其不能成立的思维方法。
