1. Clasificación
2. Número reales
3. Número Racionales
3.1. Q={a/b / a,b ∈Z}
4. Números Enteros
4.1. Z={...,-2,-1,0,1,2,...}
5. Números Fraccionarios
6. Naturales positivos
6.1. N={1,2,3,4,5,...}
7. Naturales negativos
7.1. N={-1,-2,-3,...}
8. Cero
9. Estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
10. Conectores lógicos
10.1. Los conectores lógicos son palabras o expresiones que sirven para relacionar las ideas dentro de un texto.
11. Conectivos proposicionales
11.1. Negación
11.1.1. Simbolo: -
11.1.2. Notación: (-p)
11.2. Condicional
11.2.1. Simbolo: →
11.2.2. Notación: p → q
11.3. Disyunción
11.3.1. Simbolo: v
11.3.2. Notación: p v q
11.4. Conjunción
11.4.1. Simbolo: ^
11.4.2. Notación: p ^ q
11.5. Bicondicional
11.5.1. Simbolo: ↔
11.5.2. Notación: p ↔ q
12. Proposiciones
12.1. Es una oración o enunciado que se comprende como una afirmación respecto a un acontecimiento falsable, y que por lo tanto puede determinarse como verdadero o falso.
12.1.1. Proposición simple: Son aquellas que expresan un estado de situación en su estado más sencillo, es decir uniendo a un sujeto con un objeto a partir del verbo ‘es’.
12.1.2. Proposiciones compuestas: A diferencia de las simples, aparecen mediadas por la presencia de alguna clase de conector, que puede ser de oposición (habitualmente ‘o’) de adición (habitualmente ‘y’) o de condición (habitualmente si).
13. Son agrupaciones de números que guardan una serie de propiedades estructurales.
14. Números irracionales
14.1. I={π, e,φ,...}
15. Colección de elementos con características en común
16. Tipos
16.1. Existen varios tipos de conjuntos que se destacan por sus características:
16.2. Finitos: Un conjunto es finito cuando los elementos del conjunto se puede contar.
16.3. Infinitos: Los conjuntos finitos son aquellos a los cuales los elementos no se pueden contar.
16.4. Vacío: Conjunto que no posee elementos.
16.5. Unitario: Conjunto con un solo elemento.
17. Operaciones
17.1. Las operaciones de conjuntos nos permiten obtener nuevos conjuntos, partiendo de conjuntos ya conocidos.
17.2. Unión: Formado por todos los elementos que pertenecen a los conjuntos. Se denota: AUB
17.3. Intersección: Elementos que tienen en común. Se denota: A∩ B
17.4. Diferencia: Elementos que pertenecen en el conjunto A, que no pertenezca a B. Se denota A-B
17.5. Complemento: Son los elementos que están afuera del conjunto, es decir los elementos del conjunto universal. Se denota: A'
18. Tablas de verdad
18.1. Las tablas de verdad son uno de los métodos más sencillos y conocidos de la lógica formal.
18.1.1. Tautología: Es una expresión lógica que resulta verdadera.
18.1.2. Contradicción: Aquella proposición que su valor siempre es falso.