UNIVERSIDAD NACIONAL

SAN ANTONIO ABAD DEL

CUSCO
FACULTAD DE EDUCACIÓN
ESCUELA PROFESIONAL DE
EDUCACIÓN

ALGEBRA I

DOCENTE: HUAMAN HUAYTA DIEGO

ESTANISLAO

ESTUDIANTE: ELIZABETH
VALENTINA CCOA LUNA
CÓDIGO: 182192

CUSCO-PERÚ
2023
 MISIÓN
“Brindar formación profesional científica, tecnológica y humanística de calidad,
a los estudiantes universitarios, con valores y principios y responsabilidad social;
afirmando la interculturalidad, reconociendo la diversidad natural, cultural y
fortaleciendo nuestra identidad andinoamazónica”.

VISIÓN
“Los peruanos acceden a una educación que les permite desarrollar su potencial
desde la primera infancia y convertirse en ciudadanos que valoran su cultura,
conocen sus derechos y responsabilidades, desarrollan sus talentos y participan
de manera innovadora, competitiva y comprometida en las dinámicas sociales,
contribuyendo al desarrollo de sus comunidades y del país en su conjunto”.
 INTRODUCCIÓN
.La lógica de predicados te permite ayudar a entender mejor las relaciones entre
diferentes cosas y propiedades. Es decir, te permite explorar ideas más complicadas
que simplemente decir si algo es verdadero o falso.

.-Las definiciones son como las instrucciones para entender algo. Pueden ser fáciles de
seguir o más complicadas, según lo que necesites.

.-La sintaxis en matemáticas es básicamente un conjunto de reglas que te dice cómo

escribir correctamente expresiones matemáticas. En el caso de la lógica de predicados,
se trata de las reglas que te indican cómo usar símbolos como variables, predicados,
cuantificadores y conectivas lógicas para crear fórmulas.

}
 ÍNDICE
1. LOGICA DE PREDICADOS
1.1. DEFINICIÓN
2. ¿QUE ES UNA DEFINICIÓN EN MATEMATICAS?
2.1. PARTES
2.2. TIPOS
3. SINTAXIS Y SEMANTICA EN MATEMATICA
3.1. SINTAXIS
3.2. SEMANTICA
1. LOGICA DE PREDICADOS
1.1. DEFINICION: Un lenguaje para la lógica de predicados, en forma
similar al caso anterior, consiste en constantes lógicas, variables
lógicas y símbolos auxiliares. Entre las constantes lógicas están las
familiares y entre los signos auxiliares también se encuentran los
paréntesis, pero ambas categorías se expandirán mediante la
introducción de varios símbolos nuevos. Las letras proposicionales
no aparecen porque que en lógica de predicados las afirmaciones
simples son sometidas a un análisis más profundo. Las afirmaciones
simples en que estamos pensando son, en primer lugar, afirmaciones
individuales con una clara estructura sujeto-predicado, como:
1 Platón es un hombre.
2 Sócrates es mortal.
3 La gallina está cacareando.
4 Esta tetera gotea.

Cada una de estas oraciones tiene una parte que hace referencia a
una propiedad (ser un hombre, ser mortal, estar cacareando y estar
goteando) y otra parte que hace referencia a una entidad (Platón,
Sócrates, la gallina y esta tetera). En efecto, en lógica de predicados
tenemos constantes {de individuo) que siempre se interpretan en
forma tal que hagan referencia a una entidad (esto es, un individuo o
un objeto) y constantes de predicado o letras de predicado que
siempre se interpretan de manera tal que hagan referencia a toda
clase de propiedades que las entidades (de algún tipo particular)
pueden tener o no.

2. ¿QUE ES UNA DEFINICION EN MATEMATICAS?:

En matemática, definición, en términos generales, es delimitar, o sea,
indicar, expresar el límite que separa un objeto de todos los demás.1 Los
pilares estructurales de la matemática son: la definición, el teorema y
la demostración matemática. Las definiciones señalan con precisión los
conceptos de importancia en la teoría. Los teoremas ( o proposiciones)
expresan exactamente lo que hay de verdadero en esos conceptos y las
demostraciones revelan, en forma contundente, la verdad de
esas afirmaciones.
2.1. PARTES:
2.1.1. Elegir el concepto a definir. Debe tratarse de un solo
concepto y se debe saber bien a qué se refiere.
2.1.2. Identificar el género próximo. Es decir, buscar la categoría
más amplia de cosas a las que pertenece: ¿se trata de un
animal?, ¿una persona?, ¿una idea?, ¿un vehículo?
2.1.3. Describir el subgénero de ser necesario. Detallar la
categoría a la que pertenece el objeto y la subcategoría dentro
de ella, si hiciera falta: ¿se trata de un animal cualquiera o de
un tipo de animal?, ¿de un tipo de persona, idea o vehículo?
 2.1.4. Identificar la diferencia específica. Describir el rasgo
fundamental que diferencia al concepto del resto de la misma
categoría y subcategoría: ¿qué cosa es única del concepto?
¿En qué se distingue de los que son como él? ¿Cuál es su
rasgo mínimo diferencial?

2.2. TIPOS:
a. Definiciones axiomáticas: Establecen los conceptos
fundamentales de una teoría matemática en términos de axiomas
o postulados. Por ejemplo, la definición de un espacio vectorial en
álgebra lineal se basa en una lista de propiedades axiomáticas
que deben cumplirse.
b. Definiciones por extensión: Enumeran todos los elementos de
un conjunto de manera explícita. Por ejemplo, "Un conjunto de
números primos menores que 10: {2, 3, 5, 7}".
c. Definiciones por comprensión: Describen un conjunto en
términos de una propiedad o condición que caracteriza a sus
elementos. Por ejemplo, "El conjunto de números primos es el
conjunto de números naturales mayores que 1 que solo son
divisibles por sí mismos y por 1".
d. Definiciones recursivas: Se definen objetos matemáticos en
términos de sí mismos. Este tipo de definición es común en la
teoría de conjuntos, en la teoría de números y en la computación.
e. Definiciones condicionales: Establecen una condición o
restricción que debe cumplirse para que un objeto matemático
satisfaga la definición. Por ejemplo, "Un triángulo equilátero es un
triángulo con tres lados iguales".
f. Definiciones por equivalencia: Establecen que dos objetos o
conceptos son equivalentes en cierto sentido.

3. SINTAXIS Y SEMANTICA EN MATEMATICA

3.1. SINTAXIS
En lenguaje matemático, la sintaxis es el conjunto de reglas que
gobiernan la correcta formación de los números y de las frases
relacionadas con ellos. Además del alfabeto numérico mencionado
antes, el lenguaje numérico requiere:
1. – Una lista de variables y símbolos para las conectivas lógicas. En
el corto discurso matemático expuesto en las líneas anteriores,
hemos usado variables como P, Q, x, p, q, r, y símbolos para las
conectivas, tales como: ˄ y →, para significar conjunción e
implicación.
2. – El signo de igualdad ( = ). Este signo nos permite crear cadenas
de símbolos como: A = B = … = Z .
3. – Signos de Agrupación. Signos de agrupación como (), [], {} se
usan en enunciados matemáticos para juntar símbolos o expresiones
matemáticas.
4. – Cuantificadores. [Universal “∀” y Existencial “∃”]. Los
cuantificadores en un leguaje especifican la variabilidad de las
 variables. En el caso de P(x) y Q(x) usadas arriba, la variable x
podría tomar cualquier valor en el conjunto de los números reales,
simbólicamente: ∀(x)P(x), y, ∀(x)Q(x). Sin embargo, estos polinomios
no siempre representarían un número natural.
5. – Parámetros Primitivos. En teoría de números formalizada es
usual tener unos parámetros primitivos, o, elementos no definidos
tales como: 0, 1, +, ×, para designar operaciones e importantes
elementos aritméticos. Hemos usado arriba expresiones como
P(x) = 2x 2 + 5x + 6, y, Q(x) = x 2 + 2x + 8

3.2. SEMANTICA
La semántica en el proceso de enseñanza aprendizaje de la matemática
significa el estudio del significado de los signos lingüísticos matemáticos,
esto es, la indagación del significado por parte de los implicados en el
proceso formativo matemático que se expresa mediante palabras,
expresiones, enunciados, teoremas, propiedades y axiomas.
La finalidad de la semántica desde el enfoque matemático es establecer
el significado de los signos que se refiere a los aspectos del significado,
sentido o interpretación de signos lingüísticos así como símbolos
matemáticos que permiten a partir de la visualización en la
representaciones formales la construcción del conocimiento teórico
científico.
REFERENCIAS
1, Gamut, L. T. F., & Durán, C. (2002). Introducción a la lógica. Buenos Aires,
Argentina: Eudeba.

2.
http://www.matematicasyfilosofiaenelaula.info/articulos/Beginning_Abstract_Algebra_at
_Elementary_School.pdf

3. https://www.eumed.net/libros-gratis/2013/1279/semantica.html#:~:text=La%20sem
%C3%A1ntica%20en%20el%20proceso,%2C%20expresiones%2C%20enunciados
%2C%20teoremas%2C