[图解]建模相关的基础知识-04

1
00:00:00,250 --> 00:00:04,100
下一个知识点我们要讲的是推理模式

2
00:00:06,380 --> 00:00:07,850
推理模式有两种

3
00:00:08,340 --> 00:00:10,660
一种是肯定式的推理模式

4
00:00:13,140 --> 00:00:17,090
如果P蕴含Q为真

5
00:00:18,110 --> 00:00:19,270
而且P为真

6
00:00:19,950 --> 00:00:21,790
那么Q必然为真

7
00:00:25,060 --> 00:00:27,780
也就是说，P是

8
00:00:27,790 --> 00:00:28,830
x讲武德

9
00:00:29,190 --> 00:00:31,550
这是一个谓词

10
00:00:31,560 --> 00:00:32,190
有变量

11
00:00:33,320 --> 00:00:40,450
然后P蕴含Q就是说，如果讲武德

12
00:00:40,460 --> 00:00:44,920
那么个人财产会超过1亿人民币

13
00:00:49,620 --> 00:00:53,550
假设P跟P蕴含Q这两个都为真的话

14
00:00:54,250 --> 00:00:56,040
Q必然为真

15
00:00:56,050 --> 00:01:00,040
x个人财产必然超过1亿人民币

16
00:01:03,420 --> 00:01:05,330
实际上，前面真值表这里有

17
00:01:08,060 --> 00:01:16,280
你看，假设这个为真，这个也为真

18
00:01:16,780 --> 00:01:19,330
那么这个Q必然为真

19
00:01:22,390 --> 00:01:24,220
在这里

20
00:01:24,620 --> 00:01:29,950
因为这个为真，这个为真的Q只有T

21
00:01:29,960 --> 00:01:33,550
你看，这个是T，这是T的地方

22
00:01:33,560 --> 00:01:35,050
只有这个

23
00:01:36,530 --> 00:01:37,570
只有这个是符合的

24
00:01:40,190 --> 00:01:45,490
这个也叫做直接推理

25
00:01:46,790 --> 00:01:49,860
另外一个就是反过来，否定式，就是说

26
00:01:52,230 --> 00:01:57,850
如果P蕴含Q而且Q为假

27
00:01:59,300 --> 00:02:02,570
那么P必然为假

28
00:02:04,920 --> 00:02:07,670
比如说，P蕴含Q，这一样的

29
00:02:10,210 --> 00:02:10,920
如果讲武德

30
00:02:11,690 --> 00:02:12,960
这个是刚才的

31
00:02:16,190 --> 00:02:20,000
我们看这个，这个是一样的，讲武德一样

32
00:02:20,290 --> 00:02:23,850
假设Q为假

33
00:02:26,190 --> 00:02:26,690
意思是什么

34
00:02:26,700 --> 00:02:33,140
假设马老师个人财产

35
00:02:33,150 --> 00:02:35,100
没有超过1亿人民币

36
00:02:37,170 --> 00:02:41,090
而且如果讲武德必然超过1亿人民币

37
00:02:42,480 --> 00:02:43,600
但是马老师的财产

38
00:02:43,610 --> 00:02:45,440
没有超过一亿人民币，意味着什么

39
00:02:45,860 --> 00:02:46,430
可以推理

40
00:02:47,490 --> 00:02:51,850
马老师讲武德必然为假

41
00:02:54,770 --> 00:02:58,040
这个叫间接推理，两种推理的方式

42
00:03:04,570 --> 00:03:10,210
前面我们也可以看到，你看，这个为真

43
00:03:11,340 --> 00:03:16,610
然后Q为假

44
00:03:18,430 --> 00:03:19,550
Q为假是哪里

45
00:03:20,120 --> 00:03:21,310
这个为真，Q为假在哪里

46
00:03:21,320 --> 00:03:24,410
这个为真，Q为假的

47
00:03:25,720 --> 00:03:27,790
只有这个

48
00:03:28,410 --> 00:03:32,250
这个为真，Q为假的，所以P为假

49
00:03:32,260 --> 00:03:33,570
只有这个是符合的

50
00:03:34,070 --> 00:03:35,030
我们可以反推过来

51
00:03:35,120 --> 00:03:38,580
你看，T，这个F，只有这个是符合的

52
00:03:40,420 --> 00:03:44,960
唯一的答案，P为假

53
00:03:45,830 --> 00:03:47,260
假设有两个符合的

54
00:03:47,270 --> 00:03:48,790
那就不行

55
00:03:48,800 --> 00:03:50,550
那就不知道是真是假了

1
00:00:01,390 --> 00:00:03,910
接下来就是一些计算的规则了

2
00:00:03,920 --> 00:00:07,060
或者叫重写规则，等价规则都可以

3
00:00:09,940 --> 00:00:14,260
包括幂等、双重否定，交换律，结合律

4
00:00:14,850 --> 00:00:16,790
这些问题都不大了

5
00:00:18,670 --> 00:00:24,520
下面这一页是需要好好记一下的

6
00:00:25,740 --> 00:00:27,430
P或Q，括号

7
00:00:27,720 --> 00:00:30,590
再与的话，就相当于把它拆开来

8
00:00:31,220 --> 00:00:35,080
P与R，Q与R，再或

9
00:00:35,090 --> 00:00:38,240
同样，P与Q

10
00:00:38,550 --> 00:00:43,210
或，然后，分别分配出来

11
00:00:43,770 --> 00:00:48,570
然后再与，跟我们乘法加法

12
00:00:51,450 --> 00:00:56,110
a*（b+c）=ab+ac一样的

13
00:00:59,050 --> 00:01:03,890
这是一个经常在计算里面很有用的

14
00:01:04,850 --> 00:01:05,960
当然，其他也会用到

15
00:01:05,970 --> 00:01:09,950
但是这个会用来解决更复杂的问题

16
00:01:10,220 --> 00:01:12,810
其他都是在这上面的基础了

17
00:01:13,250 --> 00:01:14,270
包括交换什么的

18
00:01:14,280 --> 00:01:17,640
比如说，P或Q，它写的是

19
00:01:18,110 --> 00:01:21,350
Q或P，或者是（P或Q）

20
00:01:21,360 --> 00:01:23,540
与R，那要是不这样写

21
00:01:23,550 --> 00:01:28,720
而是R与（P或Q），或R与（Q或P）呢

22
00:01:28,970 --> 00:01:31,720
一样的，因为我们前面有交换律

23
00:01:32,800 --> 00:01:33,270
这一个

24
00:01:33,280 --> 00:01:38,230
第2个，德摩根，P或Q的

25
00:01:39,390 --> 00:01:39,730
否

26
00:01:42,020 --> 00:01:45,280
等价两个否的与

27
00:01:45,850 --> 00:01:48,230
刚好相反

28
00:01:48,240 --> 00:01:50,670
拆开以后刚好相反

29
00:01:50,680 --> 00:01:52,030
这个与，这边就是或

30
00:01:53,870 --> 00:01:56,030
这两个把它记住的话

31
00:01:56,040 --> 00:02:02,980
后面用来推导复杂的式子的话

32
00:02:02,990 --> 00:02:05,980
基本上也都是这些东西了

33
00:02:06,560 --> 00:02:12,530
再结合上前面的还有

34
00:02:13,510 --> 00:02:21,670

35
00:02:22,250 --> 00:02:27,250
把蕴含变成与、或、非这种形式

36
00:02:27,260 --> 00:02:28,530
结合上这里

37
00:02:31,260 --> 00:02:37,430
就可以推导和判断出哪个式子

38
00:02:38,100 --> 00:02:39,300
是真还是假

39
00:02:40,330 --> 00:02:41,450
还是不一定

40
00:02:42,000 --> 00:02:42,910
是真是假不知道

41
00:02:46,050 --> 00:02:47,850
主要是计算的规则