1
00:00:08,109 --> 00:00:18,030
Vamos a empezar a oír a lógica profísica proposicional

2
00:00:18,030 --> 00:00:23,170
e vamos a poner un problema para aprender a formalizar

3
00:00:23,170 --> 00:00:27,170
e a pasar do lenguaje ordinario ao lenguaje.

4
00:00:29,059 --> 00:00:29,500
Comín.

5
00:00:33,320 --> 00:00:36,500
Se a Benita se fuera con outro,

6
00:00:36,500 --> 00:00:39,640
entón

7
00:00:39,640 --> 00:00:42,579
la seguiría por tierra ou por mar

8
00:00:42,579 --> 00:00:48,240
Si Adelita

9
00:00:48,240 --> 00:00:50,700
se fuera con otro

10
00:00:50,700 --> 00:00:52,719
la seguiría

11
00:00:52,719 --> 00:00:54,500
por tierra ou por mar

12
00:00:55,340 --> 00:00:57,299
Si por mar

13
00:00:57,299 --> 00:00:58,460
en un buque

14
00:00:58,460 --> 00:00:59,520
le va

15
00:00:59,520 --> 00:01:02,439
Si por tierra en un tren

16
00:01:02,439 --> 00:01:03,500
militar

17
00:01:03,500 --> 00:01:08,079
Ni la sigo en un buque de guerra

18
00:01:08,079 --> 00:01:13,239
Ni la sigo en un remilitar

19
00:01:13,239 --> 00:01:18,099
Alegría, por Dios, non te vallas

20
00:01:18,099 --> 00:01:21,959
Alegría, con otro se va

21
00:01:21,959 --> 00:01:25,680
Bien, agora vamos a pasar a la formalización

22
00:01:25,680 --> 00:01:27,480
De este problema

23
00:01:27,480 --> 00:01:30,239
Tenemos aquí, fe, alegría

24
00:01:30,239 --> 00:01:32,400
Se va con otro, cu

25
00:01:32,400 --> 00:01:33,900
seguirla por tierra,

26
00:01:34,480 --> 00:01:35,959
R seguirla por mar,

27
00:01:36,659 --> 00:01:38,680
S utiliza un Q que es de guerra,

28
00:01:39,340 --> 00:01:41,200
T utiliza un Q que es de guerra.

29
00:01:42,079 --> 00:01:43,040
Pasamos, pues,

30
00:01:43,480 --> 00:01:44,540
a el lenguaje

31
00:01:44,540 --> 00:01:45,060
de la lengua.

32
00:01:45,920 --> 00:01:46,400
Decae.

33
00:01:47,739 --> 00:01:49,659
Por si a venida

34
00:01:49,659 --> 00:01:52,019
se fuera por otro,

35
00:01:53,599 --> 00:01:54,400
la seguía

36
00:01:55,019 --> 00:01:57,659
por tierra o por mar.

37
00:02:01,000 --> 00:02:01,659
E allí

38
00:02:01,659 --> 00:02:04,040
estaría la primera eslofa.

39
00:02:04,480 --> 00:02:07,359
A continuación pasamos a la segunda etapa.

40
00:02:13,639 --> 00:02:14,879
Recordad que

41
00:02:14,879 --> 00:02:16,520
os problemas de la lógica

42
00:02:16,520 --> 00:02:18,319
tínen que ir de dos en dos

43
00:02:18,319 --> 00:02:22,039
e aquí

44
00:02:22,039 --> 00:02:23,759
tanto queremos que

45
00:02:23,759 --> 00:02:25,479
modelar esto

46
00:02:25,479 --> 00:02:27,060
e pasar a la siguiente.

47
00:02:31,319 --> 00:02:32,840
E volvemos a este.

48
00:02:34,479 --> 00:02:49,939
Y ya estamos a punto

49
00:02:49,939 --> 00:02:52,740
y aquí terminan las premisas

50
00:02:52,740 --> 00:02:54,280
y va a comenzar

51
00:02:54,280 --> 00:02:55,699
la conclusión

52
00:02:55,699 --> 00:02:58,840
Adelita, por Dios, no te vaya

53
00:02:58,840 --> 00:03:02,939
Adelita, como que no se va

54
00:03:02,939 --> 00:03:04,060
Bien

55
00:03:04,060 --> 00:03:05,819
Ya tenemos el problema

56
00:03:05,819 --> 00:03:08,080
Ahora lo vamos a pasar

57
00:03:08,080 --> 00:03:09,460
A las tablas de derivación

58
00:03:09,460 --> 00:03:12,479
Observamos la primera premisa

59
00:03:12,479 --> 00:03:14,060
Si a delita

60
00:03:14,060 --> 00:03:15,939
Se fuera con otro

61
00:03:15,939 --> 00:03:18,479
La seguiría por tierra

62
00:03:18,479 --> 00:03:19,719
O por mar

63
00:03:19,719 --> 00:03:20,740
Primera premisa

64
00:03:20,740 --> 00:03:26,280
Si por mar

65
00:03:26,280 --> 00:03:28,159
Es un golpe de guerra

66
00:03:28,159 --> 00:03:29,560
Segunda premisa

67
00:03:29,560 --> 00:03:33,259
Si por tierra

68
00:03:33,259 --> 00:03:35,000
En un tren militar

69
00:03:35,000 --> 00:03:35,919
Primera premisa

70
00:03:35,919 --> 00:03:41,900
Ni la sigo en un buque de guerra

71
00:03:41,900 --> 00:03:45,560
Ni la sigo entre militares

72
00:03:45,560 --> 00:03:45,939
Vale

73
00:03:45,939 --> 00:03:50,650
Bueno, ya está

74
00:03:50,650 --> 00:03:53,310
Ahora tenemos que preguntarnos

75
00:03:53,310 --> 00:03:54,370
Si somos cornudos

76
00:03:54,370 --> 00:03:56,949
Perdón, si a delita se va con otro o no se va

77
00:03:56,949 --> 00:03:58,310
Aquí tenemos

78
00:03:58,310 --> 00:04:00,090
La conclusión

79
00:04:00,090 --> 00:04:02,729
Esperamos que a delita no se vaya con otro

80
00:04:02,729 --> 00:04:05,090
Bien, lo primero que vamos a tener aquí

81
00:04:05,090 --> 00:04:06,650
Es aplicar una ley de simplificación

82
00:04:06,650 --> 00:04:09,349
Simplificación en a linea 4, vamos a poner un NO-S

83
00:04:09,349 --> 00:04:14,509
Outra leite sin simplificación en a linea 4, vamos a meter un NO-T

84
00:04:14,509 --> 00:04:16,089
UN NO-S

85
00:04:16,089 --> 00:04:20,790
Podemos hacer de seguida, vemos que podemos hacer un modus de olendatón

86
00:04:20,790 --> 00:04:27,750
En las lineas 2 y 5

87
00:04:27,750 --> 00:04:30,290
Y nos va a salir un NO-S

88
00:04:30,290 --> 00:04:32,949
Aplicamos tambien un modus de olendatón

89
00:04:32,949 --> 00:04:35,250
en las líneas

90
00:04:35,250 --> 00:04:37,810
3 y 6

91
00:04:37,810 --> 00:04:39,550
y vamos a obtener

92
00:04:39,550 --> 00:04:40,230
9

93
00:04:40,230 --> 00:04:43,149
bueno, pues ya tenemos 1T

94
00:04:43,149 --> 00:04:44,329
tenemos 1Q

95
00:04:44,329 --> 00:04:46,410
nos vamos a unir

96
00:04:46,410 --> 00:04:48,509
en el mismo orden que están aquí

97
00:04:48,509 --> 00:04:50,430
1Q y

98
00:04:50,430 --> 00:04:51,790
9

99
00:04:51,790 --> 00:04:55,529
ley de la condición

100
00:04:55,529 --> 00:04:56,490
pero en las líneas

101
00:04:56,490 --> 00:04:58,470
7 y 8

102
00:04:58,470 --> 00:05:01,389
y ahora vamos a hacer

103
00:05:01,389 --> 00:05:04,069
unha transformación desta conjunción

104
00:05:04,069 --> 00:05:04,850
en un disenso.

105
00:05:05,329 --> 00:05:07,290
Aplicamos a lei de Morgan

106
00:05:07,290 --> 00:05:09,670
na línia 9.

107
00:05:09,810 --> 00:05:10,829
A lei de Morgan dice

108
00:05:10,829 --> 00:05:12,689
que devemos cambiar o conector,

109
00:05:13,329 --> 00:05:14,430
que devemos negar

110
00:05:14,430 --> 00:05:16,509
cada membro da fórmula,

111
00:05:16,689 --> 00:05:17,629
como Q está negada,

112
00:05:17,689 --> 00:05:18,610
o volvemos a negar.

113
00:05:20,290 --> 00:05:21,910
Negamos o 2, 3 e 7

114
00:05:21,910 --> 00:05:23,610
e negamos a fórmula con el 5.

115
00:05:24,310 --> 00:05:26,029
Finalmente, isto o vamos a

116
00:05:26,029 --> 00:05:28,269
cometer a la lei de la doble negación

117
00:05:28,269 --> 00:05:29,389
onde nos va a gerar

118
00:05:29,389 --> 00:05:32,589
No, non é o caso que Q ou R

119
00:05:32,589 --> 00:05:34,370
Vemos imediatamente

120
00:05:34,370 --> 00:05:35,029
Que é isto

121
00:05:35,029 --> 00:05:38,649
É a negación del consecuente

122
00:05:38,649 --> 00:05:40,209
E por tanto, vamos a aplicar

123
00:05:40,209 --> 00:05:42,670
A negación de 1

124
00:05:42,670 --> 00:05:44,769
E antes, finalmente

125
00:05:44,769 --> 00:06:18,500
aquí saldría

126
00:06:18,500 --> 00:06:19,100
non

127
00:06:19,100 --> 00:06:21,420
un modo

128
00:06:21,420 --> 00:06:30,089
de analizar

129
00:06:30,089 --> 00:06:31,089
esta clase

130
00:06:31,089 --> 00:06:32,290
nada mellor que

131
00:06:32,290 --> 00:06:34,949
se Adelita se fuera

132
00:06:34,949 --> 00:06:36,189
con outro

133
00:06:36,189 --> 00:06:40,509
Si por la seguiría por tierra o por mar

134
00:06:40,509 --> 00:06:44,310
Si por mar en un buque de guerra

135
00:06:44,310 --> 00:06:48,250
Si por tierra en un tren militar

136
00:06:48,250 --> 00:06:52,649
Ni nacido en un buque de guerra

137
00:06:52,649 --> 00:06:56,850
Ni nacido en un tren militar

138
00:06:56,850 --> 00:07:02,250
Aleita por Dios no te vayas

139
00:07:02,250 --> 00:07:05,930
Alegría como non se va