ALgebra III

FICHA DE IDENTIFICACIÓN DE TRABAJO DE INVESTIGACIÓN
El Uso de las TIC’s para la resolución de problemas de Algebra I

Título
Docente Ingeniero David Ramos
Nombres y Apellidos
Autor Osmar Vladimir Choque Miranda
Código de estudiante 34997
Fecha 19/11/2016
Carrera Ingeniería en Gas y Petróleo

Asignatura Algebra I
Grupo A
Docente David Ramos
Periodo Académico Semestre 02/2016
Subsede La paz
.
Título: El Uso de las TIC’s para la resolución de problemas de Algebra I
Autor: Osmar Vladimir Choque Miranda
RESUMEN:
Un sistema de ecuaciones es un grupo de dos o más ecuaciones que comprenden dos o más
variables.
Cuando es número de variables es mayor que el de las ecuaciones, por lo general existen
muchas soluciones.
Por ejemplo: x+y=0
En este caso, el número de soluciones es ilimitado; si el número de variables es menor que el de
las ecuaciones, por lo general, no existe solución.
Los conceptos matemáticos lógicos tienen sus raíces en situaciones físicas que los hombres
encaran en la vida, sin embargo un desarrollo matemático exige razonamientos válidos,
utilizando un lenguaje claro, precisándose para ello el uso de símbolos y conectivos que eviten
ambigüedades, por ello se hace necesario introducir los conceptos de proposición, axioma,
teorema, etc.
Los conceptos de conjunto y pertenencia son conceptos indefinibles es decir que carecen de
definición por tratarse de ideas primitivas, intuitivamente aceptadas. La idea de conjuntos es que
se trata de una colección reunión o agrupación de objetos cualesquiera, esos objetos se llaman
elementos de conjunto
Palabras clave: Lógica, Ecuación, Proposiciones, Conjuntos
ABSTRACT:
Asignatura: Álgebra I
Carrera: Ingeniería en Gas y Petróleo
An equation system is a group of two or more equations that comprise two or more variables.
When the number of variables is greater than that of the equations, there are usually many
solutions.
For example: x + y = 0
In this case, the number of solutions is unlimited, if the number of variables
is smaller than that of the equations, there is usually not solution.
The mathematic basic concepts has their bases in the physical situations of the men confront, for
example, the count is a primitive and basic operation and intuitivos the idea
Of conjunct is a collection of things this things are called conjuncts elements.
Key words: Logic, equations, proposition, conjunct
Tabla De Contenidos
Capítulo I. Introduccion..............................................................................................................
Capítulo II. Marco Teórico..........................................................................................................
2.1 Sistemas de ecuaciones .........................................................................................................
2.1.1 Ecuaciones de primer grado con una incognita.................................................................
2.1.1.1 Igualdad...........................................................................................................................
2.1.1.2 Ecuacion..........................................................................................................................
2.1.1.3 Identidad..........................................................................................................................
2.1.1.4 Miembros.........................................................................................................................
2.1.1.5 Terminos..........................................................................................................................
2.1.1.6 Clases de ecuaciones........................................................................................................
2.1.1.6.1 Ecuacion Numerica.......................................................................................................
2.1.1.6.2 Ecuacion Literal............................................................................................................
2.1.1.6.3 Ecuacion Entera............................................................................................................
2.1.1.6.4 Ecuacion Fraccionaria..................................................................................................
2.1.1.7 Grado ..............................................................................................................................
2.1.1.8 Raciones o Soluciones de ecuacion.................................................................................
2.1.1.9 Resolver una ecuacion.....................................................................................................
2.1.1.10 Axioma Fundamental.....................................................................................................
2.1.1.10.1 Reglas que se derivan de este Axioma........................................................................
2.1.1.11 Trasposicion de Terminos..............................................................................................
2.1.1.11.1 Regla general de resolucion de ecuaciones de primer grado......................................
2.1.1.12 Ecuacion Simultanea.....................................................................................................
2.1.1.13 Ecuacion Incompatible..................................................................................................
2.1.1.14 Ecuaciones de primer grado con dos o mas incognitas.................................................
2.1.1.14.1 Metodo de Igualacion.................................................................................................
2.1.1.14.2 Metodo de Sustitucion................................................................................................
2.1.1.14.3 Metodo de Reduccion.................................................................................................
2.1.1.14.4 Metodo de Gauss........................................................................................................
2.1.1.14.5 Regla de Cramer.........................................................................................................
2.2 Nociones Logicas...................................................................................................................
2.2.1 Propociciones......................................................................................................................
2.2.2 Nociones de logica..............................................................................................................
2.2.3 Notaciones y Conectivos....................................................................................................
2.2.4 Operaciones propocicionales..............................................................................................
2.2.4.1 Negacion .........................................................................................................................
2.2.4.2 Conjuncion.......................................................................................................................
2.2.4.3 Disyuncion.......................................................................................................................
2.2.4.4 Implicaion o Condional...................................................................................................
2.2.4.5 Doble Implicaion o Incondicional...................................................................................
2.2.4.6 Diferencia Simetrica........................................................................................................
2.2.5 Condiciones nesesarias y suficientes..................................................................................

2.2.6 Leyes Logicas.....................................................................................................................
2.2.6.1 Involucion........................................................................................................................
2.2.6.2 Idempotencia....................................................................................................................
2.2.6.3 Conmutatividad................................................................................................................
2.2.6.4 Asosiatividad....................................................................................................................
2.2.6.5 Distributividad ................................................................................................................
2.2.6.6 Leyes de Morgan.............................................................................................................
2.2.7 Implicaiones asociadas ......................................................................................................
2.2.7.1Negacion de una Implicaion.............................................................................................
2.2.8 Razonamiento Deductivo valido........................................................................................
2.2.9 Funciones propocinales.su clasificacion.............................................................................
2.3 Conjuntos...............................................................................................................................
2.3.1 Determinacion de conjuntos...............................................................................................
2.3.2 Notaciones..........................................................................................................................
2.3.3 Conjunto universo y vacio..................................................................................................
2.3.4 Conjunto universo ..............................................................................................................
2.3.5 Conjunto vacio....................................................................................................................
2.3.6 Diagramas de Venn.............................................................................................................
2.3.7 Subconjuntos.......................................................................................................................
2.3.8 Complemento de un Conjunto............................................................................................
2.3.9 Operaciones de conjuntos...................................................................................................
2.3.10 La union de conjuntos.......................................................................................................
2.3.11 La interseccion..................................................................................................................
2.3.12 Complemento de un conjunto...........................................................................................
2.3.13 Diferencia.........................................................................................................................
2.3.14 Diferencia Simetrica.........................................................................................................
2.3.15 Propiedas de las operaciones ...........................................................................................
Capítulo III. Planteamiento del Problema...................................................................................
Capítulo IV. Objetivos.................................................................................................................
4.1 Objetivo General....................................................................................................................
4.2 Objetivos Especificos ...........................................................................................................
Capítulo V. Metodologia..............................................................................................................
Capítulo VI. Resultados...............................................................................................................
Capítulo VII. Conclusioes............................................................................................................
Capítulo VII. Recomendaciones..................................................................................................
Bibliografia..................................................................................................................................
Índice De Tablas
Aquí debe generar el índice de tablas y cuadros
Tabla 1 Proposicion de Verdad......................................................................................................

Tabla 2 Conjuncion.......................................................................................................................
Tabla 3 Disyuncion.......................................................................................................................
Tabla 4 Implicaion o Condicional................................................................................................
Tabla 5 Dobleimplicaion o Incondicional....................................................................................
Tabla 6 Valores de verdad p<=>q.................................................................................................
Tabla 7 Diferencia Simetrica.........................................................................................................
Tabla 8 Verdad Implicacion..........................................................................................................
Tabla 9 Valores de verdad p=>q...................................................................................................
Tabla 10 Valores de verdad –p^q..................................................................................................
Índice De Ecuaciones
SISTEMAS DE ECUACIONES
Ecuación 1. Representacion de la ecuacion I...............................................................................
Ecuación 2. Representacion de la ecuacion II..............................................................................
Ecuación 3. Representacion de la ecuacion III.............................................................................
Ecuación 4. Representacion de la ecuacion IV.............................................................................
Ecuación 5. Representacion de la ecuacion V..............................................................................
Ecuación 6. Representacion de la ecuacion VI.............................................................................
Ecuación 7. Representacion de la ecuacion VII...........................................................................
Ecuación 8. Representacion de la ecuacion VIII..........................................................................
Ecuación 9. Representacion de la ecuacion IX.............................................................................
Ecuación 10. Representacion de la ecuacion X............................................................................
Ecuación 11. Representacion de la ecuacion XI...........................................................................
Ecuación 12. Representacion de la ecuacion XII.........................................................................
Ecuación 13. Representacion de la ecuacion XIII........................................................................
Ecuación 14. Representacion de la ecuacion XIV........................................................................
Ecuación 15. Representacion de la ecuacion XV.........................................................................
Ecuación 16. Representacion de la ecuacion XVI........................................................................
Ecuación 17.Representacion de la ecuacion XVII.......................................................................
NOCIONES LOGICAS
Ecuación 1. Representacion de la Imbolucion..............................................................................
Ecuación 2. Representacion de la Idempotencia..........................................................................
Ecuación 3. Representacion de la Conmutatividad......................................................................
Ecuación 4. Representacion de la Asociatividad..........................................................................
Ecuación 5. Representacion de la Distributividad........................................................................
Ecuación 6. Representacion de la ecuacion VI.............................................................................
Ecuación 7. Representacion de la ecuacion VII...........................................................................
CONJUNTOS
Ecuación 1. Representacion del Complemento 1.........................................................................
Ecuación 4. Representacion de la Union de conjuntos.................................................................
Ecuación 5. Representacion del Conjunto vacio ........................................................................
Ecuación 6. Representacion de la Union .....................................................................................
Ecuación 7. Representacion de la Interseccion............................................................................
Ecuación 9. Representacion de la Diferencia ..............................................................................
Ecuación 10. Representacion de la Diferencia Simetrica.............................................................
Ecuación 11. Representacion de la propiedad conmutativa ........................................................
Ecuación 12. Representacion de la propiedad asoiativa...............................................................
Ecuación 13. Representacion de la distributiva............................................................................
Ecuación 14. Representacion de la Ley de Morgan.....................................................................
Capítulo I Introducción
A diferencia de la aritmética elemental, que trata de números y las operaciones

fundamentales, en algebra para lograr una generalización se introducen símbolos para
representar parámetros o cantidades desconocidas las expresiones así formadas son llamadas
“formulas algebraicas”, y expresan una regla o un principio general. El álgebra, es una rama de
las matemáticas en la que se usan letras para representar relaciones aritméticas
El álgebra conforma una de las grandes áreas de las matemáticas, junto a la teoría de
números, la geometría y el análisis. Al igual que en la aritmética, las operaciones fundamentales
del algebra son adición, sustracción, multiplicación, división y cálculo de raíces.
Muchos delos métodos de ecuación derivan del desarrollo de la matemática en el islam
medieval, destacando la independencia del algebra como una disciplina matemática
independiente de la geometría y de la aritmética .Puede considerarse al álgebra como el arte de
hacer cálculos del mismo modo que en aritmética, pero con objetos matemáticos no-numéricos.
Por razones históricas, también puede indicar una relación con las soluciones de ecuaciones
polinomiales, números algebraicos, extensión algebraica o expresión algebraica. Conviene
distinguir entre:
 Algebra elemental es la parte del algebra que se enseña generalmente en los cursos de
matemáticas.
 Algebra abstracta es el nombre dado el estudio de las “estructuras algebraicas”
propiamente.
El álgebra usualmente se basa en estudiar las combinaciones de cadenas finitas de signos y,
mientras que análisis matemático requiere estudiar límites y sucesiones de una cantidad infinita
de elementos.
Todo desarrollo matemático exige razonar en forma valida acerca de cosas trascendentes y
particularmente abstractas. Hay que comenzar por eliminar las ambigüedades del lenguaje
ordinario, introduciendo símbolos y conectivos cuyo uso adecuado descarte las contingencias,
aporte claridad y economía
Capítulo II. Marco Teórico
2.1 Sistemas de Ecuaciones
2.1.1 Ecuaciones de primer grado con una incógnita

2.1.1.1 Igualdad
(Baldor, año 1995). “Es la expresión en la cual dos cantidades o expresiones algebraicas que
tienen el mismo valor” (Baldor, año 1995).
Ecuación 1. Representación de la ecuación I (Baldor, año1995)
2.1.1.2 Ecuación
(Baldor, año 1995). “Es una igualdad en la que hay una o varias cantidades desconocidas
llamadas incógnitas y que solo se verifica o es verdadera para determinados valores de las
incógnitas” (Baldor, 1995.p23).
Las incógnitas se representan por las ultimas letras del alfabeto: x, y, z, u, v.
5x + 2 = 17 3y + 5 = 20
X=3 x=5
Ecuación 2. Representación de la ecuación II (Baldor, 1995, p23)
2.1.1.3 Identidad
(Baldor, año 1995). “Es una igualdad que se verifica para cualquier valor asignado en las
incógnitas”
Ecuación 3. Representación de la ecuación III (Baldor, año1995)
2.1.1.4 Miembros
(Baldor, año 1995). “Se llama primer miembro de una ecuación o de una identidad a la
expresión que está a la izquierda del signo de la igualdad o identidad, y segundo miembro, a la
expresión que está a la derecha.”
2.1.1.5 Términos
(Baldor, año 1995). “Son cada una de las cantidades que están conectadas por el signo + o –,
o la cantidad que está sola en un miembro”
2.1.1.6 Clases de ecuaciones

(Baldor, año 1995). 2.1.1.6.1 Ecuación Numérica
Es una ecuación que no tiene más letras que las incógnitas, como donde la única letra es la
incógnita x.
4x =16 3x=2
Ecuación 4. Representación de la ecuación IV (Baldor, año1995)
2.1.1.6.2 Ecuación Literal

(Baldor, año 1995). Es una ecuación que además de las incógnitas tiene otras letras, que
representan cantidades conocidas, como.
Ecuación 5. Representación de la ecuación V (Baldor, año1995)
2.1.1.6.3 Ecuación Entera

(Baldor, año 1995). Es cuando ninguno de sus términos tiene denominador como en los
ejemplos anteriores.
Ecuación 6. Representación de la ecuación VI (Baldor, 1995)
2.1.1.6.4 Ecuación Fraccionaria

(Baldor, año 1995). Es cuando algunos o todos sus términos tienen denominador, como.
3/2 x +2/3 a = 5/7 b – b/5 x

Ecuación 7.Representacion de la ecuación VII (Baldor, 1995)
2.1.1.7 Grado
(Baldor, año 1995).En una ecuación con una sola incógnita es el mayor exponente que tiene la
incógnita en la ecuación. Así son ecuaciones de primer grado por que el mayor exponente de x es
1.
2.1.1.8 Raciones o soluciones de ecuación
(Baldor, año 1995).Son los valores de las incógnitas que verifican o satisfacen la ecuación, es
decir, que sustituido en lugar de las incógnitas, convierten la ecuación en identidad.
2.1.1.9 Resolver una ecuación
(Baldor, año 1995).Es hallar sus raíces, o sea el valor o los valores de las incógnitas que
satisfacen la ecuación.
2.1.1.10 Axioma fundamental
(Baldor, año 1995).Si son cantidades iguales se verifican operaciones iguales los resultados
serán iguales.
2.1.1.10.1 Reglas que se derivan de este axioma
1) Si a los dos miembros de una ecuación se suma una misma cantidad, positiva o negativa,
la igualdad subsiste.
a+2=b+2
Ecuación 8.Representación de la ecuación VII (Baldor, 1995)
2) Si a los dos miembros de una ecuación se resta una misma cantidad positiva o negativa,
la igualdad subsiste.
a–5=b–5
Ecuación 9.Representación de la ecuación IX (Baldor, 1995)
3) Si a los dos miembros de una ecuación se multiplican por una misma cantidad, positiva
o negativa, la igualdad subsiste.
a*6=b*6
Ecuación 10. Representación de la ecuación X (Baldor, 1995)
4) Si a los dos miembros de una ecuación se dividen por una misma cantidad, positiva o
negativa, la igualdad subsiste.
a/8=b/8
Ecuación 11. Representación de la ecuación XI (Baldor, 1995)
5) Si a los dos miembros de una ecuación se elevan a una misma potencia o si los dos
miembros se extrae una misma raíz, la igualdad subsiste.
a^3=b^3
Ecuación 12. Representación de la ecuación XII (Baldor, 1995) )
2.1.1.11 Transposición de términos

(Baldor, año 1995).Consiste en cambiar los términos de una ecuación de un término al otro.
2.1.1.11.1 Regla general de solución de ecuaciones de primer grado con una incógnita
1) Efectuar las operaciones indicadas.
2) Reunir en un miembro los términos que contenga la incógnita y en el otro los términos
con cantidades conocidas.
3) Reducir los términos semejantes.
4) Despejar la incógnita dividiendo ambos términos por el coeficiente de la incógnita.
10 (x – 9)+ 2{3x + 2[2-(3+4)]} = 2(4x) +3x

10x – 90 + 2{3x + 2(-5)} = 8x + 3x
10x – 90 + 6x -20 = 8x + 3x
10x – 6x – 8x – 3x = 90 + 20
5x = 110
X = 110/ 5
x = 22
Ecuación 13. Representación de la ecuación XIII (Baldor, 1995)
2.1.1.12 Ecuación Simultánea

(Baldor, año 1995).Dos o más ecuaciones son simultáneas cuando las soluciones de las
incógnitas son valores iguales para toda la ecuación.
x+y=5 x=3
x+y=1 y=2
Ecuación 14. Representación de la ecuación XIV (Baldor, 1995)
2.1.1.13 Ecuación Incompatible

(Baldor, año 1995). Son ecuaciones que no tienen solución común.
x + 2y = 10
2x + 4y = 5
Ecuación 15. Representación de la ecuación XV (Baldor, 1995)
2.1.1.14 Ecuaciones de primer grado con dos o más incógnitas

(Baldor, año 1995). Es la reunión de 2 o más ecuaciones con dos o más incógnitas.
{2x + 3y = 13}
{4x – y = 5}
Ecuación 16.Representación de la ecuación XVI (Baldor, 1995)
2.1.1.14.3 Método de Igualación

(Baldor, año 1995). Para resolver un sistema de ecuaciones por este método hay que despejar
una incógnita, la misma en las dos ecuaciones e igualar el resultado de ambos despejes con lo
que se obtiene una ecuación de primer grado. Las fases del proceso son las siguientes:
1) Se despeja la misma incógnita en ambas ecuaciones.
2) Se igualan las expresiones obtenidas y se resuelve la ecuación lineal de una incógnita
que resulta.
3) Se calcula el valor de la incógnita sustituyendo la ya hallada en una de las ecuaciones

despejadas de primer paso.
2.1.1.14.2 Método de Sustitución
(Baldor, año 1995). Para resolver un sistema de ecuaciones por este método, se siguen los
siguientes pasos:
1) Se despeja la incógnita en una ecuación.
2) Se sustituye en la otra ecuación por la misma variable que se despejo.
3) Se calcula la otra incógnita sustituyendo la hallada en una de las ecuaciones despejadas
del primer paso.
2.1.1.14.3 Método de Reducción
(Baldor, año 1995).Para resolver un sistema de ecuaciones por este método, se siguen los
siguientes pasos:
1) Se evalúan las dos ecuaciones y se las multiplica por números hasta poder reducir la
ecuación a una con una incógnita.
2) Se suman ambos ecuaciones y se halla la incógnita.
3) Se calcula la otra incógnita sustituyendo la hallada en una de las ecuaciones despejadas
del primer paso.
2.1.1.14.4 Método de Gauss
(Baldor, año 1995).El método de Gauss consiste en trasformar el sistema dado en otro
equivalente. Para tomamos la matriz ampliada del sistema y mediante las operaciones
elementales con sus filas de trasformación de una matriz triangular superior (o inferior). De
esta forma obtendremos un sistema equivalente al inicial y que es muy fácil de resolver.
Es esencialmente el método de reducción. En el método de Gauss se opera con ecuaciones,
como se hace en el método de reducción, pero uno se ahorra el escribir las incógnitas por que ir a
los coeficientes de una misma incógnita siempre en una misma columna, uno sabe en todo
momento cual es la incógnita a la que multiplican.
2.1.1.14.5 Regla de Cramer
(Baldor, año 1995).Esta regla es un método de resolución de sistema de ecuaciones lineales
que se puede utilizar cuando la matriz A de coeficientes del sistema es cuadrada y de
determinante no nulo. El que
A sea cuadrada significa que el número de incógnitas y el número de ecuaciones coincide
2.2 NOCIONES DE LOGICA
2.2.1 proposiciones
Consideramos las siguientes oraciones:
1. ¿Quién viene?
2. Deténgase
3. El calor dilata los cuerpos
4. Es un número impar
5. Juan ama la música
6. La música es amada por juan
Se trata de seis oraciones diferentes, una interrogativa, vtm orden y cuatro-declarativas. De
las dos primeras no podemos decir que sean verdaderas o falsas; una pregunta puede
formularse o no, y una orden puede ser cumplida o no. En cambio de las cuatro últimas que
son declarativas, tiene sentido decir si son verdaderas o falsas. A estas las llamamos
proposiciones.
Definición proposición es toda oración respecto de la cual se puede decirse si es verdadera o
falsa.
2.2.2 Nociones de lógica
Es decir, proposición es toda oración declarativa. Toda proposición está asociada a un valor
de verdad, el cual puede ser verdadero (v) o bien falso (f).las oraciones (5) y (6) son
diferentes desde el punto de vista gramatical; el objeto directo de la (5) es el sujeto de la (6),
pero ambas tienen el mismo significado, y las consideramos como la misma proposición.
Podemos decir entonces proposición es el significado de toda oración declarativa.
2.2.3 Notaciones y conectivos
Las proposiciones genéricas son denotadas con las letras p, q, r, etc. A partir de oraciones
simples es posible generar otras, simples complejas es decir, se puede operar con
proposiciones, y según sean tales operaciones se utilizan ciertos símbolos, llamamos
conectivos lógicos.
Conectivo Operación asociada significado

̶ Negación no p o no es cierto que p
/ Conjunción o producto lógico pyq

V Disyunción o suma lógica p o q (en sentido incluyente)
=» Implicación p implica q o si entonces q
•o Doble implicación p si y solo si q
I Diferencia simétrica p o q (en sentido excluyente)
2.2.4 OPERACIONES PROPOSICIONALES

Definiremos las operaciones entre proposiciones en el sentido siguiente: dadas una o dos
proposiciones, cuyos valores de verdad se conocen, se trata de caracterizar la proposición
resultante a través de su valor de verdad. Se supone que en la elección de estos valores se tiene
en cuenta el buen sentido.
2.2.4.1. Negación \
Definición
Negación de la proposición p es la proposición ~p (no p), cuya tabla de valores de verdad es
Tabla 1 Tabla de verdad de la negación
P ~P
V F
F V
Nota: tabla de verdad de la proposición p (armando rojo.1996. algebra I. editorial EL ATENEO)
Se trata de una operación unitaria, pues a partir de una proposición se obtiene otra, que es su
negación
2.2.4.2. Conjunción
Definición
Conjunción de las proposiciones p y q es la proposición p -- q (p y q).
Cuya tabla de valores de verdad es:
Tabla 2 Tabla de verdad de la conjunción
p q Pᴧ q
V V V
V F F
F V F
F f F
Nota: tabla de verdad de conjunción (armando rojo.1996. algebra I. editorial EL ATENEO)
La tabla que define la operación establece que la conjunción sólo es verdadera si lo son las
dos proposiciones componentes. En todo otro caso es falsa.
2.2.4.3. Disyunción
Definición
Disyunción de las proposiciones p y q es la proposición p v q (p o q) cuya tabla de valores de
verdad es
Tabla 3 Tabla de verdad de disyunción
p q pvq
V V V
V F V
F V V
F F F
Nota: tabla de verdad de la conjunción (armando rojo.1996. algebra I. editorial EL ATENEO)
La conjunción o es utilizada en sentido incluyente, ya que la verdad de la disyunción se da en el

caso de que al menos una de las proposiciones sea V. en el lenguaje ordinario la palabra o es
utilizada en sentido excluyente o incluyente. La ambigüedad se elimina con la elección del
símbolo adecuado. En matemática se utiliza la disyunción definida por la tabla precedente la
cual agota toda posibilidad.
La disyunción sólo es F en el caso en que las dos proposiciones componentes sean falsas.
2.2.4.4. Implicación o Condicional
Definición
Implicación de las proposiciones p y q es la proposición p => q (p implica q, si p entonces q)
cuya tabla de valores de verdad es:
Tabla 4 Tabla de verdad de implicación o condicional
p q p=>q
V V V
V F F
F V V
F f V
Nota: tabla de verdad de la implicación o condicional (armando rojo.1996. algebra I. editorial EL ATENEO)
Las proposiciones p y q se llaman antecedente y consecuente de la implicación o condicional.

La implicación usual en matemática es formal en el sentido de que no es necesario que el
consecuente se derive lógicamente del antecedente; cuando, esto ocurre, la implicación se llama
material y queda incluida en la primera. Las tablas de valores de verdad se definen
arbitrariamente, pero respetando el sentido común. Enunciamos la siguiente proposición:
"SI apruebo el examen, ENTONCES te presto el apunte" (1)
Se trata de la implicación de las proposiciones
p apruebo el examen
q: te presto el apunte
Interesa inducir la verdad o falsedad de la implicación (1), en términos de la V o F de las
proposiciones p y q. El enunciado (1) puede pensarse como un compromiso, condicionado por p,
y podemos asociar su verdad al cumplimiento del compromiso. Es obvio que si p es F, es decir,
si no apruebo el examen, quedo liberado del compromiso, y preste o no preste ej. Apunte la
proposición (1) es V. Es decir, si el antecedente es F, la implicación es V. Si p es V, en cuyo caso
apruebo el examen, y no presto el apunte, el compromiso no se cumple, y la proposición (1) es
entonces F. Si p y q son V, entonces la implicación es V porque el compromiso se cumple.
De este modo, la implicación sólo es falsa cuando el antecedente es V y el Consecuentes F.
2.2.4.5. Doble implicación o Incondicional
Definición
Doble implicación de las proposiciones p y q es la proposición p sólo si q), cuya tabla de
valores de verdad es
Tabla 5 Tabla de verdad de la doble implicación o incondicional
p Q P<=>q
V V V
V F F
F V F
F F V
Nota: tabla de verdad de doble implicación o incondicional (armando rojo.1996. algebra I. editorial EL ATENEO)
La doble implicación o bicondicional sólo es verdadera si ambas proposiciones tienen el

mismo valor de verdad.
La doble implicación puede definirse como la conjunción de una implicación y su recíproca.
De este modo, la tabla de valores de verdad de p  q, puede obtenerse .mediante la tabla de (p
=> q) ˄ (q=> p), como sigue
Tabla 6
Tabla de valores de verdad de p  q
p Q (p=>q) (q=>p) (p => q) ˄(q=> p)

V V V V V
V F F V F
F V V F F
f f v v V
Nota: tabla de valores de verdad de p q (armando rojo.1996. algebra I. editorial EL ATENEO)
2.2.4.6. Diferencia simétrica

Definición
Diferencia simétrica o disyunción excluyente de las proposiciones p y q es la proposición
p v q (p o q, en sentido excluyente) cuya tabla de valores de verdad es
Tabla 7 tabla de verdad de diferencia simétrica
p q Pvq
V V F
V F V
F V V
F F F
Nota: tabla de verdad de diferencia simétrica (armando rojo.1996. algebra I. editorial EL ATENEO)
La verdad de p v q está caracterizada por la verdad de una y sólo una de las proposiciones
componentes. Es claro que p v q equivale a la negación de p  q.
2.2.5. CONDICIONES NECESARIAS Y SUFICIENTES
Consideramos la tabla de valores de verdad de la implicación
Tabla 8 Tabla de verdad de implicación
p Q P =>q
V V V
V F F
F V V
F F V
Nota: tabla de verdad de implicación (armando rojo.1996. algebra I. editorial EL ATENEO)
Hay tres casos en que p => q es V, y entre ellos hay uno en que p es V, en el cual resulta q
verdadera. Es obvio que nos referimos al primer renglón de la tabla y se tiene que si p => q es V
y p es V, entonces q es V, Se dice entonces que el antecedente p es condición suficiente para el
consecuente q.
En cambio, si P es F, nada podemos decir de q, puesto que puede ser V o F. Por otra parte,
cuando p => q es V, si q es V, entonces p puede ser V o F más para que p sea V se necesita que q
lo sea, Se dice entonces que q es condición necesaria para p.
Resumiendo, si p => q es V, entonces p es condición suficiente para q y q es condición
necesaria para p. Estas condiciones suelen expresarse así:
q si p (condición suficiente)
p sólo si q (condición necesaria)
2.2.6. LEYES LOGICAS
Consideremos la proposición
[(p =>q) ᴧ p]=>q
Cuya tabla de valores de verdad es:
Tabla 9Tabla con valores de verdad

p Q P=>q (p =>q) ᴧ p [(p =>q) ᴧ p]=>q
V V V V V
V F F F V
F V V F V
F F v f v
Nota: tabla con valores de verdad de [(p =>q) ᴧ p]=>q (armando rojo.1996. algebra I. editorial EL ATENEO)
La proposición compuesta (1) es V, independientemente de los valores de verdad de las

proposiciones componentes. Se debe entonces que tal proposición es una tautología o ley lógica
La proposición p => p es V cualquiera que sea el valor de verdad de p. Es otro ejemplo de
una ley lógica
En cambio p ˄~p es F, cualquiera que sea p. Se dice que es una contradicción.
En el cálculo preposicional se utilizan las siguientes leyes o tautologías cuya demostración se
reduce a la confección de la correspondiente tabla de valores de verdad:
2.2.6.1 Involución
~ (~p) p
Ecuación 1. Representación de la involución (rojo.1996)
El modo de leerla es: "no, no p, equivale a p".

2.2.6.2 Idempotencia
(p ᴧ p) p
(p v p)  P
Ecuacion2. Representación de la Idempotencia (rojo, 1996)
2.2.6.3. Conmutatividad
a) de la disyunción pvqqvp
b) de la conjunción p ˄ q q ᴧ p
Ecuacion3.Representacion de la conmutatividad (rojo, 1996)
2.2.6.4. Asociatividad
a) de la disyunción
(p v q) v r  p v (q v r)
b) De la conjunción
(p˄q) r  p ᴧ (q˄ r)
Ecuación 4. Representación de la Asociatividad (rojo, 1996)
2.2.6.5 Distríbutividad
a) de la conjunción respecto de la disyunción
(p v q) ᴧ r  (p ˄ r) v (q ᴧ r)
b) de la disyunción respecto de la conjunción
(p ᴧ q) v r  (p v r) ˄ (q v r)
Ecuación 5.Representacion de la Distributividad (rojo, 1996)
2.2.6.6. Leyes de Morgan

a) La negación de una disyunción es equivalente a la conjunción de las negaciones
~ (p v q) ~p ᴧ ~q
b) La negación de una conjunción es equivalente a la disyunción de las negaciones
~ (p ˄ q) ~p v ~q (Armando o. rojo, 1996)
Ecuación 6. Representación de leyes de Morgan (rojo, 1996)
2.7 Implicaciones Asociadas
Sea el condicional p => q, que llamamos directo; en conexión con él, se presentan otros tres,
obtenidos por permutaciones o negaciones del antecedente y consecuente:
q => p recíproco
~ p => ~ q contrario
~q => ~ p contra reciproco
Las cuatro implicaciones propuestas se llaman conjugadas, y cualquiera de ellas puede
tomarse como directa.
Es fácil verificar que las implicaciones contra recíprocas son equivalentes, es decir, los
siguientes bicondicionales son tautologías
(p => q) (~q => ~p)
(q=>p)(~p=>~q)
Si la implicación directa es V, también lo es la contra recíproca, y no podemos afirmar la

verdad de la recíproca o de la contraria, Pero si son verdaderos un condicional y su recíproco o
contrario, entonces son verdaderos los cuatro, y las proposiciones antecedente y consecuente son
equivalentes.
Se presenta continuamente la necesidad de demostrar la verdad de p =>q, y de acuerdo con lo
expuesto se presentan dos métodos:
i) directo. Si p es F, nada hay que probar, pues en este caso p => q es V. Si p es V hay que
establecer que el valor de verdad de q es V.
ii) indirecto. Si q es V queda establecida la verdad de p => q. Pero si q es F hay que examinar
p y llegar a establecer que su valor de verdad es F. (Armando o. rojo, 1996)
2.2.7. NEGACION DE UNA IMPLICACION
Las proposiciones p => q y ~ (p ᴧ~q) son equivalentes, como lo muestra la siguiente tabla
Tabla 10 Tabla con valores de verdad
(p => q)  ~ (p ˄ ~q)
V V V V V V F F
V F F V F V V V
F V V V V F F F
F V F V V F F V
Nota: tabla con valores de verdad de p => q y ~ (p ᴧ~q) (armando rojo.1996. algebra I. editorial EL ATENEO)
En consecuencia, la negación de la primera equivale a la negación de la segunda, es decir

~ (p => q) ~ [~ (pᴧ~q)]
Y por 1.6.1, se tiene

~ (p => q) (p ˄ ~q)
Es decir, la negación de una implicación no es una implicación, sino la conjunción del
antecedente con la negación del consecuente.
2.2.8. RAZONAMIENTO DEDUCTIVO VALIDO
En matemática interesa el tipo de razonamiento llamado deductivo. Llamamos razonamiento
a un par ordenado ({Pi}; q), siendo {Pi} un conjunto finito de proposiciones, llamadas premisas,
y q una proposición, llamada conclusión, respecto de la cual se afirma que deriva de las
premisas. Un razonamiento es deductivo si y sólo si las premisas son evidencias de la verdad de
la conclusión, es decir, si P1, P2…. Pn son verdaderas, entonces q verdadera. Un razonamiento
deductivo es válido si no es posible que las premisas sean verdaderas y la conclusión falsa. De
un razonamiento no se dice que es V o F, sino que es válido o no.
Llamamos regla de inferencia, a todo esquema válido de razonamiento, independientemente
de la V o F de las proposiciones componentes. De este modo, toda regla de inferencia es
tautológica.
Un razonamiento deductivo es válido cuando el condicional cuyo antecedente es la
conjunción de las premisas, y el consecuente es la conclusión, es tautológico. Son ejemplos de
reglas de inferencia:
a) Ley del modus ponens:
SI p y p => q, ENTONCES q
La notación clásica es
P
P => q
q
b) Ley del modus tolcns:

p=>q
~q
~P
Este esquema es la notación clásica del condicional
[(p=>q) ᴧ ~q]=> ~p
c) Ley del silogismo hipotético:
p =>q
q=>r
p=>r
Es decir, la proposición [(p => q) ˄ (q => r)] => (p => r) es una tautología.
En cambio, el condicional [(p => q) ᴧ q] => p no es una forma válida de razonamiento, ya que
la correspondiente tabla de valores de verdad nos muestra que no es tautológico.
2.2.9 FUNCIONES PROPOSICIONALES. SU CUANTIFICACION
E1 símbolo P (x) es la representación de un predicado o propiedad relativos al objeto
indeterminado x, perteneciente a cierto universo o conjunto. Si nos referimos a los números
enteros y estamos interesados en la propiedad de ser impar, entonces la traducción de P (x)
consiste en: x es impar, y se escribe
P (x): x es impar
Es claro que el enunciado: "x es impar" no es una proposición, ya que a menos que se
especifique a x no podemos decir nada acerca de su verdad o falsedad. Ocurre, sin embargo, que
para cada asignación dada al sujeto x dicho enunciado es una proposición. A expresiones de este
tipo se las llama funciones o esquemas preposicionales.
Definición
Función proposicional en una variable o indeterminada x es toda oración en la que figura x como
sujeto u objeto directo, la cual se convierte en proposición para cada especificación de x. En
nuestro ejemplo resultan proposiciones ‘como
P (— 4). — 4 es impar (F)
P (5): 5 es impar (V), etc.
2.3CONJUNTOS:
El propósito de esta sección es el estudio de la teoría intuitiva de conjuntos. En este sentido,
los términos “conjuntos”, “pertenencia” y “elemento” son considerados como primitivos. El
mismo tratamiento se hace corresponder a las operaciones entre conjuntos. El capítulo se
completa con el desarrollo de ejemplos en los que se pretende mostrar un método adecuado de
trabajo. (Rojo, 1996).
La idea de conjuntos es que se trata de una colección, reunión o agrupación de los objetos
cualesquiera, estos objetos se llaman ELEMENTOS DEL CONJUNTO. (Chungara, 2012).
2.3.1 DETERMINACION DE CONJUNTOS:
2.3.2 Notaciones:
(Armando Rojo, 1996). Para denotar conjuntos utilizaremos generalmente letras mayúsculas,
y para denotar elementos se utilizaran letras minúsculas, a menos que dichos elementos sean, a
su vez, conjuntos. Para indicar la pertenencia de un elemento a un conjunto será utilizado el
símbolo ∈.
La proporción “a ∈ A” se lee: “a pertenece a A”, o bien “el elemento a pertenece al conjunto
A”
Su negación es “a ∉ A”, que se lee: “a no pertenece a A”.
Si el conjunto A está formado por los elementos a, b y c, escribimos
A = {a, b, c}
En este caso se nombran todos los elementos del conjunto, y se dice que está determinado por
extensión.
Las notaciones usuales para caracterizar conjuntos numéricos son las siguientes
N conjunto de números naturales
Z conjunto de los números enteros
Q conjunto de los números racionales
R conjunto de los números reales
C conjunto de los números complejos
2.3.3CONJUNTO UNIVERSO Y VACIO:
2.3.4Conjunto universo:
Cuando se analizan conjuntos que contienen elementos de determinadas características, suele
precisarse un conjunto de referencia que contenga a todos esos elementos, tal como se llama:
CONJUNTO UNIVERSO. Se representa por: Se representa por: “U”.
Dependiendo de su tipo o clase, un conjunto tendrá siempre un conjunto universo, ya que se
considera que todo conjunto es subconjunto de un conjunto universo.
El universo puede ser un conjunto finito o infinito. (Chungara, 2012)
2.3.5Conjunto vacío:
El conjunto que carece de elementos se llama CONJUNTO VACIO, se representa por: Ø; o también por:
{}; el conjunto vacío es el subconjunto de todos los conjuntos. (La simbología {Ø} no representa al
conjunto vacío). (Chungara, 2012)
2.3.6 DIAGRAMAS DE VENN:
(Rojo, 2009). Una forma frecuente de representar un conjunto es mediante un óvalo, una porción del
plano con forma más o menos redondeada. En la figura adjunta de muestra un ejemplo. Al meter al
conjunto B dentro de A se quiere indicar que B ⊂ A. El complementario de B respecto de A es la parte de
A que no es B. Si al conjunto total (el todo) se le llama E, que suele representarse mediante un
rectángulo, los conjuntos B y Bc, complementarios uno del otro en E, se representan como se indican en
la figura adjunta:
Figura 1.representacion de Diagramas de Venn (Rojo. 2009)
2.3.7 SUBCONJUNTOS:
(Chungara, 2012). Un subconjunto de A es cualquier conjunto formado por cualquier número de
elementos de A. Entre los subconjuntos de A se incluyen el conjunto ∅ y el mismo A. Para indicar que B
es un subconjunto de A se escribe B ⊂ A; y también se lee “B está contenido en A”. Por los dicho antes, ∅
⊂ A y A ⊂ A. El símbolo ⊂ puede leerse al revés: ⊃. Esto es, B ⊂ A es lo mismo que A ⊃ B. (La parte
abierta señala al conjunto mayor.) No debe escribirse B ∈ A para indicar la relación B ⊂ A. En cambio, si a
∈ A puede escribirse {a} ⊂ A. Al meter el elemento a entre llaves se considera el conjunto unitario {a}. Si
un conjunto C no es subconjunto de A se escribe C ⊄ A.
Un conjunto tiene muchos subconjuntos. Hay subconjuntos con un solo elemento, que podrían llamarse
subconjuntos elementales; subconjuntos con dos elementos; etc. (Puede demostrase que si un conjunto
A tiene n elementos, el número de subconjuntos de A es 2n, incluyendo el vacío y el mismo A.)
La relación de contenido cumple las propiedades siguientes.
1. Si C ⊂ B y B ⊂ A ⇒ C ⊂ A.
2. Si A ⊂ B y B ⊂ A ⇒ A = B.
3. Para todo conjunto A, ∅ ⊂ A.
2.3.8 COMPLEMENTO DE UN CONJUNTO:

(Rojo, 1996) El complemento de un conjunto o conjunto complementario es otro conjunto que
contiene todos los elementos que no están en el conjunto original. Para poder definirlo es necesario
especificar qué tipo de elementos se están utilizando, o de otro modo, cuál es el conjunto universal. Por
ejemplo, si se habla de números naturales, el complementario del conjunto de los números primos P es
el conjunto de los números no primos C, que está formado por los números compuestos y el 1:
P= {2, 3, 5, 7,…}
C= {1, 4, 6, 8, 9,…}
A su vez, el conjunto C es el complementario de P. El conjunto complementario se denota por
una barra horizontal o por el superíndice «∁», por lo que se tiene: P∁ = C, y también C = P.
El conjunto complementario de A es la diferencia (o complementario relativo) entre el
conjunto universal y A, por lo que ambas operaciones (complementario y diferencia) tienen
propiedades similares.
DEFINICION
Dado un conjunto A, su complementario es el conjunto formado por los elementos que no
pertenecen a A:
El complementario de A es otro conjunto A∁ cuyos elementos son todos aquellos que no
están en A:
X ∈ Ac si y solo si X ∉ A
Ecuación 1.Representacion del complemento (rojo, 1996)
Esta definición presupone que se ha especificado un conjunto universal U, pues de otro modo,
en la afirmación «todos los x que no están en A», la palabra «todos» es ambigua. Si se menciona
explícitamente el conjunto universal U, entonces el complementario de A es el conjunto de todos
los elementos de U que no están en A, por lo que la relación con la diferencia es clara:
Ac=U/A
Ecuación 2. Representación del complemento (rojo.1996)
Por otro lado, considerando un conjunto universal, la diferencia entre dos conjuntos puede
expresarse utilizando la noción de complementariedad:
A/B=A ∩ Bc.
Ecuación 3.Representacion del complemento (rojo, 1996)
2.3.9 OPERACIONES DE CONJUNTOS:
Así como pueden definirse diversas operaciones entre números, también existen operaciones
entre conjuntos. El resultado de una operación entre conjuntos es a su vez un conjunto. Fijemos
un conjunto universal U y consideremos todos los subconjuntos de U. Entre estos conjuntos
están definidas las operaciones de unión, intersección y diferencia. Además, para cada conjunto
se define el complemento. El resultado de cada una de estas operaciones es un subconjunto de
U. (Rojo, 1996)
2.3.10 La unión de conjuntos:
(Chungara, 2012). Sean A y B dos conjuntos
La unión A ∪ B de A con B es el conjunto cuyos elementos pertenecen a A o pertenecen a B.
Por comprensión, la unión entre los conjuntos A y B se define así:
A ∪ B = {x / x ∈ A o x ∈ B}.
Ecuación 4. Representación de la unión de conjuntos (Chungara, 2012)
En particular, A y B son subconjuntos de A ∪ B, pues todos los elementos de A y todos los

elementos de B pertenecen a A ∪ B.
En un diagrama de Venn representamos la unión de dos conjuntos sombreando el área que

cubren ambos conjuntos
Figura 2.Representacion Operaciones con Conjuntos (chungara, 2012)
La unión de un conjunto A con el conjunto vacío es el mismo conjunto A, puesto que ∅ no

tiene elementos:
A ∪ ∅ = A.
Ecuación 5. Representación del conjunto vacío (chungara, 2012)
La unión de un conjunto A con A es el mismo conjunto A:
A ∪ A = A.
Ecuación 6. Representación de la unión (chungara, 2012)
2.3.11 La intersección
(Chungara, 2012). Sean A y B dos conjuntos:
La intersección A ∩ B entre A y B es el conjunto cuyos elementos pertenecen a A y
pertenecen a B.
Por comprensión, la intersección de los conjuntos A y B se define como:
A ∩ B = {x / x ∈ A y x ∈ B}.
Ecuación 7.Representacion de intersección (chungara, 2012)
EJEMPLO La intersección del intervalo (0, 1) con el conjunto {0, 1} no tiene elementos, es
decir, es el conjunto vacío:
(0, 1) ∩ {0, 1} = ∅
Es decir que (0, 1) y {0, 1} son conjuntos disjuntos.
En particular, dos conjuntos son disjuntos si y solo si su intersección es vacía. En un diagrama
de Venn la intersección de dos conjuntos se representa por la región que está determinada por el
interior de las curvas cerradas que determinan los conjuntos. Esta región se la destaca con un
sombreado. Obsérvese que la intersección de dos conjuntos es vacía si y solo si no hay
elementos comunes entre ellos. Esto se grafica con dos curvas cerradas que no se cortan.
Figura 3.
Representación de la Intersección
(Chungara, 2012)
2.3.12
Complemento de un
conjunto:
(Chungara, 2012).
Fijemos U un conjunto
universal y A un
subconjunto de U.
El
complemento de A con
respecto a U es el conjunto cuyos elementos son todos los elementos de U que no pertenecen a A
y se denota por Ac.
En símbolos,
A c = {x ∈ U / x 6∈ A}.
Ecuación 8.Representacion del complemento (chungara, 2012)
En un diagrama de Venn el complemento de A es la región exterior de la curva cerrada que

determina A y lo destacamos con un subrayado o sombreado.
Figura43. Representación del Complemento de un conjunto (Chungara, 2012)
2.3.13 Diferencia:
(Rojo, 1996). Sean A y B dos conjuntos.
La diferencia o complemento relativo A − B entre A y B es el conjunto de todos los elementos
que pertenecen a A y no pertenecen a B.
A − B = {x / x ∈ A y x 6∈ B}
Ecuación 9. Representación de la diferencia (rojo, 1996)
Observemos que A c = U − A. En un diagrama de Venn representamos la diferencia entre los

conjuntos A y B, destacando la región que es interior a A y exterior a B.
Diferencia entre el conjunto A y el conjunto B.

Figura 4. Representación de la diferencia de conjuntos (Rojo, 1996)
2.3.14 La diferencia simétrica:

(Chungara, 2012). Sean A y B dos conjuntos.
La diferencia simétrica entre dos conjuntos: A, B, es una operación que determina otro
conjunto, formado por los elementos tanto de: A como de: B, pero no por lo que son comunes a
ambos. La notación y la definición de la diferencia simétrica es:
A  B= {x/ (x∈ A ^ x ∉ B) V (x ∉ A ^ x ∈ B)}
Ecuación 10.Representacion de la diferencia simétrica (chungara, 2012)
En el diagrama de VENN la diferencia simétrica puede representarse por la parte marcada.

La diferencia simétrica está formada por todos los elementos de A como los de B, descartando
a los que son comunes.
Figura 5.Representacion de diferencia simétrica (Chungara, 2012)
2.3.15 Propiedades de las operaciones:

(Rojo, 1996). Resumimos a continuación las propiedades que cumplen las operaciones de
unión, intersección y complementación:
Propiedad conmutativa
A∪B=B∪A
A ∩ B = B ∩ A.
Ecuación 11.Representacion de la propiedad conmutativa (rojo, 1996)
Propiedad asociativa
(A ∪ B) ∪ C = A ∪ (B ∪ C)
(A ∩ B) ∩ C = A ∩ (B ∩ C)
Ecuación 12. Representación de la propiedad asociativa (rojo, 1996)
Propiedad distributiva
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
Ecuación 13. Representación de la propiedad distributiva (rojo, 1996)
Leyes de Morgan
(A ∪ B) c = A c ∩ B c
(A ∩ B) c = A c ∪ B c.
Ecuación 14.Represenatcion de la ley de Morgan (rojo, 1996)
Capítulo III. Planteamiento del problema
¿Cuál es la manera más fácil de responder los problemas de algebra I sin el uso del método
tradicional?
RESPUESTA: Usando las TIC`s. Para la resolución de problemas en algebra I
Capítulo IV. Objetivos
4.1 Objetivo General:
Dar a conocer que los programas para la resolución de problemas, también es posible con el uso
de las TIC`s
4.2 Objetivos Específicos:
Plantear la metodología de sistemas de ecuaciones.
Plantear la metodología de lógica.
Plantear la metodología de conjuntos.
Capítulo V. Metodología
-Se basa en el método deductivo, el uso de las TIC`s y así facilitar los problemas de algebra I
Capítulo VI. Resultados
6.1 Método para resolver sistemas de ecuaciones
RESULTADOS
LISTA DE PROGRAMAS
Tabla 11 lista de programas
analLogica Crea ejercicios de lógica y tablas de
verdad , es una aplicación diseñada para
generar tablas lógicas a partir de
proposiciones lógicas verificar
equivalencias o valores lógicos inversos
Es posible guardar los resultados en
archivos de texto (*.txt) en plantillas de
cálculo (*.csv para abrir con Excel y
openoffice )el programa admite hasta 15
variables diferentes asimismo analLogica
muestra los remplazos realizados paso a
paso para el análisis
Multisim En el convertidor lógico en multisim
se puede realizar varias transformaciones
de un circuito o señal digital. puede crear
una tabla de verdad o expresión booleana
Calculadora lógica Es una aplicación que permite saber el
valor de verdad de una proposición lógica
de 2 maneras distintas :
Permite ingresar los valores de verdad
individuales de las variables para entregar
un valor de verdad total de la proposición
en su totalidad o permite ingresar la
proposición lógica a procesar y entrega
una tabla de verdad con todas las
combinaciones posibles de acuerdo a la
cantidad de variables de la proposición
además se puede mostrar los pasos
realizados
Los símbolos y variables que admite el
programa son:
-Paréntesis
-Operador de negación representada por
(NEGACION ¬)
-Conjunción representado por (AND ᴧ )
-Disyunción representada por ( OR V )
-Implicación representada por
(IMPLICACION => )
-Doble implicación representada por
(BICONDICIONAL )
Diferencia simétrica representada por
(XOR V )
Las variables lógicas están
representadas por las letras mayúsculas
P,Q,R,S,T y U
Esta aplicación tiene hasta 6 variables
disponibles posee la posibilidad de usar
paréntesis, corchetes y llaves una
demostración del cálculo por pasos una
tabla de verdad detallada de las
operaciones
Nota: lista de programas (elaboración propia)
PARA LA DEMOSTRACION DE LA EFICACIA DEL PROGRAMA, SE PLANTEA

EL SIGUIENTE EJERCICIO:
Para la demostración y eficacia del programa se plantearan diferentes proposiciones y se
realizaran por el método tradicional y utilizando el programa calculadora lógica
Tabla 12 tabla de comparacion
Método tradicional Usando el programa calculadora
lógica
Ejercicio 1
Título: El Uso
En este de laspodemos
ejercicio TIC’s para la resolución
observar que la de problemas de Algebra I
proposición [(p=>q)ᴧp]=>q y mediante las
tablas de verdad es verdadero para lo cual se
realizaron diferentes pasos
1.primeramente se ponen los valores de p y
q
2.segundo empezamos desde los paréntesis
donde esta (p=>q)se realiza la operación de
implicación
3.tercero seguimos con la operación de
conjunción con los valores de (p=>q) y los
valores de p
4.cuarto seguimos con la operación de
implicación con los valores de [(p=>q)ᴧp] y
los valores de q
Tabla 12 tabla con valores de verdad Figura 1 (elaboración propia)
p q p=>q (p=>q)˄p [(p=>q)ᴧp]=>q Paso 1. Ingresamos al programa
V V v V V presionando el icono del programa como se
V F f F V muestra en la figura 1
F V v F V
f f v F v
Nota: tabla con valores de verdad de [(p =>q) ᴧ p]=>q
( armando rojo.1996. algebra I. editorial EL ATENEO)
Figura 2 (elaboración propia)

Paso2. Una vez ingresado al programa
presionamos la pestaña que se señala en la
figura 2 para ver las opciones para calcular
las proposiciones
Nota: tabla de comparación entre el método tradicional y usando el programa calculadora logica (elaboración
propia )
Paso 1 Paso 1
Plantamiento del problema Abrimos el programa Diagrama de
ven
Paso 2
Identeficar y analisar el problema
Paso 2
Ingresar el problema al programa
paso 3 Paso 3
Ya tenemos el problema resuelto una ves ingresado el problema
Manual lo damos clic al signo igual
Paso 4
Paso 4
Comparacion del problema manual en si el programa si funciona
Con el problema resuelto por el para los problemas
funciones de de conjuntos
Programa diagrama de ven
Paso 1 Paso 1
Plantamiento del problema Abrimos el programa Diagrama de ven
Paso 2
Paso 2
Ingresamos
problema al programa
Paso 3 Paso 3
Manualmente lo damos clic al signo igual
Paso 4 Paso 4
Comparacion del problema manual en si el programa si funciona
Con el problema resuelto por el para los problemas de
Programa diagrama de ven conjuntos
Paso 1 Paso 1
Plantamiento del problema Abrimos el programa Diagrama de ven
Paso2
Paso 2
Ingresar el problema al programa
Paso 3 Paso 3
Manualmente lo damos clic al signno igual
Paso 4 Paso 4
Comparacion del problema manual en si el programa si funciona para
Con el problema resuelto por el los problemas de funciones
Programa diagrama de ven
PHOTOMATH
ANALOGICO
Paso 1
Abrir el programa de ecuaciones
Paso 3
Ingresamos al icono de instrucción para
ver como se maneja el programa
Paso 3
Ejemplos de instrucción q la cámara tiene
Paso 4
Ingresamos la ecuacion al programa ,
Capturamos el procedimiento
Paso 5
verificar la ecuacion
Capitulo VII. Conclusiones
El uso de las TIC´s nos facilitan la resolución de problemas de álgebra I, sin embargo estas
aplicaciones son solo para celular, a un principio son complicadas de comprender, pero con el
uso de las TIC’s se facilita la resolución de problemas de algebra I.
En el programa photo math encontramos que resuelve todo tipos ecuaciones de la forma
lineal excepto el planteamiento de ecuaciones en problemas lógicos.
En el programa de calculadora lógica no se puede simplificar proposiciones, y encontrar los
valores de verdad en algunos casos especiales como el ejercicio 4 de la tabla 12, como se
observa en la tabla entre el tradicional y del programa con los tres primeros ejercicios se pueden
verificar la eficacia ya que ambos métodos los resultados son iguales.
En el programa Venn Diagrama para conjuntos se encontró el siguiente problema este
programa puede resolver todoas las operaciones de conjuntos no asi de la diferencia simétrica ya
que este programa no contiene el símbolo de diferencia simétrica.
Asi mismo este programa nos sirve para los demás problemas de conjuntos y los resuelve sin
ningún problema.
Capitulo VIII. Recomendaciones
El problema photomath resuelve todas las ecuaciones, pero se recomienda al lector primero
hacer los problemas en el método tradicional también se recomienda averiguar otro programas.
El programa calculadora lógica es rebuscada ya que por eficacia facilita los problemas de
lógica se recomienda al lector averiguar más sobre estos programas.
El programa ven diagramas se averiguo que puede resolver todos las operaciones de
conjuntos y no las diferencias simétricas, se recomienda al lector averiguar otros programas que
resuelvan diferencia simetría y que contengan el símbolo de diferencia simétrica
Bibliografía
DR. Aurelio Baldor (1995) Editorial y distribuidora de textos americanos S.A (CCEDTA)
Armando Rojo (1996) Algebra I -18ª.Ed.Buenos Aires: Ateneo, 1996
Víctor Chungara Castro (2012) Editorial “Leonardo”

ALgebra III

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

ALgebra III

Hochgeladen von

Copyright:

Verfügbare Formate

FICHA DE IDENTIFICACIÓN DE TRABAJO DE INVESTIGACIÓN

El Uso de las TIC’s para la resolución de problemas de Algebra I

Carrera Ingeniería en Gas y Petróleo

Palabras clave: Lógica, Ecuación, Proposiciones, Conjuntos

Key words: Logic, equations, proposition, conjunct

2.2.5 Condiciones nesesarias y suficientes..................................................................................

Aquí debe generar el índice de tablas y cuadros

Tabla 1 Proposicion de Verdad......................................................................................................

A diferencia de la aritmética elemental, que trata de números y las operaciones

Capítulo II. Marco Teórico

2.1 Sistemas de Ecuaciones

2.1.1 Ecuaciones de primer grado con una incógnita

Ecuación 1. Representación de la ecuación I (Baldor, año1995)

Ecuación 3. Representación de la ecuación III (Baldor, año1995)

2.1.1.6 Clases de ecuaciones

2.1.1.6.2 Ecuación Literal

Ecuación 5. Representación de la ecuación V (Baldor, año1995)

2.1.1.6.3 Ecuación Entera

Ecuación 6. Representación de la ecuación VI (Baldor, 1995)

2.1.1.6.4 Ecuación Fraccionaria

3/2 x +2/3 a = 5/7 b – b/5 x

2.1.1.11 Transposición de términos

10 (x – 9)+ 2{3x + 2[2-(3+4)]} = 2(4x) +3x

2.1.1.12 Ecuación Simultánea

2.1.1.13 Ecuación Incompatible

2.1.1.14 Ecuaciones de primer grado con dos o más incógnitas

2.1.1.14.3 Método de Igualación

3) Se calcula el valor de la incógnita sustituyendo la ya hallada en una de las ecuaciones

2.2 NOCIONES DE LOGICA

Conectivo Operación asociada significado

/ Conjunción o producto lógico pyq

2.2.4 OPERACIONES PROPOSICIONALES

Nota: tabla de verdad de conjunción (armando rojo.1996. algebra I. editorial EL ATENEO)

Tabla 3 Tabla de verdad de disyunción

La conjunción o es utilizada en sentido incluyente, ya que la verdad de la disyunción se da en el

Las proposiciones p y q se llaman antecedente y consecuente de la implicación o condicional.

La doble implicación o bicondicional sólo es verdadera si ambas proposiciones tienen el

p Q (p=>q) (q=>p) (p => q) ˄(q=> p)

Nota: tabla de valores de verdad de p q (armando rojo.1996. algebra I. editorial EL ATENEO)

2.2.4.6. Diferencia simétrica

Tabla 7 tabla de verdad de diferencia simétrica

Nota: tabla de verdad de implicación (armando rojo.1996. algebra I. editorial EL ATENEO)

Tabla 9Tabla con valores de verdad

La proposición compuesta (1) es V, independientemente de los valores de verdad de las

El modo de leerla es: "no, no p, equivale a p".

2.2.6.6. Leyes de Morgan

2.7 Implicaciones Asociadas

Si la implicación directa es V, también lo es la contra recíproca, y no podemos afirmar la

En consecuencia, la negación de la primera equivale a la negación de la segunda, es decir

Y por 1.6.1, se tiene

b) Ley del modus tolcns:

Figura 1.representacion de Diagramas de Venn (Rojo. 2009)

2.3.8 COMPLEMENTO DE UN CONJUNTO:

2.3.9 OPERACIONES DE CONJUNTOS:

2.3.10 La unión de conjuntos:

(Chungara, 2012). Sean A y B dos conjuntos

La unión A ∪ B de A con B es el conjunto cuyos elementos pertenecen a A o pertenecen a B.

Por comprensión, la unión entre los conjuntos A y B se define así:

En particular, A y B son subconjuntos de A ∪ B, pues todos los elementos de A y todos los

En un diagrama de Venn representamos la unión de dos conjuntos sombreando el área que

Figura 2.Representacion Operaciones con Conjuntos (chungara, 2012)

La unión de un conjunto A con el conjunto vacío es el mismo conjunto A, puesto que ∅ no

La unión de un conjunto A con A es el mismo conjunto A:

En un diagrama de Venn el complemento de A es la región exterior de la curva cerrada que