Los fundamentos del razonamiento matemático: proposiciones, conectores lógicos y la teoría básica de conjuntos.
Una proposición es un enunciado que puede ser verdadero o falso, pero no ambos. "5 es un número primo" es una proposición verdadera; "x + 2 = 5" no lo es por sí sola porque depende del valor de x.
| P | Q | P ∧ Q | P ∨ Q |
|---|---|---|---|
| V | V | V | V |
| V | F | F | V |
| F | V | F | V |
| F | F | F | F |
Un conjunto es una colección de elementos. Las operaciones básicas son: unión (A∪B, todos los elementos de ambos), intersección (A∩B, elementos comunes) y diferencia (A-B, elementos de A que no están en B).