文档介绍：哈尔滨师范大学
逻辑学论文
题 目 “简易逻辑〞教学中存在的问题
学 生 ***
指导教师 ** 教授
年 级 20**级
专 业 ***
系 别 ***
学 院 ***
哈尔滨师范大学
20**年*月
论文提要
在逻辑学中,判断是对客观事物所有肯定或否认的思维形式,所以判断有真有假。判断的真假要看判断是否符合思维对象的实际情况,并要通过检验。数学判断是关于数学对象及其属性的判断。命题是数学逻辑的名词,在数学中用来表示数学判断的语句或符号的组合称数学命题。
“简易逻辑〞教学中存在的问题
***
〔黑龙江省 哈尔滨 150025〕
指导教师 ** 教授
摘  要：判断一件事情的语句叫命题；高中的定义是可以判断真假的语句叫命题．这两个定义都不严格．两个定义中使用的“判断〞一词，与语文中通常的意义不尽相同．在逻辑学上，它的意义是：判断是对客观事物有所肯定或否认的思维形式，判断有真有假．所以，初中和高中的两个定义在意义上是完全相同的：命题是这样一个语句，这个语句能够判断真假．
  关键词：命题 判断真假 逻辑学
一、逻辑联结词与四种命题
〔一〕逻辑联结词四种命题
1．命题：可以判断真假的语句叫做命题
2．逻辑联结词：“或〔∨〕〞、“且〔∧〕〞、“非〔┐〕〞这些词叫做逻辑联结词。
或：两个简单命题至少一个成立 且：两个简单命题都成立， 非：对一个命题的否认
3．简单命题与复合命题：不含逻辑联结词的命题叫做简单命题；由简单命题与逻辑联结词构成的命题叫做复合命题。
4．表示形式：用小写的拉丁字母p、q、r、s…来表示简单的命题，
复合命题的构成形式有三类：“p或q〞、“p且q〞、“非p〞
5．真值表：表示命题真假的表叫真值表；复合命题的真假可通过下面的真值表来加以判定。
p
q
非p
P或q
P且q
真
真
假
真
真
真
假
假
真
假
假
真
真
真
假
假
假
真
假
假
〔二〕四种命题
1．一般地，用p和q分别表示原命题的条件和结论，用┐p和┐q分别表示p和q的否认。
2．一个命题的真假与其它三个命题的真假有如下四条关系：
〔1〕原命题为真，它的逆命题不一定为真。
〔2〕原命题为真，它的否命题不一定为真。
〔3〕原命题为真，它的逆否命题一定为真。
〔4〕逆命题为真，否命题一定为真。
〔三〕几点说明
1．逻辑联结词“或〞的理解是难点，“或〞有三层含义：
以“P或q〞为例：一是p成立但q不成立，二是p不成立但q成立，三是p成立且q成立，
2．对命题的否认只是否认命题的结论，而否命题既否认题设又否认结论
3．真值表 P或q：“一真为真〞， P且q：“一假为假〞
4．互为逆否命题的两个命题等价，为命题真假判定提供一个策略。
5．反证法运用的两个难点：1〕何时使用反证法 2〕如何得到矛盾。
二、充要条件
〔一〕充分条件、必要条件和充要条件
1．充分条件：如果A成立那么B成立，那么条件A是B成立的充分条件。