Qu es lgica proposicional?

Lgica

Es una ciencia que estudia el lenguaje cientfico, su planteamiento, su

organizacin, en entidades jerrquicas y los mtodos como sus frmulas para
analizar toda forma escrita. Para comunicarse el ser humano utiliza lenguajes
discursivos dichos lenguajes estn llenos de partculas lgicas.

Las partculas lgicas: fundamentalmente son los cuantificadores las conectivas

con ellas se forman los discursos.

Lgica Proposicional

Es una rama de la lgica clsica que estudia las variables proposicionales o

sentencias lgicas, sus posibles implicaciones, evaluaciones de verdad y en
algunos casos su nivel absoluto de verdad. Algunos autores tambin la identifican
con la lgica matemtica o la lgica simbolice, ya que utiliza una serie de smbolos
especiales que lo acercan al lenguaje matemtico.

Proposiciones

Tautologa: se define tautologa o validez a aquella formula que siempre es

verdadera.

Contradiccin: es una proposicin que siempre es falsa para todos los valores de
verdad. Para cualquier valor de verdad de las proposiciones, sea cual sea el
resultado de la formula lgica estudiada siempre va a ser falso.

Conjuncin: es aquella formula que es falsa o verdadera. Las expresiones de las

que depende la validez de los argumentos se definen constante lgicas.

Conectores

En lgica y matemtica, la negacin, tambin llamada complemento lgico, es una

operacin sobre proposiciones, valores de verdad, o en general, valores
semnticos. Intuitivamente, la negacin de una proposicin es verdadera cuando
dicha proposicin es falsa, y viceversa. En lgica clsica la negacin est
normalmente identificada con la funcin de verdad que cambia su valor de
verdadero a falso y viceversa.

Conjuncin: Y , Solamente si las componentes de la conjuncin son ciertas, la

conjuncin es cierta.

Disyuncin: O ,
La disyuncin solamente es falsa si lo son sus dos componentes.

Condicional: entonces

Tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de

verdad falso slo cuando la primera proposicin es verdadera y la segunda falsa.

Bicondicional: si solo s.

El Bicondicional o doble implicacin es un operador que funciona sobre dos

valores de verdad, tpicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el
mismo valor de verdad, y falso cuando sus valores de verdad difieren.

Proposiciones

Variables: En el lenguaje simblico de la lgica de proposiciones, a los enunciados

simples, atmicos o elementales son los que no pueden descomponerse en otros
ms simples. Se les llama variables, y se escriben con las letras minsculas del
final del abecedario: p, q, r, s para los casos particulares, o con las letras
en mayscula del principio del alfabeto cuando son casos generales: A, B, C,
D

Adems de las variables, la lgica proposicional tiene otros elementos en su

alfabeto: las constantes lgicas y los smbolos auxiliares que forman los
enunciados compuestos.

Algunas de las marcas lxicas del lenguaje natural, se traducen con uno de las
cinco constantes lgicas siguientes:

NEGACIN: No

DISYUNCIN INCLUSIVA: o, o bien, tanto si como si,

CONJUNCIN: y, e, o ni (=y no)

CONDICIONAL: si. entonces

BICONDICIONAL: si y solo si

Tabla de la Verdad

La negacin: Cuando la variable es verdadera al negarla se convierte en falsa, y si

es falsa, al negarla se hace verdadera.

Ejemplos
A ~A

V F

F V

La disyuncin: Solo es falsa cuando todas las variables son falsas.

A B AVB

V V V

V F V

F V V

F F F

La conjuncin: nicamente es verdadera cuando todas las variables son

verdaderas tambin.

A B AB

V V V

V F F

F V F

F F F

El condicional: Solo cuando la primera variable o antecedente, es verdadera y la

segunda o consecuente, falsa, el resultado es falso.
A B AB

V V V

V F F

F V V

F F V

El Bicondicional: Es verdad cuando las dos variables tienen el mismo valor.

A B AB

V V V

V F F

F V F

F F V

Conjuntos de nmeros reales y completos

Los nmeros reales se expresan con decimales que tienen una secuencia infinita
de dgitos a la derecha de la coma decimal, como por ejemplo 324,8232.
Frecuentemente tambin se sub representan con tres puntos consecutivos al final
(324,823211247), lo que significara que an faltan ms dgitos decimales, pero
que se consideran sin importancia.

Las medidas en las ciencias fsicas son siempre una aproximacin a un nmero
real. No slo es ms conciso escribirlos con forma de fraccin decimal (es
decir, nmeros racionales que pueden ser escritos como proporciones, con un
denominador exacto) sino que, en cualquier caso, cunde ntegramente el concepto
y significado del nmero real. En el anlisis matemtico los nmeros reales son
objeto principal de estudio. Puede decirse que los nmeros reales son la
herramienta de trabajo de las matemticas de la continuidad, como el clculo y el
anlisis matemtico, mientras que los nmeros enteros lo son de las matemticas
discretas, en las que est ausente la continuidad.

Se dice que un nmero real es recursivo si sus dgitos se pueden expresar por un
algoritmo recursivo. Un nmero no-recursivo es aqul que es imposible de
especificar explcitamente. Aun as, la escuela rusa de constructivismo supone que
todos los nmeros reales son recursivos.

Los ordenadores slo pueden aproximarse a los nmeros reales por nmeros
racionales; de todas maneras, algunos programas de ordenador pueden tratar un

nmero real de manera exacta usando su definicin algebraica (por ejemplo, "
") en vez de su respectiva aproximacin decimal.

Los matemticos usan el smbolo (o, de otra forma, , la letra "R" en

negrita) para representar el conjunto de todos los nmeros reales. La notacin

matemtica se refiere a un espacio de dimensiones de los nmeros

reales; por ejemplo, un valor consiste de tres nmeros reales y determina un

lugar en un espacio de tres dimensiones.

En matemtica, la palabra "real" se usa como adjetivo, con el significado de que el

campo subyacente es el campo de los nmeros reales. Por
ejemplo, matriz real, funcin real, y lgebra de Lie real.

Tipos de nmeros reales

Racionales e irracionales

Un nmero real puede ser un nmero racional o un nmero irracional. Los

nmeros racionales son aquellos que pueden expresarse como el cociente de dos
nmeros enteros, tal como 3/4, -21/3, 5, 0, 1/2, mientras que los irracionales son
todos los dems. Los nmeros racionales tambin pueden describirse como
aquellos cuya representacin decimal es eventualmente peridica, mientras que
los irracionales tienen una expansin decimal aperidica:

Ejemplos

1/4 = 0,250000... Es un nmero racional puesto que es peridico a partir del tercer
nmero decimal .
5/7 = 0,7142857142857142857.... Es racional y tiene un perodo de longitud 6
(repite 714285) .

es irracional y su expansin decimal es aperidica .

El conjunto de los nmeros racionales se designa mediante .

Algebraicos y transcendentes

Otra forma de clasificar los nmeros reales es en algebraicos y trascendentes. Un

nmero es algebraico si existe un polinomio de coeficientes racionales que lo tiene
por raz y es trascendente en caso contrario. Obviamente, todos los nmeros

racionales son algebraicos: si es un nmero racional, con p entero

y q natural, entonces es raz de la ecuacin qx=p. Sin embargo, no todos los
nmeros algebraicos son racionales.

Ejemplos

El nmero es algebraico puesto que es una raz del polinomio

Un ejemplo de nmero trascendente es

El conjunto de los nmeros algebraicos se designa mediante .

Computables e irreductibles

Un nmero real se dice computable si tiene una complejidad de Kolmogrov finita,

es decir, si puede escribirse un programa informtico de extensin finita que
genere los dgitos de dicho nmero. Si un nmero real no es computable se dice
irreductible. Una definicin de nmero irreductible es:

El conjunto de nmeros reales computables se designa por . Obviamente los

racionales y los algebraicos son nmeros computables. De hecho se tiene la
siguiente inclusin:

Adems se tiene que todos estos conjuntos son numerables:

Esto implica que el conjunto de todos los nmeros computables es un conjunto
de medida nula.

Construcciones de los nmeros reales

Caracterizacin axiomtica

Fue propuesto por el matemtico alemn David Hilbert. En textos actuales de

clculo y anlisis matemtico aparecen enunciados equivalentes al de Hilbert. 6

Artculo principal: Axiomas de los nmeros reales

Existen diferentes formas de construir el conjunto de los nmeros reales a partir de

axiomas, siendo la caracterizacin ms comn, el conocido como mtodo
directo que introduce el sistema (, +,., ), donde los elementos de se
llaman nmeros reales, + y. son dos operaciones en , es una relacin de orden
en .7 Se presenta una variante axiomtica, mediante las siguientes tres
propiedades:

Un conjunto es el conjunto de los nmeros reales si satisface las siguientes

tres condiciones:

1. es un campo.

2. es un conjunto totalmente ordenado y el orden es compatible con las

operaciones del campo:

Si entonces ;

Si y entonces .

3. El conjunto K es completo: satisface el axioma del supremo:

Todo conjunto no vaco y acotado superiormente tiene un supremo.

El axioma del supremo es una variante del Principio de Weirstrass" que dice
que toda sucesin de nmeros reales acotada superiormente tiene supremo

Las primeras dos condiciones definen el concepto de campo ordenado, mientras

que la tercera propiedad es de naturaleza topolgica y es la que diferencia al
conjunto de los nmeros reales de todos los dems campos ordenados. Hay que
hacer notar que, en principio pueden existir diferentes conjuntos que satisfagan las
mismas condiciones y que podran ser diferentes al conjunto de los nmeros
reales, pero un teorema establece que si eso sucediera, ambas estructuras seran
esencialmente la misma.

El lgebra

(del rabe: al-abr 'reintegracin, recomposicin'1) 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.23 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.).

Introduccin

A diferencia de la aritmtica elemental, que trata de los nmeros y las operaciones

fundamentales, en lgebra -para lograr la generalizacin- se introducen adems
smbolos (usualmente letras) para representar parmetros (variables o
coeficientes), o cantidades desconocidas (incgnitas); las expresiones as
formadas son llamadas frmulas algebraicas, y expresan una regla o un
principio general.4 El lgebra conforma una de las grandes reas de las
matemticas, junto a la teora de nmeros, la geometra y el anlisis.

La palabra lgebra proviene del vocablo rabe al-abar (en rabe dialectal
por asimilacin progresiva se pronunciaba [alb] de donde derivan los trminos
de las lenguas europeas), que se traduce como 'restauracin' o 'reponimiento,
reintegracin'. Deriva del tratado escrito alrededor del ao 820 d.C. por el
matemtico y astrnomo persa Muhammad ibn Musa al-Jwarizmi (conocido como
Al Juarismi), titulado Al-kitb al-mukhtaar f isb al-arabi wal-muqbala
(Compendio de clculo por reintegracin y comparacin), el cual proporcionaba
operaciones simblicas para la solucin sistemtica de ecuaciones lineales y
cuadrticas. Muchos de sus mtodos derivan del desarrollo de la matemtica en el
islam medieval, destacando la independencia del lgebra como una disciplina
matemtica independiente de la geometra y de la aritmtica.5 Puede considerarse
al lgebra como el arte de hacer clculos del mismo modo que en aritmtica, pero
con objetos matemticos no-numricos.6
El adjetivo algebraico denota usualmente una relacin con el lgebra, como por
ejemplo en estructura algebraica. Por razones histricas, tambin puede indicar
una relacin con las soluciones de ecuaciones polinomiales, nmeros algebraicos,
extensin algebraica o expresin algebraica. Conviene distinguir entre:

lgebra elemental es la parte del lgebra que se ensea generalmente en los

cursos de matemticas.

lgebra abstracta es el nombre dado al estudio de las estructuras algebraicas

propiamente.

El lgebra usualmente se basa en estudiar las combinaciones de cadenas finitas

de signos y, mientras que anlisis matemtico requiere estudiar lmites y
sucesiones de una cantidad infinita de elementos.

FACTORIZACION

Es una tcnica que consiste en la descripcin de una expresin matemtica (que

puede ser un nmero, una suma, una matriz, un polinomio, etc.) en forma de
producto.

Existen diferentes mtodos de factorizacin, dependiendo de los objetos

matemticos estudiados; el objetivo es simplificar una expresin o reescribirla en
trminos de bloques fundamentales, que recibe el nombre de factores, como
por ejemplo un nmero en nmeros primos, o un polinomio en polinomios
irreducibles.

FACTORES

Se llama factores o divisores de una expresin algebraica a las expresiones

algebraicas que multiplicadas entre si dan como producto la primera expresin.

Ejemplo:
a(a + b) = a2 + ab
(x + 2) (x +3) = x2 + 5x + 6
(m + n) (m- n) = m2 - mn - n2

CASOS DE FACTORIZACION
CASO I

CUANDO TODOS LOS TERMINOS DE UN POLINOMIO TIENEN UN FACTOR

COMUN
Factor Comn Monomio:
Ejemplo 1:
14x2 y2 - 28x3 + 56x4

R: 14x2 (y2 - 2x + 4x2)

Ejemplo 2:

X3 + x5 x7 = R: x3 (1 + x2 - x4)

Ejemplo 3:

100a2 b3c 150ab2c2 + 50 ab3c3 - 200abc2=

R: 50abc (2ab2 3bc +b2c2 4c)

Factor Comn Polinomio:

Ejemplo 1:
a(x + 1) + b(x + 1)

R: (x + 1) (a +b)

Ejemplo 2:

(3x + 2) (x + y z) (3x + 2) - (x + y 1)( 3x +2)

R: (3x + 2) (x + y z) (3x + 2)(1) ( x - y +1)( 3x +2)

(3x + 2) (x + y z -1 x - y + 1)

-z ( 3x +2)

Ejemplo 3:

(a + b -1) (a 2 + 1) a2 1

R: ( a + b -1) (a 2 + 1) ( a2 + 1)
 ( a2 + 1)(a + b - 1)-1

( a2 + 1)(a + b -1 -1)
( a2 + 1)(a + b -2)
CASO II

FACTOR COMUN POR AGRUPACION DE TERMINO

Ejemplo 1:
a2 + ab + ax + bx
(a2 + ab) + (ax + b)
a(a + b) + x(a +b)
(a + b) (a +x)

Ejemplo 2:
4am3 12 amn m2 + 3n
= (4am3 12amn) (m2 + 3n)
=4am (m2 3n) (m2 + 3n)
R: (m2 3n)(4am-1)
Ejemplo 3:
a2b3 n4 + a2b3x2 n4x2 3a3b3x + 3n4x
= (a2b3 n4 + a2b3x2 n4x2 3a3b3x + 3n4x)
= (a2b3 + a2b3x2 3a2b3x) (n4 + n4x2 - 3n4x)
= a2b3 (1 + x2 3x)- n4 (1 + x2 -3x)
R: (1 + x2 3x) (a2b3 - n4 )

Ecuaciones
Una ecuacin es una igualdad matemtica entre dos expresiones,
denominadas miembros y separadas por el signo igual, en las que aparecen
elementos conocidos o datos, desconocidos o incgnitas, relacionados
mediante operaciones matemticas. Los valores conocidos pueden
ser nmeros, coeficientes o constantes; tambin variables o incluso objetos
complejos como funciones o vectores, los elementos desconocidos pueden ser
establecidos mediante otras ecuaciones de un sistema, o algn otro procedimiento
de resolucin de ecuaciones.nota 1 Las incgnitas, representadas generalmente por
letras, constituyen los valores que se pretende hallar (en ecuaciones complejas en
lugar de valores numricos podra tratarse de elementos de un cierto conjunto
abstracto, como sucede en las ecuaciones diferenciales). Por ejemplo, en
la ecuacin algebraica simple:

la variable representa la incgnita, mientras que el coeficiente 3 y los

nmeros 1 y 9 son constantes conocidas. La igualdad planteada por una ecuacin
ser cierta o falsa dependiendo de los valores numricos que tomen las
incgnitas; se puede afirmar entonces que una ecuacin es una igualdad
condicional, en la que solo ciertos valores de las variables (incgnitas) la hacen
cierta.
Se llama solucin de una ecuacin a cualquier valor individual de dichas variables
que la satisfaga. Para el caso dado, la solucin es:

En el caso de que todo valor posible de la incgnita haga cumplir la igualdad, la

expresin se llama identidad. Si en lugar de una igualdad se trata de una
desigualdad entre dos expresiones matemticas, se denominar inecuacin.
El smbolo =, que aparece en cada ecuacin, fue inventado en 1557 por Robert
Recorde, que consider que no haba nada ms igual que dos lneas rectas
paralelas de la misma longitud.

Introduccin

Uso de ecuaciones
La ciencia utiliza ecuaciones para enunciar de forma precisa leyes; estas
ecuaciones expresan relaciones entre variables. As, en fsica, la ecuacin de la
dinmica de Newtonrelaciona las variables fuerza F, aceleracin a y
masa m: F = ma. Los valores que son solucin de la ecuacin anterior cumplen la
primera ley de la mecnica de Newton. Por ejemplo, si se considera una masa m =
1 kg y una aceleracin a = 1 m/s, la nica solucin de la ecuacin es F = 1 kgm/s
= 1 newton, que es el nico valor para la fuerza permitida por la ley.
Ejemplos:
ecuacin de estado
ecuacin de movimiento
ecuacin constitutiva
El campo de aplicacin de las ecuaciones es inmenso, y por ello hay una gran
cantidad de investigadores dedicados a su estudio.
Segn autores como Ian Stewart, "el poder de las ecuaciones (...) recae en la
correspondencia filosficamente difcil entre las matemticas -una creacin
colectiva de mentes humanas- y una realidad externa fsica."2
Historia.
Antigedad
Ya en el siglo XVI a. C., los egipcios resolvan problemas cotidianos que tenan
que ver con la reparticin de vveres, de cosechas y de materiales que eran
equivalentes a resolver ecuaciones algebraicas simples de primer grado; como
la notacin algebraica no exista, usaban un mtodo iterativo aproximado, llamado
el mtodo de la falsa posicin.
Los matemticos chinos de principios de nuestra era escribieron el libro Los nueve
captulos sobre el arte matemtico, en el que plantearon diversos mtodos para
resolver ecuaciones algebraicas de primero y segundo grado, as como sistemas
de dos ecuaciones con dos incgnitas.
El matemtico griego Diofanto de Alejandra public su Arithmetica en el siglo
III tratando las ecuaciones de primer y segundo grado; fue uno de los primeros en
utilizar smbolos para representar las ecuaciones. Tambin plante las ecuaciones
con soluciones enteras, llamadas en su honor ecuaciones diofnticas.3
Siglos XV XVI.
Pasada la edad oscura medieval, el estudio de las ecuaciones algebraicas
experimenta un gran impulso. En el siglo XV estaban a la orden del da los
desafos matemticos pblicos, con premios al vencedor; as, un desafo famoso
enfrent a dos matemticos a resolver ecuaciones de tercer grado, el vencedor
fue Niccol Fontana Tartaglia, experto algebrista.
Sobre mediados del siglo XVI los matemticos italianos Girolamo
Cardano y Rafael Bombelli descubrieron que, para poder resolver todas las
ecuaciones de segundo, tercero y cuarto grado, el uso de los nmeros
imaginarios era indispensable. Cardano, enemigo acrrimo de Tartaglia, tambin
hall mtodos de resolucin de ecuaciones de cuarto grado.
En el mismo siglo, el matemtico francs Ren Descartes populariz la notacin
algebraica moderna, en la cual las constantes estn representadas por las
primeras letras del alfabeto, a, b, c, y las variables o incgnitas por las
ltimas, x, y, z.
En esta poca se enuncian problemas de ecuaciones que solo han sido resueltos
actualmente, algunos recientemente; entre ellos el ltimo teorema de Fermat, uno
de los teoremas ms famosos de la matemtica, que no fue demostrado hasta
1995 por Andrew Wiles y Richard Taylor.
Siglos XVII-XVIII[editar]
En el siglo XVII, Isaac Newton y Gottfried Leibniz publicaron los primeros mtodos
de resolucin de las ecuaciones diferenciales que aparecen en los problemas de
la dinmica. Probablemente el primer libro sobre estas ecuaciones fue Sobre las
construcciones de ecuaciones diferenciales de primer grado, de Gabriele
Manfredi (1707). Durante el siglo XVIII, matemticos ilustres como Leonhard
Euler, Daniel Bernoulli, Joseph Lagrange y Pierre Simon Laplace publicaron
resultados sobre ecuaciones diferenciales ordinarias y ecuaciones en derivadas
parciales.
poca moderna
A pesar de todos los esfuerzos de las pocas anteriores, las ecuaciones
algebraicas de quinto grado y superiores se resistieron a ser resueltas; solo se
consigui en casos particulares, pero no se encontraba una solucin general. A
principios del siglo XIX, Niels Henrik Abel demostr que hay ecuaciones no
resolubles; en particular, mostr que no existe una frmula general para resolver
la ecuacin de quinto grado; acto seguido variste Galois demostr, utilizando
su teora de grupos, que lo mismo puede afirmarse de toda ecuacin de grado
igual o superior a cinco.
Durante el siglo XIX, las ciencias fsicas utilizaron en su formulacin ecuaciones
diferenciales en derivadas parciales y/o ecuaciones integrales, como es el caso de
la electrodinmica de James Clerk Maxwell, la mecnica hamiltoniana o
la mecnica de fluidos. El uso habitual de estas ecuaciones y de los mtodos de
solucin llev a la creacin de una nueva especialidad, la fsica matemtica.
Ya en el siglo XX, la fsica matemtica sigui ampliando su campo de
accin; Erwin Schrdinger, Wolfgang Ernst Pauli y Paul Dirac formularon
ecuaciones diferenciales con funciones complejas para la mecnica
cuntica. Albert Einstein utiliz ecuaciones tensoriales para su Relatividad
General. Las ecuaciones diferenciales tienen tambin un amplio campo de
aplicacin en teora econmica.
Debido a que la mayora de ecuaciones que se presentan en la prctica son muy
difciles o incluso imposibles de resolver analticamente, es habitual
utilizar mtodos numricospara encontrar races aproximadas. El desarrollo de la
informtica posibilita actualmente resolver en tiempos razonables ecuaciones de
miles e incluso millones de variables usando algoritmos numricos.
Definicin general
Ejemplo

Se ha sugerido que este artculo o seccin

sea fusionado en Resolucin de ecuaciones (discusin).
Una vez que hayas realizado la fusin de contenidos, pide la
fusin de historiales aqu.
Dada una funcin f : A B y un b en B, es decir, un elemento del codominio de f.

La igualdad f(x) = b es una ecuacin.

En la ecuacin dada, x se denomina incgnita.

Un ejemplo de ecuacin es el siguiente, tomando

se tiene la ecuacin con variable natural

El estudio de las ecuaciones depende de las caractersticas de los conjuntos y la

aplicacin; por ejemplo, en el caso de las ecuaciones diferenciales, los elementos
del conjunto Ason funciones y la aplicacin f debe incluir alguna de las derivadas
del argumento. En las ecuaciones matriciales, la incgnita es una matriz.
La definicin que se ha dado incluye las igualdades de la forma g(x) = h(x). Si +
denota la suma de funciones, entonces (B, +) es un grupo. Basta definir la
aplicacin f(x) = g(x) + ( h(x) ), con h el inverso de h con respecto a la suma,
para transformar la igualdad en una ecuacin f(x) = 0 con b = 0.
Conjunto de soluciones

Conjunto de soluciones (matemticas)

Dada la ecuacin f(x) = b, el conjunto de soluciones de la ecuacin viene dado
por S = f1(b), donde f1 es la imagen inversa de f. Si S es el conjunto vaco, la
ecuacin no es soluble; si tiene solo un elemento, la ecuacin tendr solucin
nica; y si S posee ms de un elemento, todos ellos sern soluciones de la
ecuacin.
En la teora de ecuaciones diferenciales, no se trata solo de averiguar la expresin
explcita de las soluciones, sino determinar si una ecuacin determinada tiene
solucin y esta es nica. Uno de los mtodos ms corrientes para probar que
existe una solucin, consiste en aprovechar que el conjunto A tiene
alguna topologa. No es el nico: en los sistemas de ecuaciones reales, se recurre
a tcnicas algebraicas para averiguar si estos sistemas tienen solucin. No
obstante, el lgebra carece de recursos para asegurar la existencia de soluciones
en las ecuaciones algebraicas: para asegurar que toda ecuacin algebraica con
coeficientes complejos tiene una solucin, hay que recurrir al anlisis complejo 4 y,
por lo tanto, a la topologa.
Otro caso en los que se investiga la existencia y unicidad de soluciones es en
los sistemas de ecuaciones lineales, en donde es posible caracterizar el conjunto
solucin a travs del Teorema de Rouch-Frobenius.
Tipos de ecuaciones[editar]
Las ecuaciones suelen clasificarse segn el tipo de operaciones necesarias para
definirlas y segn el conjunto de nmeros sobre el que se busca la solucin. Entre
los tipos ms comunes estn:
Ecuaciones algebraicas
De primer grado o lineales
De segundo grado o cuadrticas
De tercer grado o cbicas
Diofnticas o diofantinas
Racionales, aquellas en las que uno o ambos miembros se expresan
como un cociente de polinomios
Ecuaciones trascendentes, cuando involucran funciones no polinmicas,
como las funciones trigonomtricas, exponenciales, logartmicas, etc.
Ecuaciones diferenciales
Ordinarias
En derivadas parciales
Ecuaciones integrales
Ecuaciones funcionales
Una ecuacin diofntica es aquella cuya solucin solo puede ser un nmero
entero, es decir, en este caso A .
Una ecuacin funcional es aquella en la que algunas de las constantes y variables
que intervienen no son realmente nmeros sino funciones; y si en la ecuacin
aparece algn operador diferencial se llama ecuacin diferencial.
Cuando A es un cuerpo y f un polinomio, se tiene una ecuacin
algebraica polinmica.
En un sistema de ecuaciones lineales, el conjunto A es un conjunto de vectores
reales y la funcin f es un operador lineal.

Funcin

En matemtica, una funcin (f) es una relacin entre un conjunto

dado X (llamado dominio ) y otro conjunto de elementos Y (llamado codominio ) de
forma que a cada elemento x del dominio lecorresponde un nico elemento f(x) del
codominio (los que forman el recorrido, tambin llamado rango o mbito ).

Relaciones y funciones
En lenguaje cotidiano o ms simple, diremos que las funciones matemticas
equivalen al proceso lgico comn que se expresa como depende de.
Las funciones matemticas pueden referirse a situaciones cotidianas, tales como:
el costo de una llamada telefnica que depende de su duracin, o el costo de
enviar una encomienda que depende de su peso.
A modo de ejemplo, cul sera la regla que relaciona los nmeros de la derecha
con los de la izquierda en la siguiente lista?:
1 --------> 1
2 --------> 4
3 --------> 9
4 --------> 16
Los nmeros de la derecha son los cuadrados de los de la izquierda.
La regla es entonces "elevar al cuadrado":
1 --------> 1
2 --------> 4
3 --------> 9
4 --------> 16
x --------> x 2 .
Para referirse a esta regla podemos usar un nombre, que por lo general es la
letra f (de funcin). Entonces, f es la regla "elevar al cuadrado el nmero".
Usualmente se emplean dos notaciones:
x --------> x 2 o f(x) = x 2 .
As, f(3) significa aplicar la regla f a 3. Al hacerlo resulta 3 2 = 9.
Entonces f(3) = 9. De igual modo f(2) = 4, f(4) = 16, f(a) = a 2 , etc.
Veamos algunos ejemplos que constituyen funciones matemticas.
Ejemplo 1
Correspondencia entre las personas que trabajan en una oficina y su peso
expresado en kilos
Conjunto X Conjunto Y
ngela 55
Pedro 88
Manuel 62
Adrin 88
Roberto 90
Cada persona (perteneciente al conjunto X o dominio ) constituye lo que se llama
la entrada o variable independiente . Cada peso (perteneciente al
conjunto Y o codominio ) constituye lo que se llama la salida o variable
dependiente . Notemos que una misma persona no puede tener dos pesos
distintos. Notemos tambin que es posible que dos personas diferentes tengan el
mismo peso.
Ejemplo 2
Correspondencia entre el conjunto de los nmeros reales (variable independiente)
y el mismo conjunto (variable dependiente), definida por la regla "doble del nmero
ms 3".
x -------> 2x + 3 o bien f(x) = 2x + 3
Algunos pares de nmeros que se corresponden por medio de esta regla son:
Conjunto X Conjunto Y Desarrollo
2 1 f(2) = 2(2) + 3 = 4 + 3 = 1
1 1 f(1) = 2(1) + 3 = 2 + 3 = 1
0 3 f(0) = 2(0) + 3 = 0 + 3 = 3
1 5 f(1) = 2(1) + 3 = 2 + 3 = 5
2 7 f(2) = 2(2) + 3 = 4 + 3 = 7
3 9 f(3) = 2(3) + 3 = 6 + 3 = 9
4 11 f(4) = 2(4) + 3 = 8 + 3 = 11
Con estos ejemplos vamos entendiendo la nocin de funcin: como vemos, todos
y cada uno de los elementos del primer conjunto (X) estn asociados a uno, y slo
a uno, del segundo conjunto (Y). Todos y cada uno significa que no puede quedar
un elemento en X sin su correspondiente elemento en Y . A uno y slo a uno
significa que a un mismo elemento en X no le pueden corresponder dos elementos
distintos en Y .

Geometra
La geometra (del latn geometra, y este del griego de g, tierra, y
metra, medida) 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.).

Es la base terica de la geometra descriptiva o del dibujo tcnico. Tambin da

fundamento a instrumentos como el comps, el teodolito, el pantgrafo o el
sistema de posicionamiento global (en especial cuando se la considera en
combinacin con el anlisis matemtico y sobre todo con las ecuaciones
diferenciales).

Sus orgenes se remontan a la solucin de problemas concretos relativos a

medidas. Tiene su aplicacin prctica en fsica aplicada, mecnica, arquitectura,
geografa, cartografa, astronoma, nutica, topografa, balstica etc. Y es til en la
preparacin de diseos e incluso en la elaboracin de artesana.
Axiomas, definiciones y teoremas

Un teorema descubierto y probado por Arqumedes:

una esfera tiene 23 del volumen de su cilindrocircunscrito.
La geometra se propone ir ms all de lo alcanzado por la intuicin. Por ello, es
necesario un mtodo riguroso, sin errores; para conseguirlo se han utilizado
histricamente los sistemas axiomticos. El primer sistema axiomtico lo
establece Euclides, aunque era incompleto. David Hilbert propuso a principios del
siglo XX otro sistema axiomtico, ste ya completo. Como en todo sistema formal,
las definiciones, no slo pretenden describir las propiedades de los objetos, o sus
relaciones. Cuando se axiomatiza algo, los objetos se convierten en entes
abstractos ideales y sus relaciones se denominan modelos.
Esto significa que las palabras "punto", "recta" y "plano" deben perder todo
significado material. Cualquier conjunto de objetos que verifique las definiciones y
los axiomas cumplir tambin todos los teoremas de la geometra en cuestin, y
sus relaciones sern virtualmente idnticas al del modelo tradicional.
Axiomas

La geometra esfrica es un ejemplo de geometra no euclidiana.

En geometra euclidiana, los axiomas y postulados son proposiciones que
relacionan conceptos, definidos en funcin del punto, la recta y el plano. Euclides
plante cinco postulados y fue el quinto (el postulado de paralelismo) el que siglos
despus cuando muchos gemetras lo cuestionaron al analizarlo originar
nuevas geometras: la elptica (geometra de Riemann) o la hiperblica de Nikoli
Lobachevski.
En geometra analtica, los axiomas se definen en funcin de ecuaciones de
puntos, basndose en el anlisis matemtico y el lgebra. Adquiere otro nuevo
sentido hablar de puntos, rectas o planos. f(x) puede definir cualquier funcin,
llmese recta, circunferencia, plano, etc.
Topologa y geometra.
El nudo de trbol.
El campo de la topologa, que tuvo un gran desarrollo en el siglo XX, es en sentido
tcnico un tipo de geometra transformacional, en que las transformaciones que
preservan las propiedades de las figuras son los homeomorfismos (por ejemplo,
esto difiere de la geometra mtrica, en que las transformaciones que no alteran
las propiedades de las figuras son las isometras). Esto ha sido frecuentemente
expresado en la forma del dicho: "la topologa es la geometra de la pgina de
goma".
Tipos de geometra.
Desde los antiguos griegos, ha existido numerosas contribuciones a la geometra,
particularmente a partir del siglo XVIII. Eso ha hecho que proliferen numerosas
subramas de la geometra con enfoques muy diferentes. Para clasificar los
diferentes desarrollos de la Geometra moderna se pueden recurrir a diferentes
enfoques:
Geometras segn el tipo de espacio
Los antiguos griegos manejaban un nico tipo de geometra, a saber, la geometra
eucldea, hbilmente codificada en los Elementos de Euclides por una escuela
alejandrina encabezada por Euclides. Este tipo de geometra se bas en un estilo
formal de deducciones a partir de cinco postulados bsicos. Los cuatro primeros
fueron ampliamente aceptados y Euclides los us extensivamente, sin embargo, el
quinto postulado fue menos usado y con posterioridad diversos autores trataron de
demostrarlo a partir de los dems, la imposibilidad de dicha deduccin llev a
constatar que junto con la geometra eucldea existan otros tipos de geometras
en que el quinto postulado de Eucldes no participaba. De acuerdo a las
modificaciones introducidas en ese quinto postulado se llega a familias diferentes
de geometras o espacios geomtricos diferentes entre ellos:
La geometra absoluta, que es el conjunto de hechos geomtricos
derivables a partir nicamente de los primeros cuatro postulados de
Euclides.
La geometra eucldea, que es la geometra particular que se obtiene de
aceptar como axioma tambin el quinto postulado. Los griegos
consideraron dos variantes de geometra eucldea:
Geometra eucldea del plano
Geometra eucldea del espacio
La geometra clsica es una recopilacin de resultados para las geometras
eucldeas.
A partir del siglo XIX se lleg a la conclusin de que podan definirse geometras
no eucldeas entre ellas:
La geometra elptica
La geometra esfrica
La geometra finita
La geometra hiperblica
 La geometra riemanniana

La medicin

Es un proceso bsico de la ciencia que consiste

en comparar un patrn seleccionado con el objeto o fenmeno
cuya magnitud fsica se desea medir, para averiguar cuntas veces el patrn est
contenido en esa magnitud.1

Proceso de medicin
La tecnologa convencional, modelizable mediante la mecnica clsica no plantea
problemas serios para el proceso de medicin. As para algunos autores el
proceso de medicin requiere caracterizaciones relativamente simples como por
ejemplo:
Definicin 1. Una medicin es un acto para determinar la magnitud de un objeto
en cuanto a cantidad.[
Aunque caben definiciones ms complejas y descriptivas del proceso de medicin
de una magnitud geomtrica, como la siguiente definicin:
Definicin 2. Una medicin es comparar la cantidad desconocida que queremos
determinar y una cantidad conocida de la misma magnitud, que elegimos como
unidad. Al resultado de medir se le denomina medida.
Los procesos de medicin de magnitudes fsicas que no son dimensiones
geomtricas entraan algunas dificultades adicionales, relacionadas con la
precisin y el efecto provocado sobre el sistema. As cuando se mide alguna
magnitud fsica se requiere en muchas ocasiones que el aparato de medida
interfiera de alguna manera sobre el sistema fsico en el que se debe medir algo o
entre en contacto con dicho sistema. En esas situaciones se debe poner mucho
cuidado, en evitar alterar seriamente el sistema observado. De acuerdo con la
mecnica clsica no existe un lmite terico a la precisin o el grado de
perturbacin que dicha medida provocar sobre el sistema (esto contrasta
seriamente con la mecnica cuntica o con ciertos experimentos en ciencias
sociales donde el propio experimento de medicin puede interferir en los sujetos
participantes).
Por otro lado, no hemos de perder de vista que las medidas se realizan con algn
tipo de error, debido a imperfecciones del instrumental o a limitaciones del
medidor, errores experimentales, por eso, se ha de realizar la medida de forma
que la alteracin producida sea mucho menor que el error experimental que pueda
cometerse. Por esa razn una magnitud medida se considera como una variable
aleatoria, y se acepta que un proceso de medicin es adecuado si la media
estadstica de dichas medidas converge hacia la media poblacional. En mecnica
clsica las restricciones para el grado de precisin son siempre de carcter
tecnolgico o prctico, sin embargo, en mecnica cuntica existen lmites tericos
para el grado de precisin que puede alcanzarse (vase principio de
incertidumbre, teorema de Bell-Kochen-Specker).
Medicin directa
La medida o medicin directa se obtiene con un instrumento de medida que
compara la variable a medir con un patrn. As, si se desea medir la longitud de un
objeto, puede usarse un calibrador. Obsrvese que se compara la longitud del
objeto con la longitud del patrn marcado en el calibrador, hacindose la
comparacin distancia-distancia. Tambin, se da el caso con la medicin de la
frecuencia de un ventilador con un estroboscopio, La medicin es la frecuencia del
ventilador (nmero de vueltas por tiempo) frente a la frecuencia del estroboscopio
(nmero de destellos por tiempo).
Medicin indirecta
No siempre es posible realizar una medida directa, porque existen variables que
no se pueden medir por comparacin directa, es por lo tanto con patrones de la
misma naturaleza, o porque el valor a medir es muy grande o muy pequeo y
depende de obstculos de otra naturaleza, etc. Medicin indirecta es aquella en la
que una magnitud buscada se estima midiendo una o ms magnitudes diferentes,
y se calcula la magnitud buscada mediante clculo a partir de la magnitud o
magnitudes directamente medidas.
Ejemplo 1: Se quiere medir la temperatura de un litro de agua, pero no existe un
medidor de comparacin directa para ello. As que se usa un termopar, del cual, al
ingresar los alambres de metal al agua, se dilatan y dicha dilatacin se convierte
en una diferencia de potencial gracias a un transductor, que es funcin de la
diferencia de temperatura. En sntesis, un instrumento de medicin indirecta mide
los efectos de la variable a medir en otra instancia fsica, cuyo cambio es anlogo
de alguna manera.
Ejemplo 2: Se desea medir las alturas de un edificio demasiado alto, dadas las
dificultades de realizar la medicin directamente, emplearemos un mtodo
indirecto. Colocaremos en las proximidades del edificio un objeto vertical, que s
podamos medir, as como su sombra. Mediremos tambin la longitud de la sombra
del edificio. Dada la distancia del Sol a la tierra los rayos solares los podemos
considerar paralelos, luego la relacin de la sombra del objeto y su altura es la
misma que la relacin entre la sombra del edificio y la suya. Llamando:
SOb: a la sombra del objeto.
AOb: a la altura del objeto.
SEd: a la sombra del edificio.
AEd: a la altura del edificio.

, luego,
Esto permite calcular la altura del edificio a partir de las medidas directas tomadas.
Vanse tambin: Proporcionalidad y Trigonometra.
Medidas reproducibles
Una medida reproducible es aquella que puede ser repetida y corroborada por
diferentes experimentadores. Una medida reproducible por tanto requiere un
proceso de medida o un ensayo no destructivo. Ejemplo: Si se mide cualquier
nmero de veces un lado de un escritorio, siempre se obtiene el mismo resultado.
Las medidas reproducibles son procedimientos no destructivos que adems no
producen una alteracin importante en el sistema fsico sujeto a medicin.
Ejemplo:

1) Si se desea obtener la longitud de una barra se compara directamente con

un instrumento de medicin como puede ser un vernier o tornillo micromtrico.

2) Si se desea medir el tiempo que le toma llegar a una persona desde el punto
A hasta otro punto B, se hace uso de un instrumento de medicin del tiempo como
lo es un cronmetro.

3) Cuando se quiera conocer el voltaje que circula por algn circuito elctrico
se hace uso de un voltmetro para obtener una medida directa.

Proceso de medicin indirecta.

El proceso de medicin indirecta es aquel en el que no existe un instrumento

capaz de llevar a cabo la medida, tambin se puede dar el caso en el que la
magnitud a medir es muy grande o muy pequea para los instrumentos existentes
y eso hara imposible su medicin directa, por otro lado cualquier clculo que se
deba hacer posterior a la medicin convierte a la medida en indirecta.

Ejemplo:

1) Se desea conocer el rea de una circunferencia y para eso se mide el

dimetro de la misma, posteriormente se calcula mediante una ecuacin el rea,
esto es un proceso de medicin indirecta.

2) Si se desea conocer la velocidad de un mvil y no se dispone de

velocmetro, se debe medir la distancia recorrida y el tiempo empleado en recorrer
dicha distancia, posteriormente se hace uso de una ecuacin para determinar la
velocidad.

3) Conocer la aceleracin de la gravedad, para ello se deja caer un objeto

desde cierta altura que debe ser previamente medida, tambin dar una velocidad
inicial al objeto y tomar el tiempo que tarda en llegar al suelo, finalmente se usan
esos datos para determinar mediante una ecuacin la aceleracin de la gravedad.

Trigonometra

La trigonometra es una rama de la matemtica, cuyo significado etimolgico es 'la

medicin de los tringulos'. Deriva de los trminos griegos trignos
'tringulo' y metron 'medida'.1

En trminos generales, la trigonometra es el estudio de las razones

trigonomtricas: seno, coseno; tangente, cotangente; secante y cosecante.
Interviene directa o indirectamente en las dems ramas de la matemtica y se
aplica en todos aquellos mbitos donde se requieren medidas de precisin. La
trigonometra se aplica a otras ramas de la geometra, como es el caso del estudio
de las esferas en la geometra del espacio.

Posee numerosas aplicaciones, entre las que se encuentran: las tcnicas de

triangulacin, por ejemplo, son usadas en astronoma para medir distancias a
estrellas prximas, en la medicin de distancias entre puntos geogrficos, y en
sistemas globales de navegacin por satlites.

Unidades angulares
En la medicin de ngulos y, por tanto, en trigonometra, se emplean tres
unidades, si bien la ms utilizada en la vida cotidiana es el grado sexagesimal, en
matemticas es el radin la ms utilizada, y se define como la unidad natural para
medir ngulos, el grado centesimal se desarroll como la unidad ms prxima al
sistema decimal, se usa en topografa, arquitectura o en construccin.

Radin: unidad angular natural en trigonometra. En una circunferencia completa

hay 2 radianes (algo ms de 6,28).
Grado sexagesimal: unidad angular que divide una circunferencia en 360 grados.
Grado centesimal: unidad angular que divide la circunferencia en 400 grados
centesimales.
Mil angular: unidad angular que divide la circunferencia en 6400 unidades.
La trigonometra es una rama importante de las matemticas dedicada al estudio
de la relacin entre los lados y ngulos de un tringulo rectngulo y una
circunferencia. Con este propsito se definieron una serie de funciones, las que
han sobrepasado su fin original para convertirse en elementos matemticos
estudiados en s mismos y con aplicaciones en los campos ms diversos.

Razones trigonomtricas
El tringulo ABC es un tringulo rectngulo en C; lo usaremos para definir las
razones seno, coseno y tangente, del ngulo correspondiente al vrtice A, situado
en el centro de la circunferencia.

RAZONES TRIGONOMTRICAS DE UN NGULO AGUDO

Llamamos razones trigonomtricas a las distintas razones existentes entre los
lados de un tringulo rectngulo. Se define:

Seno de un ngulo como la razn entre el cateto opuesto al ngulo y la

hipotenusa.
Coseno de un ngulo como la razn entre el cateto contiguo al ngulo y la
hipotenusa.
Tangente de un ngulo como la razn entre el cateto opuesto y el contiguo.
Cosecante de un ngulo como la razn entre la hipotenusa y el cateto opuesto, de
ah se deduce que la consecante es 1 entre el seno
Secante de un ngulo como la razn entre la hipotenusa y el cateto contiguo, es 1
entre el coseno.
Cotangente de un ngulo es la razn entre el cateto contiguo y el cateto opuesto,
es 1 entre la tangente.
EJEMPLOS

De las definiciones anteriores se deduce que:

INTRODUCCION

La presentacin de este trabajo se refiere a algunas ramas de la matemtica con

los cuales realizamos distintas operaciones segn sea el caso a resolver, trata del
conocimiento de un rea de la inteligencia artificial cuyo objetivo fundamental es
representar el conocimiento de una manera que facilite sacar conclusiones a
partir de dicho conocimiento. Analiza cmo usar un sistema de smbolos para
representar un dominio de una frase, junto con funciones que permitan razonar
sobre las posibles acciones que se puedan realizar.
OBJETIVOS

Aplicar con soltura y adecuadamente las herramientas matemticas

adquiridas a situaciones de la vida diaria.

Resolver problemas matemticos mediante diferentes estrategias,

procedimientos y recursos.

Desarrollar un mejor nivel de conceptualizacin y comprensin de las

expresiones algebraicas.
CONCLUSION

La disciplina de las matemticas es la ciencia que nos ayuda a explicar muchos de

los fenmenos fsicos de nuestro alrededor. Se le atribuyen como objeto de
estudio la cantidad, la estructura, el espacio y el cambio, y para abarcarlas se
divide en diferentes reas matemticas. Algunas de las cuales hemos investigado
en el presente trabajo.
BIBLIOGRAFIAS

https://es.wikipedia.org/wiki/L%C3%B3gica_proposicional

https://es.wikipedia.org/wiki/%C3%81lgebra
 INSTITUTO COMERCIAL VILLA CONCEPCION

NOMBRE: Noe Alejandro Lpez

MATERIA: Matemticas

MAESTRO: Jos Luis Velasquez

TRABAJO:

Investigacin temas de Algebra y Matemticas

GRADO: 3ro. Bsico

FECHA: 28-08-2017

Santa Elena Flores Petn.