形式推理30式

直言命题---换位推理
有些A是B <- -> 有些B是A 有些是可交换
所有A不是B <--> 所有B不是A 所有不可交换
所有A 是B -> 有些B是A 所有是变有些
例题：铁路部门工作人员大多参加冬季军事训练，但都参加了抗雪救灾工作，
据此，下列必然为真的有几个？
A:有的参加了抗雪救灾的是铁路部门的工作人员
B:有些铁路部门的工作人员即才加了抗雪救灾工作有强化冬季军事训练
C:有的参加了冬季军事训练是铁路部门的工作人员
D:有的铁路部门的工作人员参加了抗雪救灾工作
ABCD
例题：凡有关国家机密的案件都不是公开审理的案件。
如果上述陈述为真，下面一定为真的是
A：不公开审理的案件都是有关国家机密的案件
B:公开审理的案件都不是有关国家机密的案件
C:有关国家机密的某些案件可以公开审理
D:凡不涉及国家机密的案件都可以公开审理
B
例题：凡是美的都是真的，凡是真的都是不容怀疑的。而美的事物是存在的。
上述陈述为真，则下面为真的是
A:凡真的都是美的
B:有的美的值得怀疑
C:有的真的是美的
D:凡不美的都是要怀疑的
C
直言命题--换质推理
有些A是B<-->有些A不是非B
所有A是B<--> 所有A不是非B
所有A不是B<-->所有A是非B
有些A不是B<-->有些A是非B

质位互换