Aritmtica

Es la rama de la matemtica cuyo objeto de estudio son los nmeros y las

operaciones elementales hechas con ellos: suma, resta, multiplicacin y divisin.
Al igual que en otras reas de la matemtica, como el lgebra o la geometra, el
sentido de la aritmtica ha ido evolucionando con el progresivo desarrollo de las
ciencias. Originalmente, la aritmtica se desarrolla de manera formal en la Antigua
Grecia, con el refinamiento del rigor matemtico y las demostraciones, y su
extensin a las distintas disciplinas de las ciencias naturales.

Smbolos
Smbol
o

Nombre
adicin

se lee como
ms

Categora
aritmtica y lgebra

4 + 6 = 10 significa que si a cuatro se le agrega 6, la suma, o resultado,

es 10.
43 + 65 = 108; 2 + 7 = 9
sustraccin

menos

aritmtica

9 4 = 5 significa que si 4 es restado de 9, el resultado ser 5. El

smbolo 'menos' tambin se utiliza para denotar que un nmero
es negativo. Por ejemplo, 5 + (3) = 2 significa que si 'cinco' y 'menos
tres' son sumados, el resultado es 'dos'.
87 36 = 51
multiplicacin

por

aritmtica

7 6 = 42 significa que si se cuenta siete veces seis, el resultado ser

42.
4 6 = 24 4 * 6 = 24 4 6 = 24
divisin

entre, dividido por

aritmtica

significa que si se hace seis pedazos uniformes de cuarenta y

dos, cada pedazo ser de tamao siete.

sumatoria

suma sobre ... desde ...

hasta ... de

aritmtica

k=1n ak significa: a1 + a2 + ... + an

k=14 k = 1 + 2 + 3 + 4 = 1 + 4 + 9 + 16 = 30

producto sobre... desde ...

aritmtica
hasta ... de

productorio

k=1n ak significa: a1a2an

k=14 (k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 4 5 6 = 360

Signos
Suma de nmeros con signo
Las operaciones bsicas son:
|1| Todo nmero sumado con cero da el mismo nmero
As: (+A)+0=0+(+A)=(+A) y (A)+0=0+(-A)=(-A).
|2| La suma de un nmero con su opuesto da cero.
As: (+A)+(-A)=(-A)+(+A)=0.
Resta de nmeros con signo
Las operaciones bsicas son:
|1| Restar cero a cualquier nmero da el mismo nmero.
As: (+A)-0=(+A) y (A)-0=(-A).
|2| Restar un nmero a cero invierte el signo operativo y el signo nmerico del
nmero restado.
As: 0-(+A)=(-A) y 0-(-A)=(+A) segn la propiedad de los suma de los opuestos
donde (+A)+(-B)=0.
Tambin tendremos que 0-(+A)=0+(-A)=(-A) y 0-(-A)=0+(+A)=(+A) pudiendo inferir:
Multiplicacin de nmeros con signo
Multiplicar es hacer cada unidad de un nmero, lo que el otro es con respecto a
(+1). Teniendo presente esta definicin se obtendrn las siguientes propiedades:
Las propiedades bsicas son:
|1| Multiplicar por cero a cualquier nmero da cero.
As: (+A)x0=0x(+A)=0 y (A)x0=0x(-A)=0
|2| Multiplicar por (+1) cualquier nmero da dicho nmero con su signo.
Entonces (+A)x(+1)=(+1)x(+A)=(+A) y (A)x(+1)=(+1)x(-A)=(-A), el signo es el del
nmero ya que la unidad es positiva.
Divisin de nmeros con signo

Como dividir es multiplicar el dividendo por el inverso del divisor tendremos los
siguientes casos:
(+A)/(+B)=(+A)x(+1/B)=+(A/B)
(-A)/(-B)=(-A)x(-1/B)=+(A/B)
(+A)/(-B)=(+A)x(-1/B)=-(A/B)
(-A)/(+B)=(-A)x(+1/B)=-(A/B)
Formulas
Fracciones
Nmero mixto
Para pasar de nmero mixto a fraccin impropia , se deja el mismo
denominador y el numerador es la suma del producto del entero por el
denominador ms el numerador , del nmero mixto.

Potencias
Potencias de exponente 0
a0 = 1
50 = 1

Potencias negativas
Potencias de base negativa
Para determinar el signo de una potencia de base negativa tendremos en
cuenta que:
1. Las potencias de exponente par son siempre positivas.

2 6 = 64
(2) 6 = 64

Radicales
Un radical es una expresin de la forma
, en la que n
; con tal que cuando a sea negativo, n ha de ser impar.

Expresin de un radical en forma de potencia

Proporcionalidad
Razn

Proporcin

Constante de proporcionalidad

Propiedad de las proporciones

y a

Sistema mtrico decimal

kilmetro

Medidas de longitud
km

1000 m

hectmetro

hm

100 m

decmetro

dam

10 m

metro

1 m

decmetro

dm

0.1 m

centmetro

cm

0.01 m

milmetro

mm

0.001 m

Unidades inglesas
Medidas de longitud
Pulgada = 2.54 cm.
Pie = 12 pulgadas = 30.48 cm.
Yarda = 3 pies = 91.44 cm.
Braza = dos yardas = 1. 829 m.
Milla terrestre = 880 brazas = 1.609 kilmetros.
Milla nutica = 1.853 m.

Divisibilidad
Un nmero es divisible por :
2, si termina en cero o nmero par.
24, 238, 1024.
3, si la suma de sus dgitos nos da mltiplo de 3.
36, 564, 2040.
5, si termina en cero o cinco.
45, 515, 7525.

Geometra
Es una rama de la matemtica que se ocupa del estudio de las propiedades de las figuras en
el plano o el espacio, incluyendo: puntos, rectas, planos, politopos (que
incluyen paralelas, perpendiculares, curvas, superficies, polgonos, poliedros, etc.).

Smbolos
Los smbolos nos ayudan a ahorrar tiempo y espacio cuando escribimos. Aqu
tienes los smbolos geomtricos ms comunes:
Smbol
o

Significado
Tringulo
ngulo

Ejemplo

En palabras

ABC tiene 3 El tringulo ABC tiene

lados iguales
tres lados iguales
ABC mide
45

El ngulo formado por

ABC mide 45 grados.

Perpendicular

AB CD

La lnea AB es
perpendicular a la
lnea CD

Paralela

EF GH

La lnea EF is paralela
a la lnea GH

Grados

360 es un
crculo
completo

ngulo recto (90)

mide 90

Segmento de lnea "AB"

AB

Un ngulo recto mide

90 grados
La lnea entre A y B

Lnea "AB"

La lnea infinita que

pasa por A y B

Rayo "AB"

La lnea que empieza

en A, pasa por B y
contina

Congruente (mismo
tamao y forma)

ABC
F

DE

Similar (misma forma,

distinto tamao)

DEF
O

MN

Por tanto

a=b

b=a

El tringulo ABC es
congruente con el
tringulo DEF
El tringulo DEF es
similar al tringulo
MNO
a es igual que b, por
tanto b es igual que a

Signos

Formulas
Tringulo

Rombo

Cuadrado
Romboide

P = 2 (a + b)
A = b h
Trapecio

Rectngulo

Polgono

A = T

+ T

+ T

+ T

Polgono regular
Sector circular

Longitud de la
circunferencia
Corona circular

Longitud de un arco de
circunferencia

Trapecio circular

Crculo
Segmento circular

r e a de l se gm e nto
c irc ula r AB = r e a de l s ec tor
c irc ula r AO B r e a de l
tr i n gul o AO B

Problemas y ejercicios
resueltos de reas

Algebra
Es la rama de la matemtica que estudia la combinacin de elementos de
estructuras abstractas acorde a ciertas reglas. Originalmente esos elementos
podan ser interpretados como nmeros o cantidades, por lo que el lgebra en
cierto modo originalmente fue una generalizacin y extensin de la aritmtica. En
el lgebra moderna existen reas del lgebra que en modo alguno pueden
considerarse extensiones de la aritmtica (lgebra abstracta, lgebra
homolgica, lgebra exterior, etc.).
Smbolos
Smbolo
{}

n (C)
U

>
<

A'
=

...

(en algunos
ocasiones )

Signos

Simbologa de Conjuntos14
Descripcin
conjunto
Es un elemento del conjunto o pertenece
al conjunto.
No es un elemento del conjunto o no
pertenece al conjunto.
Tal que.
Cardinalidad del conjunto C.
Conjunto Universo.
Conjunto Vaco.
Subconjunto de.
Subconjunto propio de.
No es subconjunto propio de.
Mayor que.
Menor que.
Mayor o igual que.
Menor o igual que.
Interseccin de conjuntos.
Unin de Conjuntos.
Complemento del conjunto A.
Smbolo de igualdad.
No es igual a.
El conjunto contina.
Si y slo si.
No, negacin lgica (es falso que).
Y
O

Signos de operacin
En lgebra se verifican con las cantidades las mismas operaciones que
en aritmtica: suma, resta, multiplicacin, elevacin a potencias y extraccin de
races, que se indican con los principales signos de aritmtica excepto el signo

de multiplicacin. En lugar del signo suele emplearse un punto entre los factores
y tambin se indica a la multiplicacin colocando los factores entre parntesis.
As ab y (a)(b) equivale a a b.

Signos de relacin
Se emplean estos signos para indicar la relacin que existe entre dos cantidades.
Los principales son: =, que se lee igual a. As, a=b se lee a igual a b. >, que se
lee mayor que. As, x + y > m se lee x + y mayor que m. <, que se lee menor que.
As, a < b + c se lee a menor que b + c.

Signos de agrupacin
Los signos de agrupacin son: el parntesis ordinario ( ), el parntesis angular o
corchete [ ], las llaves { } y la barra o vnculo ||. Estos signos indican que la
operacin colocada entre ellos debe efectuarse primero. As, (a + b)c ndica que el
resultado de la suma a y b debe multiplicarse por c; [a b]m indica que la
diferencia entre a y b debe multiplicarse por m, {a + b} {c d} ndica que la suma
de a y b debe dividirse entre la diferencia de c y d. El orden de estos signos son de
la siguiente forma { [ ( ) ] }, por ejemplo: { [ (a + b) - c] d} indica que al resultado
de la suma de a + b debe restarse c y el resultado de esto multiplicarse por d.

Signos y smbolos
Expresin

Uso

Adems de expresar adicin tambin es

usada para expresaroperaciones binarias

cok

Expresan trminos constantes

Primeras letras del

abecedario
a, b, c,...

Se utilizan para expresar cantidades

conocidas

ltimas letras del

abecedario
..., x, y, z

Se utilizan para expresar incgnitas

Expresa cualquier nmero (1,2,3,4,...,n)

Exponentes y subndices

Expresar cantidades de la misma especie, de

d

Formulas
Monomios
ax n + bx n = (a + b)bx n
ax n bx n = (a b)bx n
ax n bx m = (a b)bx n

+ m

ax n : bx m = (a : b)bx n

(ax n ) m = a m x n

Productos notables
Binomios al cuadrado
(a + b) 2 = a 2 + 2 a b + b 2
(a b) 2 = a 2 2 a b + b 2
Binomios al cubo
(a + b) 3 = a 3 + 3 a 2 b + 3 a b 2 + b 3
(a b) 3 = a 3 3 a 2 b + 3 a b 2 b 3
Binomio de Newton

Diferencia de cuadrados
a 2 b 2 = (a + b) (a b)

Suma de cubos
a 3 + b 3 = (a + b) (a 2 ab + b 2 )
Diferencia de cubos
a 3 b 3 = (a b) (a 2 + ab + b 2 )
Diferencia cuarta
a 4 b 4 = (a + b) (a b) (a 2 + b 2 )
Trinomio al cuadrado
(a + b + c) 2 = a 2 + b 2 + 2 a b + + 2 a c + 2 b c

Cocientes notables

Factorizacin

Factor comn
a b + a c + a d = a (b + c + d)
Doble extraccin de factor comn
x 2 ax bx + ab = x (x a) b (x a) = (x a) (x
b)
Trinomio de segundo grado
a x 2 + bx +c = a (x -x 1 ) (x -x 2 )

Ecuaciones
Ecuacin de segundo grado
ax 2 + bx +c = 0

Ecuacin bicuadrada
ax 4 + bx 2 + c = 0

Lgica matemtica
La lgica matemtica es una parte de la lgica y la matemtica, que consiste en
el estudio matemtico de la lgica, y en la aplicacin de dicho estudio a otras
reas de la matemtica y de las ciencias. La lgica matemtica tiene estrechas
conexiones con las ciencias de la computacin y la lgica filosfica.
Smbolos
Lgica proposicional
Smbol
o

Nombre
implicacin material o en un
solo sentido

se lee como

Categora

implica; si ..
entonces; por lo lgica proposicional
tanto

A B significa: si A es verdadero entonces B es verdadero tambin;

si B es verdadero entonces nada se dice sobre A.
puede significar lo mismo que , o puede ser usado para
denotar funciones, como se indica ms abajo.
x = 2 x = 4 es verdadera, pero 4 = x x = 2 es, en general, falso
(ya que x podra ser 2)
doble implicacin

si y slo si; sii,

syss1

lgica proposicional

A B significa: A es verdadera si B es verdadera y A es falsa si B es

falsa.
x+5=y+2 x+3=y
conjuncin
lgica o interseccin en
unareja

lgica
proposicional, teora de
rejas

la proposicin A B es verdadera si A y B son ambas verdaderas; de

otra manera es falsa.
n < 4 n > 2 n = 3 cuando n es un nmero natural
disyuncin lgica o unin en
o,
una reja

lgica
proposicional, teora de
rejas

la proposicin A B es verdadera si A o B (o ambas) son verdaderas; si

ambas son falsas, la proposicin es falsa.
n 4 n 2 n 3 cuando n es un nmero natural
negacin lgica

no

lgica proposicional

la proposicin A es verdadera si y slo si A es falsa.

una barra colocada sobre otro operador es equivalente a un colocado
a la izquierda.
(A B) (A) (B); x S (x S)
Lgica de predicados
Smbol
o

Nombre
cuantificador universal

se lee como
para todos; para
cualquier; para cada

Categora
lgica de
predicados

x : P(x) significa: P(x) es verdadera para cualquier x

n N: n n
cuantificador existencial

existe por lo menos

un/os

lgica de
predicados

x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.

n N: n + 5 = 2n
cuantificador existencial con
marca de unicidad

existe un/os nico/s

lgica de
predicados

! x : P(x) significa: existe un nico x tal que P(x) es verdadera.

! n N: n + 1 = 2
reluz

tal que

lgica de
predicados

x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.

n N: n + 5 = 2n
Signos
Cdigo

Smbolo lgico

\lnot

(megacin)

\neg

(negacin)

\sim

(negacin)

\wedge

(conjuncin)

\land

(conjuncin)

\&

& (conjuncin)

\lor

(disyuncin inclus.)

\vee

(disyuncin inclus.)

\veebar

(disy. exclusiva)

\supset

(implicacin)

\to

(implicacin)

\subset

(es implicado por)

\gets

(es implicado por)

\equiv

(equivalencia)

\Leftrightarrow

(equivalencia)

\leftrightarrow

(equivalencia)

\iff

(equivalencia)

\forall

(para todo)

\exists

(existe)

\prod

(producto)

\sum

(suma)

= (es lo mismo que)

\ne

(es distinto de)

\neq

(es distinto de)

\top

(tautologa)

\bot

(contradiccin)

\vdash

(es consecuencia sintctica)

\models

(es consecuencia semntica)

( (abre parntesis)

) (cierra parntesis)

\{

{ (abre llave)

\}

} (cierra llave)

\lbrack

[ (abre corchete)

\rbrack

] (cierra corchete)

\lbrace

{ (abre llave)

\rbrace

} (cierra llave)

\langle

(abre parntesis angular)

\rangle

(cierra parntesis angular)

A~B

A B (espacio en blanco)

\ldots

(puntos suspensivos entre texto)

\cdots

(puntos suspensivos en ecuacin)

\dagger

(daga)

\colon

: (dos puntosse define como)

Cdigo

Carcter griego. Mayscula

\Gamma

(gama)

\Delta

(delta)

\Theta

(theta)

\Lambda

(lambda)

\Xi

(ji)

O (micron)

\Pi

(pi)

\Sigma

(sigma)

\Upsilon

(psilon)

\Phi

(fi)

\Psi

(psi)

\Omega

(omega)

Formulas
A. Incorporadas dentro de lneas de texto
Para emplear expresiones lgicas en medio de texto normal (dentro de oraciones)
marca la cadena de caracteres con estas etiquetas [[$ ... $]]. Puedes aplicarlas
fcilmente si seleccionas toda la cadena de caracteres de tu ecuacin y luego
pulsas el ante-ante-penltimo botn del panel de formato.

Ejemplo
Para obtener:

La conjuncin de las proposiciones atmicas A y B puede escribirse [AB] o

tambin as (A&B)
Debes escribir:
La conjuncin de las proposiciones atmicas A y B puede escribirse [[$ \lbrack A
\wedge B \rbrack $]] o tambin as [[$ ( A \& B ) $]]
B. En una lnea propia y etiquetada (con un nmero).
Para poner una expresin lgica fuera del texto normal, y en una lnea aparte o
como parte de una lista de frmulas encierra tu(s) cadena(s) de cdigos
matemticos entre estas dos lneas [[math]] y [[/math]]. Puedes aplicarlas
fcilmente si seleccionas las lneas de cdigo matemtico y luego pulsas el anteante-ante-penltimo botn del panel de formato (cinco botones desde el final).
Ejemplo
Para decir:
Toda frmula que sea una tautologa en el lenguaje L, como por ejemplo la
frmula (1):
(1)
[(AB)&B]A
es un teorema en el sistema de reglas S de Simpson, como establece la
frmula (2):
(2)
[(AB)&B]A
Debes escribir:
Toda frmula que sea una tautologa en el lenguaje [[$ L $]], como por ejemplo la
frmula [[$ (1) $]]:
[[math label1]]
\models \lbrack ( A \supset B ) \& \lnot B \rbrack \supset \lnot A
[[/math]]
es un teorema en el sistema de reglas [[$ S $]] de Simpson, como establece la
frmula [[$ (2) $]]:
[[math label2]]
\vdash \lbrack ( A \supset B ) \& \lnot B \rbrack \supset \lnot A
[[/math]]

Referencias a frmulas etiquetas (numeradas) anteriormente en el mismo texto:

Para referirte a un frmula etiquetada simplemente utiliza Prop. [[eref label1]], o
([[eref label2]] para obtener un simple nmero, lo que te dar respectivamente:
En un sistema completo cada Prop. 1 tiene su correspondiente.
C. Secuencias de frmulas en varias lneas etiquetadas (con un nmero)
Primer mtodo, usando el entorno eqnarray* de LaTeX
Para alinear frmulas en una columna, Wikidot utiliza el entorno de ecuaciones en
serie con tabulador (equation array environment with tab). El tabulador es un signo
ampersand (&) colocado en el punto horizontal en el que se deben alinear todas
las expresiones. Para usar dicho entorno, debe establecerse antes de escribir las
frmulas. Eso puede hacerse de dos maneras equivalentes:

[[math type="eqnarray*"]]
\frac{ (A \supset \sim B) }{ (B \supset \sim A) }
[[/math]]
(3)
(AB)(BA)
[[math]]
\begin{eqnarray*}
\frac{ (A \supset \sim B) }{ (B \supset \sim A) }
\end{eqnarray*}
[[/math]]
(4)
(AB)(BA)
Nota: Para producir la pleca caracterstica de un argumento, utilizamos el
comando usado para escribir fracciones /frac{ }{ }, ya que Wikidot y su intrprete
de texto matemtico, MathJax no tienen la capacidad de generar tablas o plecas.
Segundo mtodo: utilizando tablas avanzadas de Wikidot.

Este cdigo:

[[table]]
[[row]]
[[cell style="border: 0px solid black;"]]
1.
[[/cell]]
[[cell style="border: 0px solid black"]]
[[$ (A \supset \lnot B) $]]
[[/cell]]
[[/row]]
[[row]]
[[cell style="border: 0px solid black"]]
2.
[[/cell]]
[[cell style="border-top: 1px solid black;"]]
[[$ (B \supset \lnot A) $]]
[[/cell]]
[[/row]]
[[/table]]
produce esta tabla:
1.
2.

(AB)
(BA)

Ntese que la ltima celda comienza con esta lnea:

[[cell style="border-top: 1px solid black;"]]

D. Texto dentro de frmulas.

Text can be embedded in displayed equations
\mbox{embedded text}. For example, para obtener:

(in

(5)
M={fV:f(m)=0 para ningn mM}.
Uno escribe:
M^\bot = \{ f \in V' : f(m) = 0 \mbox{ para ningn } m \in M \}.

LaTeX)

by

using