SlideShare une entreprise Scribd logo
1  sur  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.
↔

Contenu connexe

En vedette

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
 

En vedette (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
 

Similaire à Lógica Matemática

Similaire à 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)
 

Dernier

redes informaticas en una oficina administrativa
redes informaticas en una oficina administrativaredes informaticas en una oficina administrativa
redes informaticas en una oficina administrativa
nicho110
 

Dernier (11)

Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21
 
redes informaticas en una oficina administrativa
redes informaticas en una oficina administrativaredes informaticas en una oficina administrativa
redes informaticas en una oficina administrativa
 
How to use Redis with MuleSoft. A quick start presentation.
How to use Redis with MuleSoft. A quick start presentation.How to use Redis with MuleSoft. A quick start presentation.
How to use Redis with MuleSoft. A quick start presentation.
 
Guia Basica para bachillerato de Circuitos Basicos
Guia Basica para bachillerato de Circuitos BasicosGuia Basica para bachillerato de Circuitos Basicos
Guia Basica para bachillerato de Circuitos Basicos
 
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
 
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptxEVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
 
Avances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estosAvances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estos
 
Avances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvanaAvances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvana
 
investigación de los Avances tecnológicos del siglo XXI
investigación de los Avances tecnológicos del siglo XXIinvestigación de los Avances tecnológicos del siglo XXI
investigación de los Avances tecnológicos del siglo XXI
 
Buenos_Aires_Meetup_Redis_20240430_.pptx
Buenos_Aires_Meetup_Redis_20240430_.pptxBuenos_Aires_Meetup_Redis_20240430_.pptx
Buenos_Aires_Meetup_Redis_20240430_.pptx
 
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptxPROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
 

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. ↔