SlideShare una empresa de Scribd logo
1 de 34
ÁLGEBRA
CURSO DE NIVELACIÓN POR CARRERAS
UNIDAD 1: FUNCIONES ALGEBRAICAS
FUNCIONES ALGEBRAICAS
LÓGICA Y CONJUNTOS
¿Qué es la lógica?
Es una capacidad mental con la que se es capaz de comprender y establecer una respuesta coherente para una
situación.
◦ Lógica Matemática: Ciencia que estudia procedimientos para distinguir si un razonamiento es correcto ó
incorrecto.
¿Qué es una proposición?
Oración o una expresión que puede ser calificado de verdadero o falso.
◦ Simple: No tienen otras oraciones dentro de si misma.
“Ecuador es un país”, “Los perros son animales”, “Un cuadrado tiene 4 lados”
◦ Compuesta: Contienen dentro de si mismas una preposición simple.
“Juan viaja a Quito y Cuenca”, “Se obtiene medalla si y sólo si se gana el primer lugar”, “Comprar
esferos azules o negros”
Proposiciones
FUNCIONES ALGEBRAICAS
LÓGICA Y CONJUNTOS
Ejemplo de proposiciones
Preposición
25 es un número impar. Verdadera
Quito es la capital de Ecuador. Verdadera
14 es un número impar Falsa
La semana tiene 7 días Verdadera
Todos los animales tienen cola. Falsa
El número entero 15 es múltiplo de 3 Verdadera
Camila es futbolista Verdadera
Valor de verdad: Es la veracidad o falsedad del contenido de una proposición. Verdadero(V) ó Falso(F)
No son proposiciones
FUNCIONES ALGEBRAICAS
LÓGICA Y CONJUNTOS
Notación de proposiciones: Se las representa con las letras p q r s t
p: Te regalo chocolates.
q: Te regalo peluches.
r: Esta lloviendo.
r: 14 es un número impar
s: La semana tiene 7 días
t: Quito es la capital de Ecuador.
FUNCIONES ALGEBRAICAS
Conectivos Lógicos
LÓGICA Y CONJUNTOS
Se puede operar con proposiciones y según sea tales operaciones se utilizan ciertos
símbolos, llamados conectivos
Conectivo. Operación Significado
~ ¬ / Negación No...
∧ Conjunción …y…
∨ Disyunción ó
Condicional/Implicación Si…..Entonces
Bicondicional/Doble implicación …Si y sólo si ..
⊻ Bidisyunción/Disyunción exclusiva or
Conjunción Negativa Ni… ni…
FUNCIONES ALGEBRAICAS
Tablas de Verdad
LÓGICA Y CONJUNTOS
Negación: (“NO”, “Es falso que”) ~ ¬ /
Es un operador lógico que cambia el valor de verdad de una preposición
(niega).
~p NO p
p ~p
V F
F V
FUNCIONES ALGEBRAICAS
LÓGICA Y CONJUNTOS
Conjunción: (Y) ^
Relaciona dos proposiciones simples para formar una compuesta.
p ^ q p y q
Tablas de Verdad
p q p ^ q
V V V
V F F
F V F
F F F
n=# de proposiciones
2n = 22
= 4
NOTA: La conjunción es verdadera si las dos
proposiciones son verdaderas.
FUNCIONES ALGEBRAICAS
Tablas de Verdad
LÓGICA Y CONJUNTOS
Disyunción: (O) ˅
Proposición compuesta que resulta de combinar dos simples por medio de la
palabra “o”.
p ˅ q p o q
p q p ˅ q
V V V
V F V
F V V
F F F
NOTA: Significa que es verdad cuando
al menos una de las proposiciones es
verdadera.
FUNCIONES ALGEBRAICAS
Tablas de Verdad
LÓGICA Y CONJUNTOS
Implicación: o condicional (si entonces se llama)
Cuando se unen dos proposiciones mediante el término si entonces.
p q si p entonces q
p q p q
V V V
V F F
F V V
F F V
NOTA: Es falso solo cuando una verdad
implica una falsedad, es decir, es falso
cuando el antecedente p es verdadero y
el consecuente q es falso caso contrario
es verdadero.
FUNCIONES ALGEBRAICAS
Tablas de Verdad
LÓGICA Y CONJUNTOS
Bicondicional: (si y solo si )
Cuando se unen dos proposiciones mediante el término si y solo si.
p q p si solo si q
p q: (p q) ^ (p q)
p q p q
V V V
V F F
F V F
F F V
NOTA: Es verdadero solo cuando las
proposiciones tienen el mismo valor.
FUNCIONES ALGEBRAICAS
Tablas de Verdad
LÓGICA Y CONJUNTOS
Bidisyunción/ Conjunción Exclusiva: (disyunción excluyente “or”)
º ⊕ ó
A todo par de proposición p, q asocia la
p ó q p ⊻ q
NOTA: Es verdadero cuando
una de las dos proposiciones es
verdadera pero no las dos a la
vez.
p q p ⊻ q
V V F
V F V
F V V
F F F
FUNCIONES ALGEBRAICAS
Tablas de Verdad
LÓGICA Y CONJUNTOS
Conjunción Negativa: (ni p ni q ) ~ p ^ ~ q ~(pvq)
Cuando reemplaza al adverbio no, con la presencia de otros
enunciados negativos.
~ p ^ ~ q
NOTA: Es verdadero únicamente
cuando p y q son falsos.
p q ~ p ^ ~ q
V V F
V F F
F V F
F F V
FUNCIONES ALGEBRAICAS
Tautología, contradicción continencia
LÓGICA Y CONJUNTOS
Tautología: Es toda proposición cuyo valor de
verdad es siempre Verdadero
Contradicción: Es toda proposición cuyo valor
de verdad es siempre Falso
Contingencia: Es toda proposición en cuyo valor de verdad se tiene verdaderos y falsos
FUNCIONES ALGEBRAICAS
Equivalencias Lógicas
LÓGICA Y CONJUNTOS
Dos afirmaciones son equivalentes si tienen el mismo valor de verdad. La equivalencia
lógica de p y q algunas veces se expresa como:
Ejemplo:
¿p ^q es equivalente a ~(~ p ˅ ~ q) ?
p q p ^ q
V V V
V F F
F V F
F F F
p q ~ p ~ q (~ p ˅ ~ q) ~(~ p ˅ ~ q)
V V F F F V
V F F V V F
F V V F V F
F F V V V F
Tienen el mismo valor de verdad, por lo tanto son Equivalentes
FUNCIONES ALGEBRAICAS
Conectivos lógicos utilizando proposiciones simples y compuestas
LÓGICA Y CONJUNTOS
Escribir en forma simbólica los siguientes enunciados (utilizar conectores lógicos y las proposiciones que crea necesario).
• Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras violaciones de los derechos civiles.
p: hay verdadera democracia .
q:hay detenciones arbitrarias .
r: otras violaciones de los derechos civiles.
Respuesta: p → (¬q ˄ ¬r)
• Si los elefantes volarán o supieran tocar el acordeón, pensaría que estoy loco y dejaría que me internaran en un
psiquiátrico.
p: los elefantes vuelan.
q: los elefantes tocan el acordeón.
r: estar loco.
s: internar en un psiquiátrico.
Respuesta: ( p ˅ q ) → ( r ˄ s)
FUNCIONES ALGEBRAICAS
SIMPLIFICACIÓN DE PROPOSICIONES
LÓGICA Y CONJUNTOS
• Consiste en reducir la expresión lógica a una forma mas simple mediante el uso de los
axiomas y/o leyes lógicas.
• Consiste en ir desarrollando paso a paso mediante la sustitución en cada paso de una
expresión lógica equivalente a la anterior, hasta llegar a una expresión lógica irreducible.
• Por medio de la simplificación se puede demostrar una equivalencia lógica sin usar tablas
de verdad.
FUNCIONES ALGEBRAICAS
Leyes Lógicas
LÓGICA Y CONJUNTOS
/ Condicional
FUNCIONES ALGEBRAICAS
Funciones proposicionales
• Es aquel enunciado que contiene una variable y que tiene la propiedad de convertiste en verdadero o falso
dependiendo del valor de la variable. Son enunciados abiertos que no llegan hacer proposiciones debido a que en
algunos casos es verdadero y en otros casos es falso, todo depende del valor que tome la variable (x).
• Una función proposicional en una expresión P(x), de tal modo que al reemplazar la x por un elemento determinado, se
obtiene una proposición
A las funciones proposicionales se les denota así:
Ejemplos:
P(X)= 6x+2>4
P(3): 6(3)+2>4 Verdadera
x fue presidente de Ecuador
P(Juan López): Juan López fue presidente de Ecuador Falso
Entonces si asignamos un cuantificador llegaría a ser una proposición
FUNCIONES ALGEBRAICAS
Cuantificadores
A partir de los cuantificadores se puede transformar una “función proposicional en una proposición”
Los cuantificadores usuales son:
∀x cuantificador universal Para todo x
∃x cuantificador existencial Existe x
Ejemplo:
Todas las personas somos racionales
P(x): x es personas
Q(x): x son racionales
∀x: P(x) Q(x)
FUNCIONES ALGEBRAICAS
Cuantificadores
Ejemplo:
Existen números enteros que son positivos
P(x): x es números enteros
Q(x): x son positivos
∃x: / P(x) Q(x)
FUNCIONES ALGEBRAICAS
Negación de funciones proposicionales cuantificadoras
LÓGICA Y CONJUNTOS
NEGACION DEL CUANTIFICADOR UNIVERSAL
NEGACION DEL CUANTIFICADOR EXISTENCIAL
FUNCIONES ALGEBRAICAS
Reglas de inferencia
LÓGICA Y CONJUNTOS
Son reglas para razonar.
 Son reglas que utilizamos para deducir cosas.
 Son reglas para extraer conclusiones.
Las reglas de inferencia se modelan como implicaciones, donde el antecedente de la implicación está compuesto
de una conjunción de proposiciones llamadas premisas y el consecuente se llama conclusión.
Premisa
Premisa
Conclusión
Antecedente
Consecuente
FUNCIONES ALGEBRAICAS
Modus Ponendo Ponens (MPP)
LÓGICA Y CONJUNTOS
Afirmando el antecedente afirmamos el consecuente.
Todas las premisas deben ser verdaderas.
p: “Has aprobado”
q: “Irás a la universidad”
La regla que afirmando afirma.
p q
p
q
p q p q
V V V
V F F
F V V
F F V
p ~ q
p
~ p q
~ p
q
~ q
FUNCIONES ALGEBRAICAS
Modus tollendo Tollens (MTT)
LÓGICA Y CONJUNTOS
Fórmula que negando niega.
Negando el consecuente, negamos el antecedente
p: “Has aprobado”
q: “Irás a la universidad”
p q
~ q
~ p
p q p q
V V V
V F F
F V V
F F V
p
~ p ~q
q
FUNCIONES ALGEBRAICAS
Modus Tollendo Ponens (MTP)
LÓGICA Y CONJUNTOS
Si niego uno de los dos términos, entonces afirmo el otro término.
p: “Has aprobado”
q: “Irás a la universidad”
p ∨ q
~ q
p
p ∨ q
~ p
q
FUNCIONES ALGEBRAICAS
Simplificación (S)
LÓGICA Y CONJUNTOS
Si existe una premisa que sea una Conjunción se puede simplificar sacar un componente o
el otro o las dos pero en diferentes pasos.
p: “Has aprobado”
q: “Irás a la universidad”
p ^ q
p
p ^ q
q
FUNCIONES ALGEBRAICAS
Adjunción (A)
LÓGICA Y CONJUNTOS
p: “Has aprobado”
q: “Irás a la universidad”
p
q
p ^ q
FUNCIONES ALGEBRAICAS
Resumen de leyes de Inferencia
LÓGICA Y CONJUNTOS
FUNCIONES ALGEBRAICAS
Métodos de Demostración
• Una demostración es una justificación de la veracidad de un teorema.
• Cualquier sistema lógico debe empezar con algunos términos
fundamentales, definiciones, axiomas o postulados. A partir de ello,
se pueden deducir por razonamientos válidos otras afirmaciones.
Para llegar a demostrar algo, es necesario justificar cada paso de la
demostración de manera lógica.
¿Como demostrar que p → q es cierto? Sólo basta demostrar que q es
cierto cuando p es cierto (por la tabla de verdad).
FUNCIONES ALGEBRAICAS
Métodos de Demostración
• Analizar el enunciado
que piden demostrar.
• Saber la forma lógica
de representarlo
FUNCIONES ALGEBRAICAS
Métodos de Demostración
FUNCIONES ALGEBRAICAS
Métodos de Demostración
Método Directo
• El enunciado de un teorema son las proposiciones de partida que
constituyen las hipótesis (H) del teorema, si partiendo de las hipótesis
se puede llegar a otra preposición llamada tesis (T), se debe verificar
que la proposición H T es verdadera.
De acuerdo a la tabla de valores de verdad de la implicación, para
demostrar que la implicación H T, es suficiente demostrar que, si la
hipótesis H es verdadera, entonces T es verdadera.
FUNCIONES ALGEBRAICAS
Métodos de Demostración
Método Directo
De acuerdo a la tabla de valores de verdad de la implicación, para
demostrar que la implicación H T, es suficiente demostrar que, si la
hipótesis H es verdadera, entonces T es verdadera.
FUNCIONES ALGEBRAICAS
Métodos de demostración
Método Directo Método Indirecto
En p →q se supone que p es V y se demuestra que q
debe ser V.
Establece la verdad de una afirmación demostrando la
falsedad de la afirmación contraria.
Se prueba que ~p →~q

Más contenido relacionado

Similar a Álgebra nivelación carreras

Unidad i calculo proporcional
Unidad i calculo proporcionalUnidad i calculo proporcional
Unidad i calculo proporcionalOswaldo Perez
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalSael0001
 
L gica proposicional_semana_1
L gica proposicional_semana_1L gica proposicional_semana_1
L gica proposicional_semana_1sanluisgonzaga
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicionalMariexis Cova
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]Henry Villalba
 
[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposicionesmiguelperezfontenla
 
04 Operadores lógicos.pdf
04 Operadores lógicos.pdf04 Operadores lógicos.pdf
04 Operadores lógicos.pdfRobinHernndez8
 
Introduccion a la logica de proposiciones ccesa007
Introduccion a la logica de  proposiciones ccesa007Introduccion a la logica de  proposiciones ccesa007
Introduccion a la logica de proposiciones ccesa007Demetrio Ccesa Rayme
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicionalluisgilc30
 
Calculo proposicional - Introducción
Calculo proposicional - IntroducciónCalculo proposicional - Introducción
Calculo proposicional - IntroducciónDavid Narváez
 
Lógica Cepre Uni 2023 ciclo pre universitario - I semana 1.1
Lógica Cepre Uni 2023 ciclo pre universitario - I semana 1.1Lógica Cepre Uni 2023 ciclo pre universitario - I semana 1.1
Lógica Cepre Uni 2023 ciclo pre universitario - I semana 1.1EdverNiltonLenTerron
 
Algebra
Algebra Algebra
Algebra rogel04
 
Algebra
Algebra Algebra
Algebra rogel04
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Erica Avila Caicedo
 

Similar a Álgebra nivelación carreras (20)

Unidad i calculo proporcional
Unidad i calculo proporcionalUnidad i calculo proporcional
Unidad i calculo proporcional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
L gica proposicional_semana_1
L gica proposicional_semana_1L gica proposicional_semana_1
L gica proposicional_semana_1
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
 
[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones
 
04 Operadores lógicos.pdf
04 Operadores lógicos.pdf04 Operadores lógicos.pdf
04 Operadores lógicos.pdf
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Blog logica matematica
Blog logica matematicaBlog logica matematica
Blog logica matematica
 
Introduccion a la logica de proposiciones ccesa007
Introduccion a la logica de  proposiciones ccesa007Introduccion a la logica de  proposiciones ccesa007
Introduccion a la logica de proposiciones ccesa007
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Calculo proposicional - Introducción
Calculo proposicional - IntroducciónCalculo proposicional - Introducción
Calculo proposicional - Introducción
 
FMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdfFMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdf
 
Lógica Cepre Uni 2023 ciclo pre universitario - I semana 1.1
Lógica Cepre Uni 2023 ciclo pre universitario - I semana 1.1Lógica Cepre Uni 2023 ciclo pre universitario - I semana 1.1
Lógica Cepre Uni 2023 ciclo pre universitario - I semana 1.1
 
Algebra
Algebra Algebra
Algebra
 
Algebra
Algebra Algebra
Algebra
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168
 
Lógica matemáticas
Lógica matemáticasLógica matemáticas
Lógica matemáticas
 

Último

Introducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo SostenibleIntroducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo SostenibleJonathanCovena1
 
Unidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parteUnidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parteJuan Hernandez
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxAna Fernandez
 
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.pptDE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.pptELENA GALLARDO PAÚLS
 
texto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticostexto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticosisabeltrejoros
 
Historia y técnica del collage en el arte
Historia y técnica del collage en el arteHistoria y técnica del collage en el arte
Historia y técnica del collage en el arteRaquel Martín Contreras
 
codigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinacodigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinavergarakarina022
 
Manual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfManual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfMaryRotonda1
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosCesarFernandez937857
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptxJunkotantik
 
30-de-abril-plebiscito-1902_240420_104511.pdf
30-de-abril-plebiscito-1902_240420_104511.pdf30-de-abril-plebiscito-1902_240420_104511.pdf
30-de-abril-plebiscito-1902_240420_104511.pdfgimenanahuel
 
cortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuacortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuaDANNYISAACCARVAJALGA
 
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADODECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADOJosé Luis Palma
 
Factores ecosistemas: interacciones, energia y dinamica
Factores ecosistemas: interacciones, energia y dinamicaFactores ecosistemas: interacciones, energia y dinamica
Factores ecosistemas: interacciones, energia y dinamicaFlor Idalia Espinoza Ortega
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxjosetrinidadchavez
 
Herramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdfHerramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdfMARIAPAULAMAHECHAMOR
 

Último (20)

Introducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo SostenibleIntroducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo Sostenible
 
Unidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parteUnidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parte
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docx
 
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.pptDE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
 
Defendamos la verdad. La defensa es importante.
Defendamos la verdad. La defensa es importante.Defendamos la verdad. La defensa es importante.
Defendamos la verdad. La defensa es importante.
 
Razonamiento Matemático 1. Deta del año 2020
Razonamiento Matemático 1. Deta del año 2020Razonamiento Matemático 1. Deta del año 2020
Razonamiento Matemático 1. Deta del año 2020
 
texto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticostexto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticos
 
Historia y técnica del collage en el arte
Historia y técnica del collage en el arteHistoria y técnica del collage en el arte
Historia y técnica del collage en el arte
 
codigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinacodigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karina
 
Power Point: "Defendamos la verdad".pptx
Power Point: "Defendamos la verdad".pptxPower Point: "Defendamos la verdad".pptx
Power Point: "Defendamos la verdad".pptx
 
Manual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfManual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdf
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos Básicos
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptx
 
30-de-abril-plebiscito-1902_240420_104511.pdf
30-de-abril-plebiscito-1902_240420_104511.pdf30-de-abril-plebiscito-1902_240420_104511.pdf
30-de-abril-plebiscito-1902_240420_104511.pdf
 
cortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuacortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahua
 
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADODECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
 
Factores ecosistemas: interacciones, energia y dinamica
Factores ecosistemas: interacciones, energia y dinamicaFactores ecosistemas: interacciones, energia y dinamica
Factores ecosistemas: interacciones, energia y dinamica
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
 
Herramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdfHerramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdf
 
Sesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdfSesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdf
 

Álgebra nivelación carreras

  • 1. ÁLGEBRA CURSO DE NIVELACIÓN POR CARRERAS UNIDAD 1: FUNCIONES ALGEBRAICAS
  • 2. FUNCIONES ALGEBRAICAS LÓGICA Y CONJUNTOS ¿Qué es la lógica? Es una capacidad mental con la que se es capaz de comprender y establecer una respuesta coherente para una situación. ◦ Lógica Matemática: Ciencia que estudia procedimientos para distinguir si un razonamiento es correcto ó incorrecto. ¿Qué es una proposición? Oración o una expresión que puede ser calificado de verdadero o falso. ◦ Simple: No tienen otras oraciones dentro de si misma. “Ecuador es un país”, “Los perros son animales”, “Un cuadrado tiene 4 lados” ◦ Compuesta: Contienen dentro de si mismas una preposición simple. “Juan viaja a Quito y Cuenca”, “Se obtiene medalla si y sólo si se gana el primer lugar”, “Comprar esferos azules o negros” Proposiciones
  • 3. FUNCIONES ALGEBRAICAS LÓGICA Y CONJUNTOS Ejemplo de proposiciones Preposición 25 es un número impar. Verdadera Quito es la capital de Ecuador. Verdadera 14 es un número impar Falsa La semana tiene 7 días Verdadera Todos los animales tienen cola. Falsa El número entero 15 es múltiplo de 3 Verdadera Camila es futbolista Verdadera Valor de verdad: Es la veracidad o falsedad del contenido de una proposición. Verdadero(V) ó Falso(F) No son proposiciones
  • 4. FUNCIONES ALGEBRAICAS LÓGICA Y CONJUNTOS Notación de proposiciones: Se las representa con las letras p q r s t p: Te regalo chocolates. q: Te regalo peluches. r: Esta lloviendo. r: 14 es un número impar s: La semana tiene 7 días t: Quito es la capital de Ecuador.
  • 5. FUNCIONES ALGEBRAICAS Conectivos Lógicos LÓGICA Y CONJUNTOS Se puede operar con proposiciones y según sea tales operaciones se utilizan ciertos símbolos, llamados conectivos Conectivo. Operación Significado ~ ¬ / Negación No... ∧ Conjunción …y… ∨ Disyunción ó Condicional/Implicación Si…..Entonces Bicondicional/Doble implicación …Si y sólo si .. ⊻ Bidisyunción/Disyunción exclusiva or Conjunción Negativa Ni… ni…
  • 6. FUNCIONES ALGEBRAICAS Tablas de Verdad LÓGICA Y CONJUNTOS Negación: (“NO”, “Es falso que”) ~ ¬ / Es un operador lógico que cambia el valor de verdad de una preposición (niega). ~p NO p p ~p V F F V
  • 7. FUNCIONES ALGEBRAICAS LÓGICA Y CONJUNTOS Conjunción: (Y) ^ Relaciona dos proposiciones simples para formar una compuesta. p ^ q p y q Tablas de Verdad p q p ^ q V V V V F F F V F F F F n=# de proposiciones 2n = 22 = 4 NOTA: La conjunción es verdadera si las dos proposiciones son verdaderas.
  • 8. FUNCIONES ALGEBRAICAS Tablas de Verdad LÓGICA Y CONJUNTOS Disyunción: (O) ˅ Proposición compuesta que resulta de combinar dos simples por medio de la palabra “o”. p ˅ q p o q p q p ˅ q V V V V F V F V V F F F NOTA: Significa que es verdad cuando al menos una de las proposiciones es verdadera.
  • 9. FUNCIONES ALGEBRAICAS Tablas de Verdad LÓGICA Y CONJUNTOS Implicación: o condicional (si entonces se llama) Cuando se unen dos proposiciones mediante el término si entonces. p q si p entonces q p q p q V V V V F F F V V F F V NOTA: Es falso solo cuando una verdad implica una falsedad, es decir, es falso cuando el antecedente p es verdadero y el consecuente q es falso caso contrario es verdadero.
  • 10. FUNCIONES ALGEBRAICAS Tablas de Verdad LÓGICA Y CONJUNTOS Bicondicional: (si y solo si ) Cuando se unen dos proposiciones mediante el término si y solo si. p q p si solo si q p q: (p q) ^ (p q) p q p q V V V V F F F V F F F V NOTA: Es verdadero solo cuando las proposiciones tienen el mismo valor.
  • 11. FUNCIONES ALGEBRAICAS Tablas de Verdad LÓGICA Y CONJUNTOS Bidisyunción/ Conjunción Exclusiva: (disyunción excluyente “or”) º ⊕ ó A todo par de proposición p, q asocia la p ó q p ⊻ q NOTA: Es verdadero cuando una de las dos proposiciones es verdadera pero no las dos a la vez. p q p ⊻ q V V F V F V F V V F F F
  • 12. FUNCIONES ALGEBRAICAS Tablas de Verdad LÓGICA Y CONJUNTOS Conjunción Negativa: (ni p ni q ) ~ p ^ ~ q ~(pvq) Cuando reemplaza al adverbio no, con la presencia de otros enunciados negativos. ~ p ^ ~ q NOTA: Es verdadero únicamente cuando p y q son falsos. p q ~ p ^ ~ q V V F V F F F V F F F V
  • 13. FUNCIONES ALGEBRAICAS Tautología, contradicción continencia LÓGICA Y CONJUNTOS Tautología: Es toda proposición cuyo valor de verdad es siempre Verdadero Contradicción: Es toda proposición cuyo valor de verdad es siempre Falso Contingencia: Es toda proposición en cuyo valor de verdad se tiene verdaderos y falsos
  • 14. FUNCIONES ALGEBRAICAS Equivalencias Lógicas LÓGICA Y CONJUNTOS Dos afirmaciones son equivalentes si tienen el mismo valor de verdad. La equivalencia lógica de p y q algunas veces se expresa como: Ejemplo: ¿p ^q es equivalente a ~(~ p ˅ ~ q) ? p q p ^ q V V V V F F F V F F F F p q ~ p ~ q (~ p ˅ ~ q) ~(~ p ˅ ~ q) V V F F F V V F F V V F F V V F V F F F V V V F Tienen el mismo valor de verdad, por lo tanto son Equivalentes
  • 15. FUNCIONES ALGEBRAICAS Conectivos lógicos utilizando proposiciones simples y compuestas LÓGICA Y CONJUNTOS Escribir en forma simbólica los siguientes enunciados (utilizar conectores lógicos y las proposiciones que crea necesario). • Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras violaciones de los derechos civiles. p: hay verdadera democracia . q:hay detenciones arbitrarias . r: otras violaciones de los derechos civiles. Respuesta: p → (¬q ˄ ¬r) • Si los elefantes volarán o supieran tocar el acordeón, pensaría que estoy loco y dejaría que me internaran en un psiquiátrico. p: los elefantes vuelan. q: los elefantes tocan el acordeón. r: estar loco. s: internar en un psiquiátrico. Respuesta: ( p ˅ q ) → ( r ˄ s)
  • 16. FUNCIONES ALGEBRAICAS SIMPLIFICACIÓN DE PROPOSICIONES LÓGICA Y CONJUNTOS • Consiste en reducir la expresión lógica a una forma mas simple mediante el uso de los axiomas y/o leyes lógicas. • Consiste en ir desarrollando paso a paso mediante la sustitución en cada paso de una expresión lógica equivalente a la anterior, hasta llegar a una expresión lógica irreducible. • Por medio de la simplificación se puede demostrar una equivalencia lógica sin usar tablas de verdad.
  • 17. FUNCIONES ALGEBRAICAS Leyes Lógicas LÓGICA Y CONJUNTOS / Condicional
  • 18. FUNCIONES ALGEBRAICAS Funciones proposicionales • Es aquel enunciado que contiene una variable y que tiene la propiedad de convertiste en verdadero o falso dependiendo del valor de la variable. Son enunciados abiertos que no llegan hacer proposiciones debido a que en algunos casos es verdadero y en otros casos es falso, todo depende del valor que tome la variable (x). • Una función proposicional en una expresión P(x), de tal modo que al reemplazar la x por un elemento determinado, se obtiene una proposición A las funciones proposicionales se les denota así: Ejemplos: P(X)= 6x+2>4 P(3): 6(3)+2>4 Verdadera x fue presidente de Ecuador P(Juan López): Juan López fue presidente de Ecuador Falso Entonces si asignamos un cuantificador llegaría a ser una proposición
  • 19. FUNCIONES ALGEBRAICAS Cuantificadores A partir de los cuantificadores se puede transformar una “función proposicional en una proposición” Los cuantificadores usuales son: ∀x cuantificador universal Para todo x ∃x cuantificador existencial Existe x Ejemplo: Todas las personas somos racionales P(x): x es personas Q(x): x son racionales ∀x: P(x) Q(x)
  • 20. FUNCIONES ALGEBRAICAS Cuantificadores Ejemplo: Existen números enteros que son positivos P(x): x es números enteros Q(x): x son positivos ∃x: / P(x) Q(x)
  • 21. FUNCIONES ALGEBRAICAS Negación de funciones proposicionales cuantificadoras LÓGICA Y CONJUNTOS NEGACION DEL CUANTIFICADOR UNIVERSAL NEGACION DEL CUANTIFICADOR EXISTENCIAL
  • 22. FUNCIONES ALGEBRAICAS Reglas de inferencia LÓGICA Y CONJUNTOS Son reglas para razonar.  Son reglas que utilizamos para deducir cosas.  Son reglas para extraer conclusiones. Las reglas de inferencia se modelan como implicaciones, donde el antecedente de la implicación está compuesto de una conjunción de proposiciones llamadas premisas y el consecuente se llama conclusión. Premisa Premisa Conclusión Antecedente Consecuente
  • 23. FUNCIONES ALGEBRAICAS Modus Ponendo Ponens (MPP) LÓGICA Y CONJUNTOS Afirmando el antecedente afirmamos el consecuente. Todas las premisas deben ser verdaderas. p: “Has aprobado” q: “Irás a la universidad” La regla que afirmando afirma. p q p q p q p q V V V V F F F V V F F V p ~ q p ~ p q ~ p q ~ q
  • 24. FUNCIONES ALGEBRAICAS Modus tollendo Tollens (MTT) LÓGICA Y CONJUNTOS Fórmula que negando niega. Negando el consecuente, negamos el antecedente p: “Has aprobado” q: “Irás a la universidad” p q ~ q ~ p p q p q V V V V F F F V V F F V p ~ p ~q q
  • 25. FUNCIONES ALGEBRAICAS Modus Tollendo Ponens (MTP) LÓGICA Y CONJUNTOS Si niego uno de los dos términos, entonces afirmo el otro término. p: “Has aprobado” q: “Irás a la universidad” p ∨ q ~ q p p ∨ q ~ p q
  • 26. FUNCIONES ALGEBRAICAS Simplificación (S) LÓGICA Y CONJUNTOS Si existe una premisa que sea una Conjunción se puede simplificar sacar un componente o el otro o las dos pero en diferentes pasos. p: “Has aprobado” q: “Irás a la universidad” p ^ q p p ^ q q
  • 27. FUNCIONES ALGEBRAICAS Adjunción (A) LÓGICA Y CONJUNTOS p: “Has aprobado” q: “Irás a la universidad” p q p ^ q
  • 28. FUNCIONES ALGEBRAICAS Resumen de leyes de Inferencia LÓGICA Y CONJUNTOS
  • 29. FUNCIONES ALGEBRAICAS Métodos de Demostración • Una demostración es una justificación de la veracidad de un teorema. • Cualquier sistema lógico debe empezar con algunos términos fundamentales, definiciones, axiomas o postulados. A partir de ello, se pueden deducir por razonamientos válidos otras afirmaciones. Para llegar a demostrar algo, es necesario justificar cada paso de la demostración de manera lógica. ¿Como demostrar que p → q es cierto? Sólo basta demostrar que q es cierto cuando p es cierto (por la tabla de verdad).
  • 30. FUNCIONES ALGEBRAICAS Métodos de Demostración • Analizar el enunciado que piden demostrar. • Saber la forma lógica de representarlo
  • 32. FUNCIONES ALGEBRAICAS Métodos de Demostración Método Directo • El enunciado de un teorema son las proposiciones de partida que constituyen las hipótesis (H) del teorema, si partiendo de las hipótesis se puede llegar a otra preposición llamada tesis (T), se debe verificar que la proposición H T es verdadera. De acuerdo a la tabla de valores de verdad de la implicación, para demostrar que la implicación H T, es suficiente demostrar que, si la hipótesis H es verdadera, entonces T es verdadera.
  • 33. FUNCIONES ALGEBRAICAS Métodos de Demostración Método Directo De acuerdo a la tabla de valores de verdad de la implicación, para demostrar que la implicación H T, es suficiente demostrar que, si la hipótesis H es verdadera, entonces T es verdadera.
  • 34. FUNCIONES ALGEBRAICAS Métodos de demostración Método Directo Método Indirecto En p →q se supone que p es V y se demuestra que q debe ser V. Establece la verdad de una afirmación demostrando la falsedad de la afirmación contraria. Se prueba que ~p →~q