SlideShare une entreprise Scribd logo
1  sur  10
 LA LÓGICA ES UNA CIENCIA FORMAL QUE
ESTUDIA LOS PRINCIPIOS DE LA DEMOSTRACION
E INFERENCIA
 LA LÓGICA TRADICIONALMENTE SE CONSIDERÓ
UNA RAMA DE LA FILOSOFIA. PERO DESDE
FINALES DEL SIGLO XIX, SU FORMALIZACIÓN
SIMBÓLICA HA DEMOSTRADO UNA ÍNTIMA
RELACIÓN CON LAS MATEMATICAS, Y DIO LUGAR
A LA LOGICA MATEMATICA.
Es el estudio del razonamiento, que se refiere
específicamente a si el razonamiento es
correcto. La lógica se encuentra en la relacion
entre las afirmaciones y no en el contenido de
una afirmación en particular.
 UNA PROPOSICION ES UNA UNIDAD SEMANTICA
QUE PUEDE SER VERDADERA O FALSA;PERO N
AMBAS COSAS A LA VEZ.A ESTO SE LE CONOCE
COMO “VALOR DE VERDAD”.
EJEMPLOS:
 EL DIA ESA BONITO
 15+5=20
 ESTA LLOVISNANDO
NOTA:LOS ENUNCIADOS QUE EXPRESEN
ADMIRACION ,DUDA ,INTERROGACION ;NO SON
PROPOSICIONES.
 PROPOSICION ABIERTA
 PROPOSICION CERRADA
 ES AQUELLA QUE SU VALOR DE VERDAD NUNCA
CAMBIA.
EJEMPLO:
 QUITO ES LA CAPITAL DEL ECUADOR (V)
 LA LUNA ES UN PLANETA (F)
 2+8=10 (V)
 ESMERALDAS ES UNA PROVINCIA DE LA REGION
LITORAL (V)
ATOMICAS
MOLECULARES O COMPUESTAS
 SON AQUELLAS QUE CONTIENES UNA SOLA
PROPOSICION
EJEMPLO:
 ROSA CANTA
 2 ES UN NUMERO PAR
 QUITO CAPITAL DE ECUADOR
 SON AQUELLAS QUE CONTIENEN MAS DE UNA
PROPOSICION.
EJEMPLO:
 MARIA TRABAJA Y ROSA ESTUDIA
 JOSE Y CARLA SON HERMANOS DE JULIAN
 MANABI Y GUAYAS PERTENECN A LA REGION
COSTA
 LA LOGICA PROPOCIONAL ES LA MAS ANTIGUA Y
SIMPLE DE LAS FORMAS DE LOGICA.UTILIZANDO
UNA REPRESENTACION PRIMITIVA DEL
LENGUAJE,PERMITE REPRESENTAR Y MANIPULAR
ASERCIONES DE SOBRE EL MUNDO QUE NOS
RODEA.
 PERMITE EL RAZONAMIENTO A TRAVEZ DE UN
MECANISMO QUE PRIMERO EVALUA SENTENCIAS
SIMPLES Y LUEGO SENTENCIAS COMPLEJAS
FORMADAS MEDIANTE EL USO DE CONECTIOS
PROPOCISIONALES POR EJEMPLO: Y
(AND),O(OR).
 CONSISTE EN ABREVIAR O SIMBOLIZAR LA
PROPOSICIONES; ESTA SE REDUCEN A UNA SOLA
LETRA LAS CUALES TIENEN QUE SER minusculas
QUE VAN DESDE LA “p” HASTA EL FINAL DEL
AVECEDARIO.
EJEMPLO:
 <PIEDAD AMA A ANTONIO>
ESTA PROPOSSICION QUEDA SIMBOLIZADA POR
p,q,r,s.

Contenu connexe

En vedette

Publicidad informatica 2016
Publicidad informatica 2016Publicidad informatica 2016
Publicidad informatica 2016Gabriel Titto
 
Network Automation (Bay Area Juniper Networks Meetup)
Network Automation (Bay Area Juniper Networks Meetup)Network Automation (Bay Area Juniper Networks Meetup)
Network Automation (Bay Area Juniper Networks Meetup)Alejandro Salinas
 
Landsdale farm excursion
Landsdale farm excursionLandsdale farm excursion
Landsdale farm excursionBelindaB83
 
Super science experiments
Super science experimentsSuper science experiments
Super science experimentsBelindaB83
 

En vedette (6)

Publicidad informatica 2016
Publicidad informatica 2016Publicidad informatica 2016
Publicidad informatica 2016
 
2006biology1112
2006biology11122006biology1112
2006biology1112
 
Network Automation (Bay Area Juniper Networks Meetup)
Network Automation (Bay Area Juniper Networks Meetup)Network Automation (Bay Area Juniper Networks Meetup)
Network Automation (Bay Area Juniper Networks Meetup)
 
Naidoc week
Naidoc weekNaidoc week
Naidoc week
 
Landsdale farm excursion
Landsdale farm excursionLandsdale farm excursion
Landsdale farm excursion
 
Super science experiments
Super science experimentsSuper science experiments
Super science experiments
 

Similaire à Logica Matematica

Guias de filosofia once .pdf 2022
Guias de filosofia once .pdf 2022Guias de filosofia once .pdf 2022
Guias de filosofia once .pdf 2022Eddy Coufacks
 
Preámbulo a la lógica moderna
Preámbulo a la lógica modernaPreámbulo a la lógica moderna
Preámbulo a la lógica modernamel605
 
Preámbulo a la lógica moderna
Preámbulo a la lógica modernaPreámbulo a la lógica moderna
Preámbulo a la lógica modernamel605
 
Precursores de las nuevas corrientes
Precursores de las nuevas corrientesPrecursores de las nuevas corrientes
Precursores de las nuevas corrientesMaritza Beltrán
 

Similaire à Logica Matematica (6)

Ppt cepre uni 2016 - lógica i
Ppt cepre uni 2016 - lógica iPpt cepre uni 2016 - lógica i
Ppt cepre uni 2016 - lógica i
 
Guias de filosofia once .pdf 2022
Guias de filosofia once .pdf 2022Guias de filosofia once .pdf 2022
Guias de filosofia once .pdf 2022
 
Preámbulo a la lógica moderna
Preámbulo a la lógica modernaPreámbulo a la lógica moderna
Preámbulo a la lógica moderna
 
Preámbulo a la lógica moderna
Preámbulo a la lógica modernaPreámbulo a la lógica moderna
Preámbulo a la lógica moderna
 
Precursores de las nuevas corrientes
Precursores de las nuevas corrientesPrecursores de las nuevas corrientes
Precursores de las nuevas corrientes
 
Figuras literarias
Figuras literariasFiguras literarias
Figuras literarias
 

Logica Matematica

  • 1.  LA LÓGICA ES UNA CIENCIA FORMAL QUE ESTUDIA LOS PRINCIPIOS DE LA DEMOSTRACION E INFERENCIA  LA LÓGICA TRADICIONALMENTE SE CONSIDERÓ UNA RAMA DE LA FILOSOFIA. PERO DESDE FINALES DEL SIGLO XIX, SU FORMALIZACIÓN SIMBÓLICA HA DEMOSTRADO UNA ÍNTIMA RELACIÓN CON LAS MATEMATICAS, Y DIO LUGAR A LA LOGICA MATEMATICA.
  • 2. Es el estudio del razonamiento, que se refiere específicamente a si el razonamiento es correcto. La lógica se encuentra en la relacion entre las afirmaciones y no en el contenido de una afirmación en particular.
  • 3.  UNA PROPOSICION ES UNA UNIDAD SEMANTICA QUE PUEDE SER VERDADERA O FALSA;PERO N AMBAS COSAS A LA VEZ.A ESTO SE LE CONOCE COMO “VALOR DE VERDAD”. EJEMPLOS:  EL DIA ESA BONITO  15+5=20  ESTA LLOVISNANDO NOTA:LOS ENUNCIADOS QUE EXPRESEN ADMIRACION ,DUDA ,INTERROGACION ;NO SON PROPOSICIONES.
  • 4.  PROPOSICION ABIERTA  PROPOSICION CERRADA
  • 5.  ES AQUELLA QUE SU VALOR DE VERDAD NUNCA CAMBIA. EJEMPLO:  QUITO ES LA CAPITAL DEL ECUADOR (V)  LA LUNA ES UN PLANETA (F)  2+8=10 (V)  ESMERALDAS ES UNA PROVINCIA DE LA REGION LITORAL (V)
  • 7.  SON AQUELLAS QUE CONTIENES UNA SOLA PROPOSICION EJEMPLO:  ROSA CANTA  2 ES UN NUMERO PAR  QUITO CAPITAL DE ECUADOR
  • 8.  SON AQUELLAS QUE CONTIENEN MAS DE UNA PROPOSICION. EJEMPLO:  MARIA TRABAJA Y ROSA ESTUDIA  JOSE Y CARLA SON HERMANOS DE JULIAN  MANABI Y GUAYAS PERTENECN A LA REGION COSTA
  • 9.  LA LOGICA PROPOCIONAL ES LA MAS ANTIGUA Y SIMPLE DE LAS FORMAS DE LOGICA.UTILIZANDO UNA REPRESENTACION PRIMITIVA DEL LENGUAJE,PERMITE REPRESENTAR Y MANIPULAR ASERCIONES DE SOBRE EL MUNDO QUE NOS RODEA.  PERMITE EL RAZONAMIENTO A TRAVEZ DE UN MECANISMO QUE PRIMERO EVALUA SENTENCIAS SIMPLES Y LUEGO SENTENCIAS COMPLEJAS FORMADAS MEDIANTE EL USO DE CONECTIOS PROPOCISIONALES POR EJEMPLO: Y (AND),O(OR).
  • 10.  CONSISTE EN ABREVIAR O SIMBOLIZAR LA PROPOSICIONES; ESTA SE REDUCEN A UNA SOLA LETRA LAS CUALES TIENEN QUE SER minusculas QUE VAN DESDE LA “p” HASTA EL FINAL DEL AVECEDARIO. EJEMPLO:  <PIEDAD AMA A ANTONIO> ESTA PROPOSSICION QUEDA SIMBOLIZADA POR p,q,r,s.