SlideShare une entreprise Scribd logo
1  sur  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 logico
 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 verdad V.
 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 Logicos
 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.

Contenu connexe

Tendances

Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
yeimsor
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
Mariexis Cova
 
Logica matematica definiciones
Logica matematica definicionesLogica matematica definiciones
Logica matematica definiciones
Pato Hernandez
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
drakul09
 
Logica proporcional
Logica proporcionalLogica proporcional
Logica proporcional
marxita17
 

Tendances (19)

1.5 metodos demostracion
1.5 metodos demostracion1.5 metodos demostracion
1.5 metodos demostracion
 
1.2 equivalencias proposicionales
1.2 equivalencias proposicionales1.2 equivalencias proposicionales
1.2 equivalencias proposicionales
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Proposiciones
Proposiciones Proposiciones
Proposiciones
 
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
 
Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01
 
Objetivo unidad 1.pdf estructura discreta 1 jhonder orozco
Objetivo unidad 1.pdf estructura discreta 1 jhonder orozcoObjetivo unidad 1.pdf estructura discreta 1 jhonder orozco
Objetivo unidad 1.pdf estructura discreta 1 jhonder orozco
 
Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de Proposiciones
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
 
la logica proposicional
la logica proposicionalla logica proposicional
la logica proposicional
 
Logica matematica definiciones
Logica matematica definicionesLogica matematica definiciones
Logica matematica definiciones
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Logica proporcional
Logica proporcionalLogica proporcional
Logica proporcional
 
Anshi numeros
Anshi numerosAnshi numeros
Anshi numeros
 
Logica Matematica
Logica MatematicaLogica Matematica
Logica Matematica
 
Lógica (José Manuel Pajares Hurtado)
Lógica (José Manuel Pajares Hurtado)Lógica (José Manuel Pajares Hurtado)
Lógica (José Manuel Pajares Hurtado)
 
Metodos de demostracion matematica..
Metodos de demostracion matematica..Metodos de demostracion matematica..
Metodos de demostracion matematica..
 
Guia1logica
Guia1logicaGuia1logica
Guia1logica
 

En vedette (8)

Actividad de reconocimiento_logica_matematica[1]
Actividad de reconocimiento_logica_matematica[1]Actividad de reconocimiento_logica_matematica[1]
Actividad de reconocimiento_logica_matematica[1]
 
Reconocimiento logica matematica
Reconocimiento logica matematicaReconocimiento logica matematica
Reconocimiento logica matematica
 
Curso de lógica matemática reconocimiento
Curso de lógica matemática   reconocimientoCurso de lógica matemática   reconocimiento
Curso de lógica matemática reconocimiento
 
Contenido De Logica Matematica
Contenido De Logica MatematicaContenido De Logica Matematica
Contenido De Logica Matematica
 
Trabajo final colaborativo 1
Trabajo final colaborativo 1Trabajo final colaborativo 1
Trabajo final colaborativo 1
 
ACTIVIDAD 6 LOGICA MATEMATICA
ACTIVIDAD 6 LOGICA MATEMATICAACTIVIDAD 6 LOGICA MATEMATICA
ACTIVIDAD 6 LOGICA MATEMATICA
 
A QUE VIENE LA LOGICA
A QUE VIENE LA LOGICAA QUE VIENE LA LOGICA
A QUE VIENE LA LOGICA
 
Actividad 2
Actividad 2Actividad 2
Actividad 2
 

Similaire à Lógica matemática (1)

Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
erick_97
 
Logicaproposiciona phpapp01
Logicaproposiciona phpapp01Logicaproposiciona phpapp01
Logicaproposiciona phpapp01
masquenumeros
 

Similaire à Lógica matemática (1) (20)

Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Presentación1
Presentación1Presentación1
Presentación1
 
Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01
 
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 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
 
Orlando1
Orlando1Orlando1
Orlando1
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Unidad 1 - Lógica Proposicional
Unidad 1 - Lógica ProposicionalUnidad 1 - Lógica Proposicional
Unidad 1 - Lógica Proposicional
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Logicaproposiciona phpapp01
Logicaproposiciona phpapp01Logicaproposiciona phpapp01
Logicaproposiciona phpapp01
 
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
 
Calculo proposicional - Introducción
Calculo proposicional - IntroducciónCalculo proposicional - Introducción
Calculo proposicional - Introducción
 
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,,
 
LOGICA DE PROPOSICIONES.ppt
LOGICA DE PROPOSICIONES.pptLOGICA DE PROPOSICIONES.ppt
LOGICA DE PROPOSICIONES.ppt
 

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)

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
 
Buenos_Aires_Meetup_Redis_20240430_.pptx
Buenos_Aires_Meetup_Redis_20240430_.pptxBuenos_Aires_Meetup_Redis_20240430_.pptx
Buenos_Aires_Meetup_Redis_20240430_.pptx
 
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
 
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
 
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.
 
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
 
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
 
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
 
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
 
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...
 

Lógica matemática (1)

  • 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 logico  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 verdad V.  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 Logicos  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.