《数理逻辑与集论 新数入门概念》

1．简介1

2．述词和复合述词5

3．合取和析取7

4．不可兼析取11

5．否定～p13

6．命题和真值表15

7．恒真命题、矛盾命题29

8．逻辑、等价、命题代数32

9．条件述词48

10．双条件述词53

11．p→q的逆命题、反命题、逆反命题58

12．论证68

13．论证和述词76

14．逻辑蕴涵83

15．集和集的形式90

16．等集、有限集、无限集92

17．单元集、子集、泛集、空集94

18．集的类、集体、族100

19．集的运算102

20．图解与论证114

21．序偶133

22．积集135

23．命题的真值集141

24．关系——二元关系149

25．关系和序偶集、逆关系151

26．等价关系156

27．分划162

28．划分和等价的关系165

29．什麽叫映射174

30．实值映射的图形181

31．合成映射187

32．一一映射、上映射192

33．逆映射197

34．恒等映射200