LOGICA MATEMATICA

KIMBERLY GABRIELA SIERRA AREVALO

4TO BACHILLERATO EN COMPUTACION

CATEDRATICO: RICARDO XICARA
Octubre 2023
LOGICA MATEMATICA
KIMBERLY GABRIELA SIERRA AREVALO

4TO BACHILLERATO EN COMPUTACION

CATEDRATICO: RICARDO XICARA
Octubre 2023
 indice
❖ Caratula
❖ Introduccion
❖ Contenido:
▪ cuaciones de segundo y tercer
grado
▪ metodos de resolucion de
ecuaciones de segundo y tercer
grado
▪ metodo o regla cramer
▪ metodo o reegla sandwich
▪ logica proporciona
❖ conclusiones
❖ biografia
 ecuaciones de segundo y tercer
grado
Una ecuación es una igualdad que sólo se verifica para unos
valores concretos una variable, generalmente llamada x.

ECUACIONES DE SEGUNDO GRADO

Una ecuación de segundo grado, ecuación cuadrática o

resolvente es una ecuación poli nómica donde el mayor
exponente es igual a dos. Normalmente, la expresión se refiere
al caso en que sólo aparece una incógnita y que se expresa en
la forma canónica: donde a es el coeficiente cuadrático o de
segundo grado y es siempre distinto de 0, b el coeficiente lineal
o de primer grado y c es el término independiente.

Expresada del modo más general, una ecuación cuadrática en

es de la forma: con n un número natural y a distinto de cero. El
caso particular de esta ecuación donde n = 2 se conoce como
ecuación bicuadrática. La ecuación cuadrática es de gran
importancia en diversos campos, ya que junto con
las ecuaciones lineales, permiten modelar un gran número de
relaciones y leyes.

Las ecuaciones de segundo grado y su solución de las

ecuaciones se conocen desde la antigüedad. En Babilonia se
conocieron algoritmos para resolverla. Fue encontrado
independientemente en otros lugares del mundo. En Grecia, el
matemático Diofanto de Alejandría aportó un procedimiento
para resolver este tipo de ecuaciones (aunque su método solo
proporcionaba una de las soluciones, incluso en el caso de que
las dos soluciones sean positivas). La primera solución
completa la desarrolló el matemático
 Al-Juarismi (o Al-Khwarizmi según otras grafías), en el siglo IX en
su trabajo Compendio de cálculo por reintegración y
comparación, cerrando con ello un problema que se había
perseguido durante siglos. Basándose en el trabajo de Al-
Juarismi, el matemático judeoespañol Abraham bar Hiyya, en
su Liber embadorum, discute la solución de estas ecuaciones
Hay que esperar a Évariste Galois para conseguir resolver en
general las ecuaciones polinómicas, o saber cuándo son
irresolubles por radicales, que viene a ser una generalización de
los métodos de resolución de las ecuaciones de segundo grado.
La primera gran dificultad pudo surgir en la solución de
ecuaciones cuadráticas se dio con la ecuación en la época
de los pitagóricos, al calcular la longitud de la diagonal de un
cuadrado de lado 1 ya que no se podía expresar la raíz cuadrada
de dos como razón de dos números enteros.3

En el Renacimiento al resolver que requiere hallar un

número real cuyo cuadrado sea -1, se superó con la
construcción de números imaginarios y la invención de la
unidad imaginaria i, definida mediante la igualdad
En este tipo de ecuaciones en las que hay un término con una
incógnita elevada al cuadrado se llaman tanto ecuaciones
cuadráticas como ecuaciones de segundo grado.

EJEMPLO:
 ECUACIONES DE TERCER GRADO

Una ecuación de tercer grado con una incógnita es

una ecuación que se puede poner bajo la forma canónica:
donde a, b,c y d (a ≠ 0 ) son números que pertenecen a
un cuerpo, usualmente. Sea K un cuerpo conmutativo, donde se
pueden extraer raíces cuadradas y cúbicas En un cuerpo
algebraicamente cerrado, se sabe que todo polinomio de grado
3 tiene tres raíces. Es el caso del cuerpo de los complejos,
según el Teorema Fundamental del Álgebra

Las ecuaciones de tercer grado se representan con la

fórmula ax³+bx²+cx+d=0 y también son llamadas ecuaciones
cúbicas, donde una de las incógnitas será de tercer grado. Este
tipo de ecuaciones se podrán resolver siguiendo una serie de
pasos que explicaremos a continuación
Cuando nos encontramos con una ecuación cúbica o de
cualquier grado escrita de la forma P(x)=0 podemos pensar que
es difícil, pero si queremos resolver las ecuaciones de tercer
grado paso a paso sólo tendremos que seguir las siguientes
instrucciones aplicando la regla de Ruffini correctamente
partiendo de la siguiente ecuación cúbica 2x³-7x²+8x-3=0

o Buscar los divisores del término independiente. El término

independiente es -3 y los divisores de -3 son 1, -1, 3 y -3
o Hacemos las divisiones por Ruffini con los divisores
 metodos de resolucion de ecuaciones
de segundo y tercer grado
ECUACIONES DE SEGUNDO GRADO

Las ecuaciones de segundo grado tienen hasta dos

soluciones, las cuales también se denominan raíces.

Existen tres métodos para resolver una ecuación de

segundo
grado: Completando el Trinomio Cuadrado Perfecto (TCP), F
órmula General y Factorización.

Método de completar el Trinomio Cuadrado Perfecto

Primero, un Trinomio Cuadrado Perfecto, o TCP, es un

polinomio de tres términos que resulta de elevar al
cuadrado un binomio.

Ejemplo: (x+2)2 = x2 + 4x + 4, en este caso el segundo

miembro es el TCP.

Observa el siguiente video en el que te muestro un ejemplo

de cómo resolver una ecuación cuadrática por el método de
completar el trinomio cuadrado perfecto.
Fórmula general

Existe una fórmula general que proporciona explícitamente las

soluciones de una ecuación cuadrática.

Sea la ecuación de segundo grado ax2 +bx + c = 0, las soluciones

o raíces de la ecuación son:
El signo ± indica que habrá dos soluciones, así que podemos
escribir:

La fórmula cuadrática se usa para calcular las soluciones de

cualquier ecuación cuadrática, aun las incompletas, basta con
sustituir por 0 al coeficiente faltante.

En este curso solo analizaremos ecuaciones cuadráticas cuyas

soluciones son dos números Enteros, pero te podemos
comentar que una ecuación cuadrática puede tener solo una
solución o incluso ninguna en el conjunto de los Números
Reales.

Factorización

Para comenzar, recuerda que factorizar es expresar un número

(o expresión algebraica) como el producto de otros números (o
términos) menores por los cuales este se puede dividir.

Entonces, debemos encontrar dos expresiones que al

multiplicarse nos den como resultado la ecuación de segundo
grado. Cada uno de los términos algebraicos se iguala a cero
para despejar a la incógnita.
 METODO O REGLA CRAMER
La regla de Cramer es un teorema del álgebra lineal que da la
solución de un sistema lineal de ecuaciones en términos
de determinantes. Recibe este nombre en honor a Gabriel
Cramer (1704-1752), quien publicó la regla en su Introducción à
l'analyse des lignes courbes algébriques de 1750, aunque Colin
Maclaurin también publicó el método en su Treatise off
Geometry de 1748 (y probablemente sabía del método desde
1729).1
La regla de Cramer es de importancia teórica porque da una
expresión explícita para la solución del sistema. Sin embargo,
para sistemas de ecuaciones lineales de más de tres
ecuaciones su aplicación para la resolución del mismo resulta
excesivamente costosa: computacionalmente, es ineficiente
para grandes matrices y por ello no es usado en aplicaciones
prácticas que pueden implicar muchas ecuaciones. Sin
embargo, como no es necesario pivotar matrices, es más
eficiente que la eliminación gaussiana para matrices pequeñas,
particularmente cuando son usadas operaciones SIMD.

La regla de Cramer sirve para resolver sistemas de ecuaciones

lineales. Se aplica a sistemas que cumplan las dos condiciones
siguientes:

El número de ecuaciones es igual al número de

incógnitas.
El determinante de la matriz de los coeficientes
es distinto de cero.
Tales sistemas se denominan sistemas de Cramer.
 REGLA O METODO SANDWICH
Sirve para simplificar la división de fracciones. Es una ley
simple: extremos por extremos (numerador), medios por
medios (denominador) obteniendo una nueva fracción.

El teorema del emparedado (también llamado teorema del

sándwich, del bocadillo y de encaje, entre otros) es un resultado
muy intuitivo y útil a la hora de calcular el límite de algunas
funciones.

El teorema afirma que, si dos funciones tienen el mismo límite,

entonces las funciones que están comprendidas entre éstas
también tienen el mismo límite:
 Logica ProPorcionaL
La lógica proposicional es una parte de la lógica clásica que
estudia las variables proposicionales, sus posibles
implicaciones, los valores de verdad de las proposiciones o de
conjuntos de ellas formadas a partir de los conectores lógicos.
Permite validar o no las afirmaciones que se hacen en
matemáticas o en otras ramas del conocimiento. Es por esto
que el estudio y comprensión de las estructuras que componen
la lógica y la forma como validan o no las proposiciones es
fundamental en todas las ramas de las ciencias. De otro lado, la
teoría de conjuntos permite estudiar relaciones y propiedades
entre diferentes colecciones de objetos al compararlas entre si
de diversas maneras. La matemática moderna estudia una gran
variedad de clases conjuntos a partir de las propiedades que los
componen o define operaciones con los elementos de los
mismos que resultan de interés para las ciencias en general. El
estudio de la lógica y la teoría de conjuntos le permite al
estudiante comprender la forma como se construyen las
propiedades, relaciones, resultados de las diversas ramas del
conocimiento en las que se aplica la matemática. El módulo
tiene los siguientes objetivos
La lógica proposicional, también llamada lógica de
enunciados, lógica de orden cero o cálculo proposicional, es
un sistema formal cuyos elementos más simples representan
proposiciones o enunciados, y cuyas constantes lógicas,
llamadas conectivas lógicas, representan operaciones sobre
proposiciones, capaces de formar otras proposiciones de
mayor complejidad.1
Las lógicas proposicionales carecen de cuantificadores o
variables de individuo, pero tienen variables proposicionales (es
decir, que se pueden interpretar como proposiciones con un
valor de verdad definido), de ahí el nombre proposicional. Los
sistemas de lógica proposicional incluyen además conectivas
lógicas, por lo que dentro de este tipo de lógica se puede
analizar la inferencia lógica de proposiciones a partir de
proposiciones, pero sin tener en cuenta la estructura interna de
las proposiciones más simples.2
Como las lógicas proposicionales no tienen cuantificadores o
variables de individuo, cualquier secuencia de signos que
constituya una fórmula bien formada admite una valoración en
la proposición es verdadera o falsa dependiendo del valor de
verdad asignado a las proposiciones que la compongan. Esto
implica que cualquier fórmula bien formada define una función
proposicional. Por tanto, cualquier sistema lógico basado en la
lógica proposicional es decidirle y en un número finito de pasos
se puede determinar la verdad o falsedad semántica de una
proposición. Esto hace que la lógica proposicional
sea completa y con una semántica muy sencilla.

1. Mañana es miércoles o mañana es jueves.

2. Mañana no es jueves.
3. Por lo tanto, mañana es miércoles.
Es un argumento válido. Quiere decir que es imposible que
las premisas (1) y (2) sean verdaderas y la conclusión (3) falsa.
Sin embargo, a pesar de que el argumento sea válido, esto no
quiere decir que la conclusión sea verdadera. En otras palabras,
si las premisas son falsas, entonces la conclusión también
podría serlo. Pero si las premisas son verdaderas, entonces la
conclusión también lo es. La validez del argumento no depende
del significado de las expresiones «mañana es miércoles» ni
«mañana es jueves», sino de la estructura misma del
argumento. Estas premisas podrían cambiarse por otras y el
argumento permanecería válido. Por ejemplo:

1. Hoy está soleado o está nublado.

2. Hoy no está nublado.
3. Por lo tanto, hoy está soleado.
Estas expresiones como «o» y «no», de las que depende la
validez de los argumentos, se llaman conectivas lógicas. En
cuanto a expresiones como «está nublado» y «mañana es
jueves», lo único que importa de ellas es que tengan un valor de
verdad. Es por esto que se las reemplaza por simples letras,
cuya intención es simbolizar una expresión con valor de verdad
cualquiera. A estas letras se las llama variables
proposicionales, y en general se toman del alfabeto latino,
empezando por la letra p (de «proposición») luego q, r, s, etc. Es
así que los dos primeros argumentos de esta sección se podrían
reescribir así:

1. p o q
2. No q
3. Por lo tanto, p
Y el tercer argumento, a pesar de no ser válido, se puede
reescribir así:

1. Ni p ni q
2. No q
3. Por lo tanto, p
 introduccion
Ecuaciones de segundo grado:
Estas ecuaciones tienen la forma general =0, donde
son coeficientes conocidos y x es la variable desconocida.
Ecuaciones de tercer grado:
Las ecuaciones de tercer grado tienen la forma general
10ax+bx 2+cx+d=0. Para resolverlas, generalmente se utilizan
métodos más complejos, como el método de Cardano o la
factorización
Ambas ecuaciones son fundamentales en álgebra y tienen diversas
aplicaciones en física, ingeniería y muchas otras disciplinas.
Básicamente, el método del sándwich implica comparar la función o
sucesión que deseas estudiar con dos funciones o sucesiones más
simples y bien comprendidas que están relacionadas con ella. Estas
funciones "sandwich" están acotadas y se utilizan para establecer
límites y demostrar propiedades de la función o sucesión en
cuestión.
El método de Cramer es una técnica utilizada para resolver sistemas
de ecuaciones lineales mediante determinantes. Este método es
aplicable específicamente a sistemas de ecuaciones lineales con el
mismo número de ecuaciones que de incógnitas.
La idea es que, si la matriz de coeficientes \(A\) es no singular (su
determinante es diferente de cero), entonces se puede usar el
método de Cramer para resolver el sistema.
Este método puede resultar útil cuando se tienen sistemas
pequeños y se busca una solución analítica. Sin embargo, en la
práctica, para sistemas grandes, otros métodos computacionales
como la eliminación de Gauss o la factorización LU suelen ser más
eficientes y estables numéricamente.
 concLusiones
- *Lógica proposicional:*
Es un sistema formal que estudia cómo se combinan
proposiciones utilizando conectivos lógicos como la negación,
conjunción, disyunción, implicación y bicondicional. Las
proposiciones son afirmaciones que pueden ser verdaderas o
falsas. La lógica proposicional analiza las relaciones lógicas y
deducciones basadas en estas proposiciones y conectivos.
Una ecuación es una afirmación matemática que establece que
dos expresiones son iguales. Está compuesta por términos,
operadores y variables. Las ecuaciones pueden resolverse para
encontrar el valor de las variables que hacen que la igualdad
sea verdadera. Existen varios tipos de ecuaciones, como
lineales, cuadráticas y cúbicas, cada una con sus métodos
específicos de resolución. Las soluciones de una ecuación
pueden ser únicas o múltiples, y pueden expresarse en números
reales, complejos o en términos de variables. Las ecuaciones
son fundamentales en matemáticas y tienen aplicaciones en
numerosos campos, incluyendo física, ingeniería, economía y
ciencias computacionales.
- *ecuaciones:*
Una ecuación es una afirmación matemática que establece que
dos expresiones son iguales. Está compuesta por términos,
operadores y variables. Las ecuaciones pueden resolverse para
encontrar el valor de las variables que hacen que la igualdad
sea verdadera. Existen varios tipos de ecuaciones, como
 lineales, cuadráticas y cúbicas, cada una con sus métodos
específicos de resolución. Las soluciones de una ecuación
pueden ser únicas o múltiples, y pueden expresarse en números
reales, complejos o en términos de variables. Las ecuaciones
son fundamentales en matemáticas y tienen aplicaciones en
numerosos campos, incluyendo física, ingeniería, economía y
ciencias computacionales.
- *Método del sándwich:*
Es una técnica para demostrar la convergencia o divergencia
de una función o sucesión al compararla con dos funciones
acotadas que la "aprisionan" y cuyos límites son iguales,
facilitando la inferencia del límite de la función en cuestión.

- *Método de Cramer:*
Es un método para resolver sistemas de ecuaciones lineales
con el mismo número de ecuaciones que de incógnitas. Utiliza
determinantes para encontrar las soluciones de cada variable,
dividiendo determinantes relacionados con la matriz de
coeficientes del sistema. Solo es aplicable si la matriz de
coeficientes es no singular (su determinante es diferente de
cero).
 BiograFia
https://eduteka.icesi.edu.co/proyectos.php/1/3161
https://es.wikipedia.org/wiki/Ecuaci%C3%B3n_de_segundo_grado
https://www.studysmarter.es/resumenes/matematicas/analisis-
matematico/ecuaciones-de-segundo-grado/
https://es.plusmaths.com/ecuaciones-de-tercer-grado.html
https://www.ejerciciosecuaciones.com/ecuaciones-de-tercer-grado-
cubicas/
https://ecuaciones20.com/de-tercer-grado/
https://www.problemasyecuaciones.com/Ecuaciones/segundo-
grado/problemas-ecuaciones-segundo-grado-resueltas-solucion-
formula-raices-factorizar.html
https://belver.clavijero.edu.mx/cursos/nme/semestre1/matematica
s_1/s4/contenidos/mtodos_de_solucin_de_ecuaciones_cuadrticas.
html
https://programas.cuaed.unam.mx/repositorio/moodle/pluginfile.p
hp/1068/mod_resource/content/1/contenido/index.html
https://www.superprof.es/diccionario/matematicas/algebralineal/r
egla-cramer.html
https://repository.eafit.edu.co/bitstream/handle/10784/9774/taller
_logica_proposicional_teoria_conjuntos.pdf?sequence=2&isAllowe
d=y