SlideShare una empresa de Scribd logo
1 de 10
LÓGICA
MATEMÁTICA
LÓGICA MATEMÁTICA
La Lógica es el estudio de los métodos y
principios que permiten distinguir el
razonamiento correcto del incorrecto y de
manera general se puede afirmar que la
Lógica Matemática surge de aplicar a la
Lógica los métodos de la Matemática.
RAZONAMIENTO LÓGICO
2. • Sin necesidad de conocimientos complicados o difíciles, se puede
determinar si algo que se oye o se lee, es verdad o es falso y se considera
que se ha hecho un razonamiento lógico.
Ejemplos:
1.-Cuatro más dos es igual a seis.Verdadero.
2.-Tres menos dos es cuatro. Falso.
VALOR DE VERDAD
Si se analiza una proposición se puede determinar si
esta es verdadera o falsa, el resultado se conoce
como valor de verdad.
Ejemplos :
a) Ecuador pertenece a la OTAN. Esta proposición tiene como valor de
verdad F.
b) Ecuador no pertenece a la OTAN. Esta proposición tiene como valor de
verdadV.
Notación.Toda proposición simple se puede remplazar por las letras: p, q, r, …
PROPOSICIONES
PROPOSICIÓN SIMPLE
Es una oración que puede ser verdadera o falsa pero no ambas a la vez.
Del ejemplo anterior son proposiciones simples las oraciones a), b), c) y f),
las otras no son proposiciones, pues, no se pueden determinar si son
verdaderas o falsas.
Observación. No toda oración puede ser proposición simple.
PROPOSICIÓN COMPUESTA
Es la unión de dos proposiciones simples mediante los operadores
lógicos: y, o, si … entonces, si y sólo si.
Notación.Toda proposición compuesta se puede remplazar por las letras:
P,Q, R, …
Ejemplo :
Determinar cuales de las siguientes oraciones son proposiciones
compuestas
a) Dos más cuatro es seis o uno más uno es dos. Si.
b) Quito está en Ecuador y en Europa. Si.
c) ¿Quién eres y hacia dónde vas? No.
d) Si cuatro es igual a cuatro entonces dos no es igual a uno. Si.
OPERADORES LÓGICOS
Dadas dos proposiciones simples, se puede formar una proposición
compuesta uniéndolas con los operadores lógicos que se describen a
continuación.
Conjunción
Sean p y q proposiciones, la conjunción entre se representa
por . Se lee: “ p y q ”. Se pueden unir dos proposiciones
simples usando la conjunción “y”
Ejemplos
Estoy el la Politécnica y estudio lógica matemática.
Hago deporte en Galápagos y trabajo en Pichincha.
Disyunción
Sean p y q proposiciones, la disyunción entre p y q se representa por p q
.Se lee: p o q . Se pueden unir dos proposiciones simples usando la
disyunción “o”.
Ejemplos
La Física es una ciencia o cero más uno es dos.
Es democracia o es dictadura.
El gato blanco o el gato negro.
FORMA PROPOSICIONAL
Una estructura lingüística que contiene por lo menos una variable libre,
se convierte en una proposición, cuando se sustituyen todas las variables
por símbolos, que denotan objetos del dominio
básico, recibe el nombre de forma proposicional.

Más contenido relacionado

La actualidad más candente

Logica matematica
Logica matematicaLogica matematica
Logica matematicaPEREZJUAN02
 
Objetivo unidad 1 Estructuras Discretas - Gunther Saldivia ing computacion
Objetivo unidad 1 Estructuras Discretas  - Gunther Saldivia ing computacionObjetivo unidad 1 Estructuras Discretas  - Gunther Saldivia ing computacion
Objetivo unidad 1 Estructuras Discretas - Gunther Saldivia ing computacionRespaldo 24 Web Hosting y Streaming
 
Logica matematica
Logica matematicaLogica matematica
Logica matematicadrakul09
 
Logica matematica definiciones
Logica matematica definicionesLogica matematica definiciones
Logica matematica definicionesPato Hernandez
 
1 ra sesion
1 ra sesion1 ra sesion
1 ra sesionGODA
 
El conocimiento colectivo desde un punto de vista lógico
El conocimiento colectivo desde un punto de vista lógicoEl conocimiento colectivo desde un punto de vista lógico
El conocimiento colectivo desde un punto de vista lógicoostale
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica_umecit_
 
Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)jhontello80
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALtrifonia2014
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemáticacarlos-arias
 

La actualidad más candente (17)

Guia1logica
Guia1logicaGuia1logica
Guia1logica
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Objetivo unidad 1 Estructuras Discretas - Gunther Saldivia ing computacion
Objetivo unidad 1 Estructuras Discretas  - Gunther Saldivia ing computacionObjetivo unidad 1 Estructuras Discretas  - Gunther Saldivia ing computacion
Objetivo unidad 1 Estructuras Discretas - Gunther Saldivia ing computacion
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Logica matematica definiciones
Logica matematica definicionesLogica matematica definiciones
Logica matematica definiciones
 
1 ra sesion
1 ra sesion1 ra sesion
1 ra sesion
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
El conocimiento colectivo desde un punto de vista lógico
El conocimiento colectivo desde un punto de vista lógicoEl conocimiento colectivo desde un punto de vista lógico
El conocimiento colectivo desde un punto de vista lógico
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Razonamiento monotono
Razonamiento monotonoRazonamiento monotono
Razonamiento monotono
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
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
 

Similar a Lógica matemática

Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Eivy Pereyra Carvalho
 
Unidad 1 - Lógica Proposicional
Unidad 1 - Lógica ProposicionalUnidad 1 - Lógica Proposicional
Unidad 1 - Lógica ProposicionalFernando Arcos
 
Logicaproposiciona phpapp01
Logicaproposiciona phpapp01Logicaproposiciona phpapp01
Logicaproposiciona phpapp01masquenumeros
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalyeimsor
 
Introducción a la lógica proposicional
Introducción a la lógica proposicionalIntroducción a la lógica proposicional
Introducción a la lógica proposicionalJesus García Asensio
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalKarlos Rivero
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematicaMaria_Olave
 
Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.olave_julian
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematicaFabian_Figueroa
 
Unidad ii-no-1
Unidad ii-no-1Unidad ii-no-1
Unidad ii-no-1choco-late
 
tERCERODESECUNDARIA.Lógica proposicional.pptx
tERCERODESECUNDARIA.Lógica proposicional.pptxtERCERODESECUNDARIA.Lógica proposicional.pptx
tERCERODESECUNDARIA.Lógica proposicional.pptxJUANLUISACEROVIERA2
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,alejandraquevedo24
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,alejandraquevedo24
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,alejandraquevedo24
 

Similar a Lógica matemática (20)

Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01
 
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
 
Logicaproposiciona phpapp01
Logicaproposiciona phpapp01Logicaproposiciona phpapp01
Logicaproposiciona phpapp01
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Introducción a la lógica proposicional
Introducción a la lógica proposicionalIntroducción a la lógica proposicional
Introducción a la lógica proposicional
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Presentación1
Presentación1Presentación1
Presentación1
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Algebra i unidad 1
Algebra i  unidad 1Algebra i  unidad 1
Algebra i unidad 1
 
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
 
Unidad ii-no-1
Unidad ii-no-1Unidad ii-no-1
Unidad ii-no-1
 
tERCERODESECUNDARIA.Lógica proposicional.pptx
tERCERODESECUNDARIA.Lógica proposicional.pptxtERCERODESECUNDARIA.Lógica proposicional.pptx
tERCERODESECUNDARIA.Lógica proposicional.pptx
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,
 

Lógica matemática

  • 2. LÓGICA MATEMÁTICA La Lógica es el estudio de los métodos y principios que permiten distinguir el razonamiento correcto del incorrecto y de manera general se puede afirmar que la Lógica Matemática surge de aplicar a la Lógica los métodos de la Matemática.
  • 3. RAZONAMIENTO LÓGICO 2. • Sin necesidad de conocimientos complicados o difíciles, se puede determinar si algo que se oye o se lee, es verdad o es falso y se considera que se ha hecho un razonamiento lógico. Ejemplos: 1.-Cuatro más dos es igual a seis.Verdadero. 2.-Tres menos dos es cuatro. Falso.
  • 4. VALOR DE VERDAD Si se analiza una proposición se puede determinar si esta es verdadera o falsa, el resultado se conoce como valor de verdad. Ejemplos : a) Ecuador pertenece a la OTAN. Esta proposición tiene como valor de verdad F. b) Ecuador no pertenece a la OTAN. Esta proposición tiene como valor de verdadV. Notación.Toda proposición simple se puede remplazar por las letras: p, q, r, …
  • 6. PROPOSICIÓN SIMPLE Es una oración que puede ser verdadera o falsa pero no ambas a la vez. Del ejemplo anterior son proposiciones simples las oraciones a), b), c) y f), las otras no son proposiciones, pues, no se pueden determinar si son verdaderas o falsas. Observación. No toda oración puede ser proposición simple.
  • 7. PROPOSICIÓN COMPUESTA Es la unión de dos proposiciones simples mediante los operadores lógicos: y, o, si … entonces, si y sólo si. Notación.Toda proposición compuesta se puede remplazar por las letras: P,Q, R, … Ejemplo : Determinar cuales de las siguientes oraciones son proposiciones compuestas a) Dos más cuatro es seis o uno más uno es dos. Si. b) Quito está en Ecuador y en Europa. Si. c) ¿Quién eres y hacia dónde vas? No. d) Si cuatro es igual a cuatro entonces dos no es igual a uno. Si.
  • 8. OPERADORES LÓGICOS Dadas dos proposiciones simples, se puede formar una proposición compuesta uniéndolas con los operadores lógicos que se describen a continuación. Conjunción Sean p y q proposiciones, la conjunción entre se representa por . Se lee: “ p y q ”. Se pueden unir dos proposiciones simples usando la conjunción “y” Ejemplos Estoy el la Politécnica y estudio lógica matemática. Hago deporte en Galápagos y trabajo en Pichincha.
  • 9. Disyunción Sean p y q proposiciones, la disyunción entre p y q se representa por p q .Se lee: p o q . Se pueden unir dos proposiciones simples usando la disyunción “o”. Ejemplos La Física es una ciencia o cero más uno es dos. Es democracia o es dictadura. El gato blanco o el gato negro.
  • 10. FORMA PROPOSICIONAL Una estructura lingüística que contiene por lo menos una variable libre, se convierte en una proposición, cuando se sustituyen todas las variables por símbolos, que denotan objetos del dominio básico, recibe el nombre de forma proposicional.