1.

Completa y colorea:

La centena es un conjunto de ______________________.

2. Gráfica una centena.

3. Observa este código que deberás usar.

En las centenas En las decenas

En las unidades
MATEMÁTICA – SEGUNDO DE PRIMARIA

www.fichasparaimprimir.com Pá gina 2
MATEMÁTICA – SEGUNDO DE PRIMARIA

2. Completa en los recuadros el número anterior y posterior.

www.fichasparaimprimir.com Pá gina 3
MATEMÁTICA – SEGUNDO DE PRIMARIA

www.fichasparaimprimir.com Pá gina 4
MATEMÁTICA – SEGUNDO DE PRIMARIA

Las matemáticas o la matemática es una ciencia formal que, partiendo de axiomas y siguiendo el
razonamiento lógico, estudia las propiedades, estructuras abstractas y relaciones entre entidades
abstractas como números, figuras geométricas, iconos, glifos, o símbolos en general.

Lógica matemática
Ir a la navegaciónIr a la búsqueda
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica
formal o logística,1 es el estudio formal y simbólico de la lógica, y su aplicación a algunas
áreas de la matemática y la ciencia. Comprende la aplicación de las técnicas de la lógica
formal a la construcción y el desarrollo de las matemáticas y el razonamiento matemático,
y conversamente la aplicación de técnicas matemáticas a la representación y el análisis
de la lógica formal. La investigación en lógica matemática ha jugado un papel crucial en el
estudio de los fundamentos de las matemáticas.
La lógica matemática también estudia las definiciones de nociones y objetos matemáticos básicos
como conjuntos, números, demostraciones y algoritmos. La lógica matemática estudia las reglas de
deducción formales, las capacidades expresivas de los diferentes lenguajes formales y las propiedades
metalógicas de los mismos.
En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido un
argumento dado dentro de un determinado sistema formal. En un nivel avanzado, la lógica matemática
se ocupa de la posibilidad de axiomatizar las teorías matemáticas, de clasificar su capacidad
expresiva, y desarrollar métodos computacionales útiles en sistemas formales. La teoría de la
demostración y la matemática inversa son dos de los razonamientos más recientes de la lógica
matemática abstracta. Debe señalarse que la lógica matemática se ocupa de sistemas formales que
pueden no ser equivalentes en todos sus aspectos, por lo que la lógica matemática no es un método
para descubrir verdades del mundo físico real, sino solo una fuente posible de modelos lógicos
aplicables a teorías científicas, muy especialmente a la matemática convencional.
Por otra parte, la lógica matemática no estudia el concepto de razonamiento humano general o el
proceso creativo de construcción de demostraciones matemáticas mediante argumentos rigurosos
pero con lenguaje informal con algunos signos o diagramas, sino solo de demostraciones y
razonamientos que se pueden formalizar por completo.
El primer trabajo, en la historia de la matemática, de axiomatización se desplegó en los Elementos de
Euclides (siglo IV-III a. C.), vinculado a la geometría plana y algunos aspectos de la aritmética 2.
Euclides enuncia cinco postulados y cinco nociones comunes (axiomas), de los que deduce sus
teoremas de la geometría. Al mismo tiempo, Aristóteles aporta el primer enfoque de la lógica formal en
el Órganon, recogiendo diversos axiomas de Platón y otros filósofos.
En matemáticas, sin embargo, el primer intento de axiomatización llegó en 1888, cuando Richard
Dedekind propuso un conjunto de axiomas sobre los números. 3 Al año siguiente, Giuseppe
Peano retoma los trabajos de Dedekind y expone sus axiomas aritméticos.
Gottlob Frege, en 1884, con su obra Die Grundlagen der Arithmetik y la posterior Grundgesetze der
Arithmetik, trata de reducir la aritmética a la lógica. Bertrand Russell en su intento de 1901 descubrió la
paradoja del mismo nombre: «paradoja de Russell», y para resolverla trabajó con Alfred North
Whitehead, en Principia Mathematica. En 1899, David Hilbert reformula los axiomas de la geometría, y
también explica los conceptos que Euclides dejó implícitos, por ejemplo, Euclides no dice que hay al
menos tres puntos en el plano, o que hay al menos un punto en el plano que no pertenece a la línea,
etc.
En el Congreso celebrado en 1900, David Hilbert planteó varios problemas, entre los que incluía la
demostración de la consistencia de los axiomas de las matemáticas y la axiomatización de la física. En
1931, Kurt Gödel demostró que cualquier sistema axiomático equivalente a los axiomas de Peano es

www.fichasparaimprimir.com Pá gina 5
MATEMÁTICA – SEGUNDO DE PRIMARIA

incompleto y que si este sistema es consistente, no se puede utilizar para probar su consistencia
(teorema de incompletitud de Gödel).

Sistemas axiomáticos formales e informales

Ejemplos[editar]
La teoría de grupos es un sistema axiomático se puede basar en el siguiente conjunto de tres axiomas
G1, G2 y G3:

(G1) para todo x, y y z: 

(G2) para todo x: 

(G3) para todo x, existe un y tal que 

Este conjunto de axiomas no es único, ya que pueden ser substituidos por otros
equivalentes. En teoría de grupos el asunto importante es que el conjunto de teoremas
sean los mismos en dos axiomatizaciones diferentes. Eso implica que las dos clases de
modelos que satisfacen los dos sistemas de axiomas coindiden. Los tres axiomas
anteriores pueden escribirse sin usar ninguna lengua natural usando sólo símbolos de un
lenguaje de primer orden como:

(G1) 

(G2) 

(G3) 
Donde f debe interpretarse como la función definida sobre GxG que da un
elemento de G dando operación de grupo, xi son signos de variables (puede
definirse una colección infinita numerable de las mismas) y c1 es una
constante que requiere la teoría que se interpretará como el elemento neutro
(es decir, los axiomas postulan que dicho elemento existe).

Caracter

www.fichasparaimprimir.com Pá gina 6