SlideShare una empresa de Scribd logo
1 de 13
LÓGICA MATEMÁTICA
Est. Carlos Arias
Ing. En sistema y programación
¿Qué es el Razonamiento?
• Es una operación mental por la cual a partir
de una o varias premisas se deduce una
nueva premisa, también llamada
conclusión.
Premisas:
a) Pedro es mayor que Carlos
b) Carlos nació dos años antes que Eduardo.
Conclusión: “Pedro es mayor que Eduardo”
¿Qué es la Lógica?
• Es el análisis formal de los razonamientos,
es decir si la conclusión del razonamiento
deriva de una secuencia lógica de las
premisas que la fundamentan.
Premisas:
a) Pedro es mayor que Carlos
b) Carlos nació dos años antes que Eduardo.
Conclusión: “Pedro es mayor que Eduardo”
¿La conclusión es Verdadera o Falsa?
Lógica Matemática
Es el intento de dar una “forma universal” al pensamiento,
expresándolo por un sistema unívoco de signos (estos quiere
decir, un sistema en el que cada signo tenga un solo
significado en un mismo contexto), con un sistema de
relaciones entre esos signos comparable al cálculo
matemático, para alcanzar así todas las verdades.
• La lógica matemática
pretende hacer que todas las
relaciones reales se vuelvan
formales; pretende reducirlas
a una “expresión matemática”
que pueda ser calculada
como en las matemáticas.
¿Qué es una Proposición?
• Es toda frase con sentido completo y que
puede ser valorada como verdadera o
falsa.
Ejemplos: Variables Proposicionales
– p: Los perros siempre tienen tres patas.
– q: Miriam se casará con Ricardo.
Clases de proposiciones
• Existen dos clases de proposiciones:
– Proposiciones atómicas (no usan operadores
lógicos)
– Proposiciones compuestas (si usan
operadores lógicos)
Ejemplos:
Carlos juega en el patio (proposición simple)
Javier juega en el patio y Carlos en el Jardín
(proposición compuesta)
Conectores proposicionales
• Son términos sincategorimaticos que se
usan para modificar o enlazar
proposiciones.
MonádicosMonádicos
Diádicos
Negación
Conjunción
Disyunción no
exclusiva
Disyunción exclusiva
condicional
bicondicional
1.- Negación
• Cambia el valor de verdad de una
proposición simple.
¬
Ejemplo:
p: Ricardo juega en el patio
q: Eduardo estudia matemática
2.- Conjunción
• Afirma que las dos proposiciones son
verdaderas. Representada por la partida
lingüística y.
Ejemplo:
p: Ricardo juega en el patio
q: Eduardo estudia matemática
Aplicando el operador lógico resulta:
p q: Ricardo juega en el patio y Eduardo˄
estudia matemática.
q p: Eduardo estudia matemática mientras˄
que Ricardo juega en el patio.
˄
3.- Disyunción no exclusiva
• Afirma que una o ambas proposiciones
pueden ser verdaderas. Equivale a y/o.
Ejemplo:
p: Ricardo juega en el patio
q: Eduardo estudia matemática
Aplicando el operador lógico resulta:
p˅q: Ricardo juega en el patio o Eduardo
estudia matemática.
q˅p: Eduardo estudia matemática a menos
que Ricardo juegue en el patio.
˅
4.- Disyunción exclusiva
• Afirma que sólo una de las proposiciones
puede ser verdadera.
_
Ejemplo:
p: Ricardo juega en el patio
q: Eduardo estudia matemática
Aplicando el operador lógico resulta:
p_q: O Ricardo juega en el patio o Eduardo
estudia matemática.
r_s: En el último clásico ganó Alianza
o ganó Universitario
5.- condicional
• Representa la partícula lingüística si,
entonces… o cualquier otro indique la idea
de condición como, cuando… entonces o
un simplemente.
→
Ejemplo:
p: Eduardo estudia matemática
q: Eduardo juega en el patio
Aplicando el operador lógico resulta:
p→q: Si Eduardo estudia matemática
entonces Eduardo jugará en el patio.
7.- Bicondicional
• Representa la partícula lingüística si solo si
o cualquiera otra que indique doble
condición, como, equivale, cuando y solo
cuando o únicamente
Ejemplo:
p: Eduardo estudia matemática
q: Eduardo juega en el patio
Aplicando el operador lógico resulta:
p↔q: Si y solo si Eduardo estudia matemática
entonces jugará en el patio.
↔

Más contenido relacionado

Destacado

Satish Kumar(2013MB0010)-MBA(Human Resource and Marketing)
Satish Kumar(2013MB0010)-MBA(Human Resource and Marketing)Satish Kumar(2013MB0010)-MBA(Human Resource and Marketing)
Satish Kumar(2013MB0010)-MBA(Human Resource and Marketing)
Satish Maurya
 
Trabajo seminario nnn
Trabajo seminario nnnTrabajo seminario nnn
Trabajo seminario nnn
Milena Guzman
 
Annual Performance_2014
Annual Performance_2014Annual Performance_2014
Annual Performance_2014
Summer Hawkins
 

Destacado (16)

Stb asfaltagran
Stb asfaltagranStb asfaltagran
Stb asfaltagran
 
CP190314V2.1OL10475
CP190314V2.1OL10475CP190314V2.1OL10475
CP190314V2.1OL10475
 
Monografia - Aspectos Sociais no Desenvolvimento de Software
Monografia - Aspectos Sociais no Desenvolvimento de SoftwareMonografia - Aspectos Sociais no Desenvolvimento de Software
Monografia - Aspectos Sociais no Desenvolvimento de Software
 
Smirnov_M.A._dosvid_robotu
Smirnov_M.A._dosvid_robotuSmirnov_M.A._dosvid_robotu
Smirnov_M.A._dosvid_robotu
 
Cognitive mapping
Cognitive mappingCognitive mapping
Cognitive mapping
 
Satish Kumar(2013MB0010)-MBA(Human Resource and Marketing)
Satish Kumar(2013MB0010)-MBA(Human Resource and Marketing)Satish Kumar(2013MB0010)-MBA(Human Resource and Marketing)
Satish Kumar(2013MB0010)-MBA(Human Resource and Marketing)
 
Paradigmas emergentes
Paradigmas emergentesParadigmas emergentes
Paradigmas emergentes
 
Trabajo seminario nnn
Trabajo seminario nnnTrabajo seminario nnn
Trabajo seminario nnn
 
Stb lek sr
Stb lek srStb lek sr
Stb lek sr
 
Presentacion informe de investigacion.
Presentacion informe de investigacion.Presentacion informe de investigacion.
Presentacion informe de investigacion.
 
Stb punk tepl
Stb punk teplStb punk tepl
Stb punk tepl
 
Los animales en una Gran Asamblea - Maria Morales (2015)
Los animales en una Gran Asamblea - Maria Morales (2015)Los animales en una Gran Asamblea - Maria Morales (2015)
Los animales en una Gran Asamblea - Maria Morales (2015)
 
Stb schit pol
Stb schit polStb schit pol
Stb schit pol
 
Stb p el_par
Stb p el_parStb p el_par
Stb p el_par
 
Annual Performance_2014
Annual Performance_2014Annual Performance_2014
Annual Performance_2014
 
Så överlever du den digitala apokalypsen - webbdagarna 2014
Så överlever du den digitala apokalypsen - webbdagarna 2014Så överlever du den digitala apokalypsen - webbdagarna 2014
Så överlever du den digitala apokalypsen - webbdagarna 2014
 

Similar a Lógica Matemática

Similar a Lógica Matemática (20)

Apuntes logica proposicional
Apuntes logica proposicionalApuntes logica proposicional
Apuntes logica proposicional
 
L o gica_proposicional
L o gica_proposicionalL o gica_proposicional
L o gica_proposicional
 
Logica Matematica
Logica MatematicaLogica Matematica
Logica Matematica
 
L o gica_proposicional
L o gica_proposicionalL o gica_proposicional
L o gica_proposicional
 
L o gica_proposicional
L o gica_proposicionalL o gica_proposicional
L o gica_proposicional
 
Grado 6 unidad 1
Grado 6 unidad 1Grado 6 unidad 1
Grado 6 unidad 1
 
L o gica_proposicional
L o gica_proposicionalL o gica_proposicional
L o gica_proposicional
 
L o gica_proposicional
L o gica_proposicionalL o gica_proposicional
L o gica_proposicional
 
L o gica_proposicional
L o gica_proposicionalL o gica_proposicional
L o gica_proposicional
 
Tema1
Tema1Tema1
Tema1
 
Unidad 1 - Lógica Proposicional
Unidad 1 - Lógica ProposicionalUnidad 1 - Lógica Proposicional
Unidad 1 - Lógica Proposicional
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Apes matematicas
Apes matematicasApes matematicas
Apes matematicas
 
Apes matematicas
Apes matematicasApes matematicas
Apes matematicas
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01
 
Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01
 
Semana 1 cb
Semana 1 cb Semana 1 cb
Semana 1 cb
 
Objetivo unidad 1
Objetivo unidad 1Objetivo unidad 1
Objetivo unidad 1
 
Lógica matemática (1)
Lógica matemática (1)Lógica matemática (1)
Lógica matemática (1)
 

Último

editorial de informática de los sueños.docx
editorial de informática de los sueños.docxeditorial de informática de los sueños.docx
editorial de informática de los sueños.docx
ssusere34b451
 

Último (20)

manual-de-oleohidraulica-industrial-vickers.pdf
manual-de-oleohidraulica-industrial-vickers.pdfmanual-de-oleohidraulica-industrial-vickers.pdf
manual-de-oleohidraulica-industrial-vickers.pdf
 
editorial de informática de los sueños.docx
editorial de informática de los sueños.docxeditorial de informática de los sueños.docx
editorial de informática de los sueños.docx
 
Inteligencia Artificial para usuarios nivel inicial
Inteligencia Artificial para usuarios nivel inicialInteligencia Artificial para usuarios nivel inicial
Inteligencia Artificial para usuarios nivel inicial
 
CIBERSEGURIDAD Y SEGURIDAD INFORMATICA .
CIBERSEGURIDAD Y SEGURIDAD INFORMATICA .CIBERSEGURIDAD Y SEGURIDAD INFORMATICA .
CIBERSEGURIDAD Y SEGURIDAD INFORMATICA .
 
De Olmos Santiago_Dolores _ M1S3AI6.pptx
De Olmos Santiago_Dolores _ M1S3AI6.pptxDe Olmos Santiago_Dolores _ M1S3AI6.pptx
De Olmos Santiago_Dolores _ M1S3AI6.pptx
 
VelderrainPerez_Paola_M1C1G63-097.pptx. LAS TiC
VelderrainPerez_Paola_M1C1G63-097.pptx. LAS TiCVelderrainPerez_Paola_M1C1G63-097.pptx. LAS TiC
VelderrainPerez_Paola_M1C1G63-097.pptx. LAS TiC
 
taller de tablas en word para estudiantes de secundaria
taller de tablas en word para estudiantes de secundariataller de tablas en word para estudiantes de secundaria
taller de tablas en word para estudiantes de secundaria
 
HerramientasInformaticas ¿Que es? - ¿Para que sirve? - Recomendaciones - Comp...
HerramientasInformaticas ¿Que es? - ¿Para que sirve? - Recomendaciones - Comp...HerramientasInformaticas ¿Que es? - ¿Para que sirve? - Recomendaciones - Comp...
HerramientasInformaticas ¿Que es? - ¿Para que sirve? - Recomendaciones - Comp...
 
NIVEL DE MADUREZ TECNOLÓGICA (TRL).pptx
NIVEL DE  MADUREZ TECNOLÓGICA (TRL).pptxNIVEL DE  MADUREZ TECNOLÓGICA (TRL).pptx
NIVEL DE MADUREZ TECNOLÓGICA (TRL).pptx
 
Gestión de concurrencia y bloqueos en SQL Server
Gestión de concurrencia y bloqueos en SQL ServerGestión de concurrencia y bloqueos en SQL Server
Gestión de concurrencia y bloqueos en SQL Server
 
Uso de las TIC en la vida cotidiana .
Uso de las TIC en la vida cotidiana       .Uso de las TIC en la vida cotidiana       .
Uso de las TIC en la vida cotidiana .
 
JORNADA INTELIGENCIA ARTIFICIAL Y REALIDAD VIRTUAL
JORNADA INTELIGENCIA ARTIFICIAL Y REALIDAD VIRTUALJORNADA INTELIGENCIA ARTIFICIAL Y REALIDAD VIRTUAL
JORNADA INTELIGENCIA ARTIFICIAL Y REALIDAD VIRTUAL
 
Unidad 1- Historia y Evolucion de las computadoras.pdf
Unidad 1- Historia y Evolucion de las computadoras.pdfUnidad 1- Historia y Evolucion de las computadoras.pdf
Unidad 1- Historia y Evolucion de las computadoras.pdf
 
Pons, A. - El desorden digital - guia para historiadores y humanistas [2013].pdf
Pons, A. - El desorden digital - guia para historiadores y humanistas [2013].pdfPons, A. - El desorden digital - guia para historiadores y humanistas [2013].pdf
Pons, A. - El desorden digital - guia para historiadores y humanistas [2013].pdf
 
Imágenes digitales: Calidad de la información
Imágenes digitales: Calidad de la informaciónImágenes digitales: Calidad de la información
Imágenes digitales: Calidad de la información
 
Navegadores de internet - Nuevas Tecnologías de la Información y la Comunicación
Navegadores de internet - Nuevas Tecnologías de la Información y la ComunicaciónNavegadores de internet - Nuevas Tecnologías de la Información y la Comunicación
Navegadores de internet - Nuevas Tecnologías de la Información y la Comunicación
 
Desarrollo del Dominio del Internet - Estrada
Desarrollo del Dominio del Internet - EstradaDesarrollo del Dominio del Internet - Estrada
Desarrollo del Dominio del Internet - Estrada
 
proyectos_social_y_socioproductivos _mapas_conceptuales
proyectos_social_y_socioproductivos _mapas_conceptualesproyectos_social_y_socioproductivos _mapas_conceptuales
proyectos_social_y_socioproductivos _mapas_conceptuales
 
PRÁCTICA Nº 4: “Análisis de secuencias del ADN con el software BioEdit y uso ...
PRÁCTICA Nº 4: “Análisis de secuencias del ADN con el software BioEdit y uso ...PRÁCTICA Nº 4: “Análisis de secuencias del ADN con el software BioEdit y uso ...
PRÁCTICA Nº 4: “Análisis de secuencias del ADN con el software BioEdit y uso ...
 
BUSCADORES DE INTERNET (Universidad de Sonora).
BUSCADORES DE INTERNET (Universidad de Sonora).BUSCADORES DE INTERNET (Universidad de Sonora).
BUSCADORES DE INTERNET (Universidad de Sonora).
 

Lógica Matemática

  • 1. LÓGICA MATEMÁTICA Est. Carlos Arias Ing. En sistema y programación
  • 2. ¿Qué es el Razonamiento? • Es una operación mental por la cual a partir de una o varias premisas se deduce una nueva premisa, también llamada conclusión. Premisas: a) Pedro es mayor que Carlos b) Carlos nació dos años antes que Eduardo. Conclusión: “Pedro es mayor que Eduardo”
  • 3. ¿Qué es la Lógica? • Es el análisis formal de los razonamientos, es decir si la conclusión del razonamiento deriva de una secuencia lógica de las premisas que la fundamentan. Premisas: a) Pedro es mayor que Carlos b) Carlos nació dos años antes que Eduardo. Conclusión: “Pedro es mayor que Eduardo” ¿La conclusión es Verdadera o Falsa?
  • 4. Lógica Matemática Es el intento de dar una “forma universal” al pensamiento, expresándolo por un sistema unívoco de signos (estos quiere decir, un sistema en el que cada signo tenga un solo significado en un mismo contexto), con un sistema de relaciones entre esos signos comparable al cálculo matemático, para alcanzar así todas las verdades. • La lógica matemática pretende hacer que todas las relaciones reales se vuelvan formales; pretende reducirlas a una “expresión matemática” que pueda ser calculada como en las matemáticas.
  • 5. ¿Qué es una Proposición? • Es toda frase con sentido completo y que puede ser valorada como verdadera o falsa. Ejemplos: Variables Proposicionales – p: Los perros siempre tienen tres patas. – q: Miriam se casará con Ricardo.
  • 6. Clases de proposiciones • Existen dos clases de proposiciones: – Proposiciones atómicas (no usan operadores lógicos) – Proposiciones compuestas (si usan operadores lógicos) Ejemplos: Carlos juega en el patio (proposición simple) Javier juega en el patio y Carlos en el Jardín (proposición compuesta)
  • 7. Conectores proposicionales • Son términos sincategorimaticos que se usan para modificar o enlazar proposiciones. MonádicosMonádicos Diádicos Negación Conjunción Disyunción no exclusiva Disyunción exclusiva condicional bicondicional
  • 8. 1.- Negación • Cambia el valor de verdad de una proposición simple. ¬ Ejemplo: p: Ricardo juega en el patio q: Eduardo estudia matemática
  • 9. 2.- Conjunción • Afirma que las dos proposiciones son verdaderas. Representada por la partida lingüística y. Ejemplo: p: Ricardo juega en el patio q: Eduardo estudia matemática Aplicando el operador lógico resulta: p q: Ricardo juega en el patio y Eduardo˄ estudia matemática. q p: Eduardo estudia matemática mientras˄ que Ricardo juega en el patio. ˄
  • 10. 3.- Disyunción no exclusiva • Afirma que una o ambas proposiciones pueden ser verdaderas. Equivale a y/o. Ejemplo: p: Ricardo juega en el patio q: Eduardo estudia matemática Aplicando el operador lógico resulta: p˅q: Ricardo juega en el patio o Eduardo estudia matemática. q˅p: Eduardo estudia matemática a menos que Ricardo juegue en el patio. ˅
  • 11. 4.- Disyunción exclusiva • Afirma que sólo una de las proposiciones puede ser verdadera. _ Ejemplo: p: Ricardo juega en el patio q: Eduardo estudia matemática Aplicando el operador lógico resulta: p_q: O Ricardo juega en el patio o Eduardo estudia matemática. r_s: En el último clásico ganó Alianza o ganó Universitario
  • 12. 5.- condicional • Representa la partícula lingüística si, entonces… o cualquier otro indique la idea de condición como, cuando… entonces o un simplemente. → Ejemplo: p: Eduardo estudia matemática q: Eduardo juega en el patio Aplicando el operador lógico resulta: p→q: Si Eduardo estudia matemática entonces Eduardo jugará en el patio.
  • 13. 7.- Bicondicional • Representa la partícula lingüística si solo si o cualquiera otra que indique doble condición, como, equivale, cuando y solo cuando o únicamente Ejemplo: p: Eduardo estudia matemática q: Eduardo juega en el patio Aplicando el operador lógico resulta: p↔q: Si y solo si Eduardo estudia matemática entonces jugará en el patio. ↔