1
00:00:00,000 --> 00:00:05,200
uso de símbolos en lógica. Vamos a ver cómo lo podemos hacer.

2
00:00:06,019 --> 00:00:10,820
Llenamos el texto, buscamos la letra omega, bajamos hacia abajo,

3
00:00:11,519 --> 00:00:16,699
buscamos operadores matemáticos y aquí vemos cómo encontramos la flecha.

4
00:00:17,019 --> 00:00:22,600
Ahí está. Le damos a insertar y ya tenemos el condicional.

5
00:00:22,780 --> 00:00:26,620
Para el bicondicional lo mismo. Buscamos el omega, que no me sale.

6
00:00:26,620 --> 00:00:31,859
vemos la doble fecha, insertar

7
00:00:31,859 --> 00:00:35,299
y ya también vale, para negación hacemos lo mismo

8
00:00:35,299 --> 00:00:39,679
buscamos la letra omega, buscamos el símbolo de negación

9
00:00:39,679 --> 00:00:44,000
en lógica, ahí está, eso nos podría valer

10
00:00:44,000 --> 00:00:47,520
insertar y vale, tautología, buscamos

11
00:00:47,520 --> 00:00:51,640
la letra omega, buscamos el símbolo de tautología

12
00:00:51,640 --> 00:00:53,679
a ver dónde está, ahí está

13
00:00:53,679 --> 00:00:57,820
ahí está, le doy insertar y ya me vale

14
00:00:57,820 --> 00:01:00,920
contradicción, igual siempre doy la letra omega

15
00:01:00,920 --> 00:01:05,439
busco el signo que estoy buscando, le doy insertar y ya está

16
00:01:05,439 --> 00:01:09,780
ya lo tenemos, ahí ya tenemos los símbolos

17
00:01:09,780 --> 00:01:11,620
para la lógica