SlideShare una empresa de Scribd logo
1 de 11
LÓGICA MATEMÁTICA
INTEGRANTES
 BAUTISTA RIVER
 LARA IGNACIO
 LARA JOANDRA
 PAREDES VICTOR
 VERA NATHALY
CONCEPTO DE LÓGICA MATEMÁTICA




La Lógica estudia la forma del razonamiento, es
decir es la disciplina que trata de métodos de
razonamiento.
DEFINICIÓN Y CLASES DE
          PROPOSICIONES
 Una proposición o enunciado es una oración
  que puede ser falsa o verdadera pero no ambas
  a la vez.
 Toda proposición consta de tres partes: un
  sujeto, un verbo y un complemento referido
  al verbo. La proposición es un elemento
  fundamental de la Lógica Matemática.
EJEMPLOS DE PROPOSICIONES

 p:Ecuador esta en América del sur
 q:5x5=40
 r: 4x -8 > 9
 s:El 21 de diciembre se acabara el mundo
 t:Hola ¿como te fue hoy?
 w:¡Anda a estudiar!
CONECTIVOS LÓGICOS EN
     PROPOSICIONES COMPUESTAS


 Existen conectivos u operadores lógicos que
  permiten formar proposiciones compuestas,
  es decir, formadas por varias proposiciones
LOS OPERADORES O
      CONECTORES BÁSICOS SON:
 Conjunción (operador and)
 Disyunción (operador or)
 Negación (operador not)
Conjunción (operador and)

 Se utiliza para conectar dos proposiciones que se
  deben cumplir para que se pueda obtener un
  resultado verdadero.
  Ejemplo:
  Víctor va a jugar futbol cuando tenga tiempo y
  animo
  t:Victor va a jugar futbol.
  u:Cuando tenga tiempo.
   v:Cuando tengo animo.
  t = uˆv
Disyunción (operador or)

 Con este operador se obtiene un resultado
  verdadero cuando alguna de las proposiciones es
  verdadera.
  Ejemplo:
  Para ir a Quito puedo tomar la vía por Los
  Bancos o la vía Aloag
  x:Ir a Quito
  y:tomar la vía Los Bancos
  z:tomar la vía Aloag
  x = yˇz
Negación (operador not)

 Su función es negar la proposición. Esto
  significa que sí alguna proposición es verdadera
  y se le aplica el operador not se obtendrá su
  negación (falso) y viceversa
  Ejemplo:
  El gato se come al ratón

  p: El gato se come al ratón
  p’: El gato no se come al ratón
PROPOSICIONES CONDICIONALES

 Una implicación o proposición condicional, es aquella que está formada
   por dos proposiciones simples (o compuesta) p y q. Se indica de la
   siguiente manera:
   y→z (se lee "si y entonces z")
 Ejemplo.
 Un profesionista dice "Si ahorro me podré comprar una casa en tres
   años ". Una declaración como esta
 se conoce como condicional.
 Sean:
 y: Ahorro.
 z: Podrá comprar una casa en tres años .
PROPOSICIÓN BICONDICIONAL
    Sean p y q dos proposiciones. Una doble implicación o proposición es
     bicondicional cuando p es
    verdadera si y solo si q es también verdadera. O bien p es falsa si y sólo si q
     también lo es. Se indica de
     la siguiente manera:
     p«q (se lee "p si y sólo si q")
     Ejemplo.
    Sea el siguiente enunciado: "Una persona puede votar, si y sólo si, tiene
     credencial de elector"
    Donde:
    p: Una persona puede votar.
    q: Tiene credencial de elector.

Más contenido relacionado

La actualidad más candente (18)

Matematica
MatematicaMatematica
Matematica
 
Lógica 2º
Lógica 2ºLógica 2º
Lógica 2º
 
Matematica
MatematicaMatematica
Matematica
 
Matematica
MatematicaMatematica
Matematica
 
Algebra 1
Algebra 1Algebra 1
Algebra 1
 
Cuaderno digital
Cuaderno digitalCuaderno digital
Cuaderno digital
 
Conectivos lógicos
Conectivos lógicosConectivos lógicos
Conectivos lógicos
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Cuaderno digital algebra
Cuaderno digital algebraCuaderno digital algebra
Cuaderno digital algebra
 
Estructura
EstructuraEstructura
Estructura
 
Algebra tarea 1
Algebra tarea 1Algebra tarea 1
Algebra tarea 1
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
 
Cuaderno digital de Helen Caraballo
Cuaderno digital de Helen CaraballoCuaderno digital de Helen Caraballo
Cuaderno digital de Helen Caraballo
 
1.1 logica proposicional
1.1 logica proposicional1.1 logica proposicional
1.1 logica proposicional
 
1.2 equivalencias proposicionales
1.2 equivalencias proposicionales1.2 equivalencias proposicionales
1.2 equivalencias proposicionales
 
B rayam estructura 1
B rayam  estructura 1B rayam  estructura 1
B rayam estructura 1
 
Unidad N I . Cálculo Proposicional
Unidad N I . Cálculo ProposicionalUnidad N I . Cálculo Proposicional
Unidad N I . Cálculo Proposicional
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 

Destacado

Transport
Transport Transport
Transport sebalef
 
Ascensão classes c e d
Ascensão classes c e dAscensão classes c e d
Ascensão classes c e dFernanda Lopes
 
Ironic 140622212631-phpapp02
Ironic 140622212631-phpapp02Ironic 140622212631-phpapp02
Ironic 140622212631-phpapp02Narender Kumar
 
Rutascortas lima 2012_4
Rutascortas lima 2012_4Rutascortas lima 2012_4
Rutascortas lima 2012_4Adrian Cruz
 
Palácio de Queluz_Alexandre Muller
Palácio de Queluz_Alexandre MullerPalácio de Queluz_Alexandre Muller
Palácio de Queluz_Alexandre Mullerturmadasjoaninhas
 
Organização de Sistemas e Métodos - Processos
Organização de Sistemas e Métodos - ProcessosOrganização de Sistemas e Métodos - Processos
Organização de Sistemas e Métodos - ProcessosYuri Lott
 
Ginnelle 123
Ginnelle 123Ginnelle 123
Ginnelle 123Ginnelle
 
beneficios y serviocios que ofrece google
beneficios y serviocios que ofrece googlebeneficios y serviocios que ofrece google
beneficios y serviocios que ofrece googlejhontantan
 
Revista entrepontes nº 5
Revista entrepontes nº 5Revista entrepontes nº 5
Revista entrepontes nº 5chefalorenzo
 
handout-final-A4-v2-nobleed
handout-final-A4-v2-nobleedhandout-final-A4-v2-nobleed
handout-final-A4-v2-nobleedSophie Handley
 
International certfication report
International certfication reportInternational certfication report
International certfication reportMarghoob Hasan
 
Talleres preprofesional esteban viera
Talleres preprofesional  esteban vieraTalleres preprofesional  esteban viera
Talleres preprofesional esteban vieraEsteman Man
 

Destacado (17)

Transport
Transport Transport
Transport
 
Feliz dia dos pais! 202
Feliz dia dos pais! 202Feliz dia dos pais! 202
Feliz dia dos pais! 202
 
Ascensão classes c e d
Ascensão classes c e dAscensão classes c e d
Ascensão classes c e d
 
Ironic 140622212631-phpapp02
Ironic 140622212631-phpapp02Ironic 140622212631-phpapp02
Ironic 140622212631-phpapp02
 
Rutascortas lima 2012_4
Rutascortas lima 2012_4Rutascortas lima 2012_4
Rutascortas lima 2012_4
 
Mono divino niño iiiiii
Mono divino niño iiiiiiMono divino niño iiiiii
Mono divino niño iiiiii
 
Palácio de Queluz_Alexandre Muller
Palácio de Queluz_Alexandre MullerPalácio de Queluz_Alexandre Muller
Palácio de Queluz_Alexandre Muller
 
Karateshotokan
KarateshotokanKarateshotokan
Karateshotokan
 
Organização de Sistemas e Métodos - Processos
Organização de Sistemas e Métodos - ProcessosOrganização de Sistemas e Métodos - Processos
Organização de Sistemas e Métodos - Processos
 
Ginnelle 123
Ginnelle 123Ginnelle 123
Ginnelle 123
 
beneficios y serviocios que ofrece google
beneficios y serviocios que ofrece googlebeneficios y serviocios que ofrece google
beneficios y serviocios que ofrece google
 
Leandro Pereira
Leandro PereiraLeandro Pereira
Leandro Pereira
 
Revista entrepontes nº 5
Revista entrepontes nº 5Revista entrepontes nº 5
Revista entrepontes nº 5
 
Entre Ti E Deus
Entre Ti E DeusEntre Ti E Deus
Entre Ti E Deus
 
handout-final-A4-v2-nobleed
handout-final-A4-v2-nobleedhandout-final-A4-v2-nobleed
handout-final-A4-v2-nobleed
 
International certfication report
International certfication reportInternational certfication report
International certfication report
 
Talleres preprofesional esteban viera
Talleres preprofesional  esteban vieraTalleres preprofesional  esteban viera
Talleres preprofesional esteban viera
 

Similar a LógicaMatemáticaConceptosProposicionesConectivos

Similar a LógicaMatemáticaConceptosProposicionesConectivos (20)

Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
Calculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merloCalculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merlo
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
LóGica MatemáTica
LóGica MatemáTicaLóGica MatemáTica
LóGica MatemáTica
 
36. logica matematica
36. logica matematica36. logica matematica
36. logica matematica
 
36. logica matematica
36. logica matematica36. logica matematica
36. logica matematica
 
36. logica matematica
36. logica matematica36. logica matematica
36. logica matematica
 
1 Logica.pptx
1 Logica.pptx1 Logica.pptx
1 Logica.pptx
 
Unidad I álgebra-proposicional
Unidad I álgebra-proposicionalUnidad I álgebra-proposicional
Unidad I álgebra-proposicional
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
La lógica matemática
La lógica matemáticaLa lógica matemática
La lógica matemática
 
Apes matematicas
Apes matematicasApes matematicas
Apes matematicas
 
Apes matematicas
Apes matematicasApes matematicas
Apes matematicas
 
Semana 1 cb
Semana 1 cb Semana 1 cb
Semana 1 cb
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Logicaproposiciona phpapp01
Logicaproposiciona phpapp01Logicaproposiciona phpapp01
Logicaproposiciona phpapp01
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
04 Operadores lógicos.pdf
04 Operadores lógicos.pdf04 Operadores lógicos.pdf
04 Operadores lógicos.pdf
 

Más de johnkalibre

03 cinemática en una dimensión
03 cinemática en una dimensión03 cinemática en una dimensión
03 cinemática en una dimensiónjohnkalibre
 
02 vectores, parte 3
02 vectores, parte 302 vectores, parte 3
02 vectores, parte 3johnkalibre
 
02 vectores, parte 2
02 vectores, parte 202 vectores, parte 2
02 vectores, parte 2johnkalibre
 
02 vectores, parte 1
02 vectores, parte 102 vectores, parte 1
02 vectores, parte 1johnkalibre
 
01 introducción
01 introducción01 introducción
01 introducciónjohnkalibre
 
01 introducción
01 introducción01 introducción
01 introducciónjohnkalibre
 
Equilibrio ionico
Equilibrio ionicoEquilibrio ionico
Equilibrio ionicojohnkalibre
 
Equilibrio quìmico
Equilibrio quìmicoEquilibrio quìmico
Equilibrio quìmicojohnkalibre
 
Balanceo de ecuaciones químicas
Balanceo de ecuaciones químicasBalanceo de ecuaciones químicas
Balanceo de ecuaciones químicasjohnkalibre
 
Ecuaciones químicas de
Ecuaciones químicas deEcuaciones químicas de
Ecuaciones químicas dejohnkalibre
 
Ecuaciones químicas
Ecuaciones químicasEcuaciones químicas
Ecuaciones químicasjohnkalibre
 
Relaciones cuantitativas
Relaciones cuantitativasRelaciones cuantitativas
Relaciones cuantitativasjohnkalibre
 
Radiación electromagnética
Radiación electromagnéticaRadiación electromagnética
Radiación electromagnéticajohnkalibre
 
Configuración electrónica
Configuración electrónicaConfiguración electrónica
Configuración electrónicajohnkalibre
 
Teorias atomicas
Teorias atomicasTeorias atomicas
Teorias atomicasjohnkalibre
 

Más de johnkalibre (20)

03 cinemática en una dimensión
03 cinemática en una dimensión03 cinemática en una dimensión
03 cinemática en una dimensión
 
02 vectores, parte 3
02 vectores, parte 302 vectores, parte 3
02 vectores, parte 3
 
02 vectores, parte 2
02 vectores, parte 202 vectores, parte 2
02 vectores, parte 2
 
02 vectores, parte 1
02 vectores, parte 102 vectores, parte 1
02 vectores, parte 1
 
01 introducción
01 introducción01 introducción
01 introducción
 
01 introducción
01 introducción01 introducción
01 introducción
 
Equilibrio ionico
Equilibrio ionicoEquilibrio ionico
Equilibrio ionico
 
Equilibrio quìmico
Equilibrio quìmicoEquilibrio quìmico
Equilibrio quìmico
 
Balanceo de ecuaciones químicas
Balanceo de ecuaciones químicasBalanceo de ecuaciones químicas
Balanceo de ecuaciones químicas
 
Ecuaciones químicas de
Ecuaciones químicas deEcuaciones químicas de
Ecuaciones químicas de
 
Ecuaciones químicas
Ecuaciones químicasEcuaciones químicas
Ecuaciones químicas
 
Relaciones cuantitativas
Relaciones cuantitativasRelaciones cuantitativas
Relaciones cuantitativas
 
Nomenclatura
NomenclaturaNomenclatura
Nomenclatura
 
Tabla periodica
Tabla periodicaTabla periodica
Tabla periodica
 
Radiación electromagnética
Radiación electromagnéticaRadiación electromagnética
Radiación electromagnética
 
Configuración electrónica
Configuración electrónicaConfiguración electrónica
Configuración electrónica
 
Teorias atomicas
Teorias atomicasTeorias atomicas
Teorias atomicas
 
Integrantes
IntegrantesIntegrantes
Integrantes
 
Argumentacion
ArgumentacionArgumentacion
Argumentacion
 
Integrantes
IntegrantesIntegrantes
Integrantes
 

LógicaMatemáticaConceptosProposicionesConectivos

  • 1. LÓGICA MATEMÁTICA INTEGRANTES  BAUTISTA RIVER  LARA IGNACIO  LARA JOANDRA  PAREDES VICTOR  VERA NATHALY
  • 2. CONCEPTO DE LÓGICA MATEMÁTICA La Lógica estudia la forma del razonamiento, es decir es la disciplina que trata de métodos de razonamiento.
  • 3. DEFINICIÓN Y CLASES DE PROPOSICIONES  Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a la vez.  Toda proposición consta de tres partes: un sujeto, un verbo y un complemento referido al verbo. La proposición es un elemento fundamental de la Lógica Matemática.
  • 4. EJEMPLOS DE PROPOSICIONES  p:Ecuador esta en América del sur  q:5x5=40  r: 4x -8 > 9  s:El 21 de diciembre se acabara el mundo  t:Hola ¿como te fue hoy?  w:¡Anda a estudiar!
  • 5. CONECTIVOS LÓGICOS EN PROPOSICIONES COMPUESTAS  Existen conectivos u operadores lógicos que permiten formar proposiciones compuestas, es decir, formadas por varias proposiciones
  • 6. LOS OPERADORES O CONECTORES BÁSICOS SON:  Conjunción (operador and)  Disyunción (operador or)  Negación (operador not)
  • 7. Conjunción (operador and)  Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. Ejemplo: Víctor va a jugar futbol cuando tenga tiempo y animo t:Victor va a jugar futbol. u:Cuando tenga tiempo. v:Cuando tengo animo. t = uˆv
  • 8. Disyunción (operador or)  Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera. Ejemplo: Para ir a Quito puedo tomar la vía por Los Bancos o la vía Aloag x:Ir a Quito y:tomar la vía Los Bancos z:tomar la vía Aloag x = yˇz
  • 9. Negación (operador not)  Su función es negar la proposición. Esto significa que sí alguna proposición es verdadera y se le aplica el operador not se obtendrá su negación (falso) y viceversa Ejemplo: El gato se come al ratón p: El gato se come al ratón p’: El gato no se come al ratón
  • 10. PROPOSICIONES CONDICIONALES  Una implicación o proposición condicional, es aquella que está formada por dos proposiciones simples (o compuesta) p y q. Se indica de la siguiente manera: y→z (se lee "si y entonces z")  Ejemplo.  Un profesionista dice "Si ahorro me podré comprar una casa en tres años ". Una declaración como esta  se conoce como condicional.  Sean:  y: Ahorro.  z: Podrá comprar una casa en tres años .
  • 11. PROPOSICIÓN BICONDICIONAL  Sean p y q dos proposiciones. Una doble implicación o proposición es bicondicional cuando p es verdadera si y solo si q es también verdadera. O bien p es falsa si y sólo si q también lo es. Se indica de la siguiente manera: p«q (se lee "p si y sólo si q") Ejemplo. Sea el siguiente enunciado: "Una persona puede votar, si y sólo si, tiene credencial de elector" Donde: p: Una persona puede votar. q: Tiene credencial de elector.