Notación matemática

La matemática se apoya en un lenguaje simbólico formal, la notación matemática, que sigue una
serie de convenciones propias. Los símbolos representan un concepto, una relación, una
operación, o una fórmula matemática según ciertas reglas. Estos símbolos no deben considerarse
abreviaturas, sino entidades con valor propio y autónomo.

Algunos principios básicos son:

Los símbolos de una letra se representan en letra cursiva: etc.

Los símbolos de varias letras se representan en letra redonda: etc.; en lugar de no

debe escribirse porque eso representaría el producto en lugar del logaritmo neperiano.

Según la norma ISO 31 los operadores diferenciales y las constantes matemáticas universales ,
también se escriben con letra redonda: .

Pasos del método inductivo

Se observan y registran los hechos y fenómenos.

Se comparan y analizan los datos recolectados de varias observaciones y sus posibles relaciones.

Se establecen generalizaciones (o leyes).

Estas generalizaciones se usan para predecir futuros fenómenos.

Axiomas

Un axioma es una proposición asumida dentro de un cuerpo teórico sobre la cual descansan otros
razonamientos y proposiciones deducidas de esas premisas.

El axioma se consideraba como una proposición «evidente» y que se aceptaba sin requerir
demostración previa. Posteriormente, en un sistema hipotético-deductivo, un axioma era toda
proposición no deducida de otras, sino que constituye una regla general de pensamiento lógico
(por oposición a los postulados). Así en lógica y matemáticas, un axioma es solo una premisa que
se asume, con independencia de que sea o no evidente, y que se usa para demostrar otras
proposiciones.

Teoremas

Un teorema es una proposición que afirma una verdad demostrable. En matemáticas, es toda
proposición que partiendo de un supuesto (hipótesis), afirma una racionabilidad (tesis) no
evidente por sí misma.

También puede decirse que un teorema es una fórmula bien formada que puede ser demostrada
dentro de un sistema formal, partiendo de axiomas u otros teoremas. Demostrar teoremas es un
asunto central en la lógica matemática. Los teoremas también pueden ser expresados en lenguaje
natural formalizado.

Los teoremas generalmente poseen un número de premisas que deben ser enumeradas o
aclaradas de antemano. La conclusión del teorema es una afirmación lógica o matemática que es
verdadera bajo las condiciones dadas. El contenido informativo del teorema es la relación que
existe entre las hipótesis y la tesis o la conclusión.

Conjeturas

Por conjetura se entiende el juicio que se forma (moral, ético o matemático) de las cosas o sucesos
por indicios y observaciones. En matemáticas, el concepto de conjetura se refiere a una afirmación
que se supone cierta, pero que no ha sido probada ni refutada hasta la fecha. Una vez que se
demuestra la veracidad de una conjetura, esta pasa a ser considerada un teorema de pleno
derecho y puede utilizarse como tal para construir otras demostraciones formales.

Técnicas de Demostración
Una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una
proposición matemática. En la argumentación se pueden usar otras afirmaciones previamente
establecidas, tales como teoremas o bien las afirmaciones iniciales o axiomas. En principio una
demostración se puede rastrear hasta afirmaciones generalmente aceptadas, conocidas como
axiomas. Las demostraciones son ejemplos de razonamiento deductivo y se distinguen de
argumentos inductivos o empíricos; una demostración debe demostrar que una afirmación es
siempre verdadera (ocasionalmente al listar todos los casos posibles y mostrar que es válida en
cada uno), más que enumerar muchos casos confirmatorios. Una afirmación no probada que se
cree verdadera se conoce como conjetura. Las demostraciones emplean lógica pero normalmente
incluyen una buena parte de lenguaje natural, el cual usualmente admite alguna ambigüedad. De
hecho, la gran mayoría de las demostraciones en las matemáticas escritas puede ser considerada
como aplicaciones de lógica informal rigurosa.

La demostración por contraposición

La demostración por contraposición infiere la conclusión «si el evento p implica el evento q,

entonces no evento q implica no evento p », o, matemáticamente:

La afirmación "si no q entonces no p" se llama la contrapositiva de

la afirmación de "si p entonces q".

Un ejemplo lógico no matemático puede ser el siguiente: Imaginemos que un restaurante ofrece
en su menú paella todos los jueves. Es decir, el evento "jueves" implica el evento "paella". Puede
ser que vayamos un lunes y haya paella. O puede ser que vayamos un martes y no la haya. Pero lo
que sabemos seguro es que todos los jueves hay paella. De todas las posibles conclusiones lógicas
que se derivan de la anterior afirmación, sólo una de ellas es cierta: que si vamos un día y no hay
paella, entonces seguro que no es jueves. O dicho de otro modo, "no paella" implica "no jueves".

Un ejemplo matemático: la contraposición se puede usar para establecer que si a² es impar,

entonces a es impar. Es evidente que a par implica a² par (si multiplicamos un número par por él
mismo, obtenemos otro número par). Por lo tanto, podemos afirmar que si a² no es par, entonces
a tampoco lo es. O dicho de otro modo, si a² es impar, entonces a es impar.

En el sistema de los números reales se tiene el teorema entonces

que conlleva la proposición contrapositiva entonces

Demostración por reducción a lo absurdo

Demostración por reducción a lo absurdo

Uno de los métodos lógicos más utilizados para realizar demostraciones de teoremas matemáticos
es el de Reducción al Absurdo. El método consiste en suponer que las suposiciones que se están
utilizando en la demostración son falsas y basados en ellas, mediante el uso de deducciones
matemáticas se llega a una contradicción o a un resultado absurdo, con lo que se comprueba que
la proposición es necesariamente verdadera.

En la lógica proposicional a la Regla de Reducción al Absurdo también se le conoce como Regla de

introducción a la Negación y se conoce como método de demostración indirecta.

Inducción Matemática

En matemáticas, la inducción es un razonamiento que permite demostrar proposiciones que

dependen de una variable , que toma una infinidad de valores enteros. En términos simples, la
inducción matemática consiste en el siguiente razonamiento:

Dado un número entero , que tiene la propiedad , y el hecho de que si hasta cualquier
número entero , con la propiedad , implique que también la tiene, entonces, todos los
números enteros a partir de , tienen la propiedad .

La demostración está basada en el axioma denominado principio de la inducción matemática.1

La inducción matemática demuestra que podemos subir tan alto como queramos en una escalera,
si demostramos que podemos subir el primer peldaño (el "caso base") y que desde cada peldaño
podemos subir al siguiente (el "paso" inductivo).

Teoría de Conteo

Se les denomina técnicas de conteo a: las combinaciones, permutaciones y diagrama de árbol. Las
bases para entender el uso de las técnicas de conteo son el principio multiplicativo y el aditivo:

Principio multiplicativo

Si se desea realizar una actividad que consta de r pasos, en donde el primer paso de la actividad a
realizar puede ser llevado a cabo de N1 maneras o formas, el segundo paso de N2 maneras o
formas y el r-ésimo paso de Nr maneras o formas, entonces esta actividad puede ser llevada a
efecto de;

N1 x N2 x ..........x Nr maneras o formas

El principio multiplicativo implica que cada uno de los pasos de la actividad deben ser llevados a
efecto, uno tras otro.

Ejemplos:

1) Una persona desea construir su casa, para lo cuál considera que puede construir los
cimientos de su casa de cualquiera de dos maneras (concreto o block de cemento), mientras que
las paredes las puede hacer de adobe, adobón o ladrillo, el techo puede ser de concreto o lámina
galvanizada y por último los acabados los puede realizar de una sola manera ¿cuántas maneras
tiene esta persona de construir su casa?

Solución:

Considerando que r = 4 pasos

N1= maneras de hacer cimientos = 2

N2= maneras de construir paredes = 3

N3= maneras de hacer techos = 2

N4= maneras de hacer acabados = 1

N1 x N2 x N3 x N4 = 2 x 3 x 2 x 1 = 12 maneras de construir la casa

El principio multiplicativo, el aditivo y las técnicas de conteo que posteriormente se tratarán nos
proporcionan todas las maneras o formas posibles de como se puede llevar a cabo una actividad
cualquiera.

Principio aditivo

Si se desea llevar a efecto una actividad, la cuál tiene formas alternativas para ser realizada, donde
la primera de esas alternativas puede ser realizada de M maneras o formas, la segunda alternativa
puede realizarse de N maneras o formas ..... y la última de las alternativas puede ser realizada de
W maneras o formas, entonces esa actividad puede ser llevada a cabo de,

M + N + .........+ W maneras o formas

Ejemplos:

1) Una persona desea comprar una lavadora de ropa, para lo cuál ha pensado que puede
seleccionar de entre las marcas Whirpool, Easy y General Electric, cuando acude a hacer la compra
se encuentra que la lavadora de la marca W se presenta en dos tipos de carga ( 8 u 11 kilogramos),
en cuatro colores diferentes y puede ser automática o semiautomática, mientras que la lavadora
de la marca E, se presenta en tres tipos de carga (8, 11 o 15 kilogramos), en dos colores diferentes
y puede ser automática o semiautomática y la lavadora de la marca GE, se presenta en solo un tipo
de carga, que es de 11 kilogramos, dos colores diferentes y solo hay semiautomática. ¿Cuántas
maneras tiene esta persona de comprar una lavadora?

Solución:

M = Número de maneras de seleccionar una lavadora Whirpool

N = Número de maneras de seleccionar una lavadora de la marca Easy

W = Número de maneras de seleccionar una lavadora de la marca General Electric

M = 2 x 4 x 2 = 16 maneras

N = 3 x 2 x 2 = 12 maneras

W = 1 x 2 x 1 = 2 maneras

M + N + W = 16 + 12 + 2 = 30 maneras de seleccionar una lavadora.

Combinación:

Es todo arreglo de elementos en donde no nos interesa el lugar o posición que ocupa cada uno de
los elementos que constituyen dicho arreglo.

Permutación:

Es todo arreglo de elementos en donde nos interesa el lugar o posición que ocupa cada uno de los
elementos que constituyen dicho arreglo.

Principio del Palomar

El principio del palomar, también llamado principio de Dirichlet o principio de las cajas, establece
que si n palomas se distribuyen en m palomares, y si n > m, entonces al menos habrá un palomar
con más de una paloma. Otra forma de decirlo es que m huecos pueden albergar como mucho m
objetos si cada uno de los objetos está en un hueco distinto, así que el hecho de añadir otro objeto
fuerza a volver a utilizar alguno de los huecos. A manera de ejemplo: si se toman trece personas, al
menos dos habrán nacido el mismo mes.

El primer enunciado del principio se cree que proviene de Dirichlet en 1834 con el nombre de
Schubfachprinzip ("principio de los cajones"). No debe confundirse con otro principio sobre
funciones armónicas, también con el nombre de este autor.

Combinatoria

La combinatoria es una rama de la matemática perteneciente al área de matemáticas discretas

que estudia la enumeración, construcción y existencia de propiedades de configuraciones que
satisfacen ciertas condiciones establecidas. Además, estudia las ordenaciones o agrupaciones de
un determinado número de elementos.

Los aspectos de la combinatoria incluyen contar las estructuras de un tipo y tamaño dado
(combinatorias enumerativas), decidir cuándo pueden cumplirse ciertos criterios y construir y
analizar objetos que cumplan los criterios (como en los diseños combinatorios y la teoría de
matroides) encontrar objetos "más grandes", "más pequeños" u "óptimos" (combinatoria extrema
y optimización combinatoria), estudiar estructuras combinatorias surgidas en un contexto
algebraico, o aplicar técnicas algebraicas a problemas combinatorios (combinatoria algebraica).