SlideShare a Scribd company logo
1 of 10
   La demostración de la validez de una
    proposición a través del razonamiento se
    fundamenta en otras proposiciones ya
    demostradas,      o   bien,   en    otras
    proposiciones    que   sin   haber   sido
    demostradas     las  aceptamos     como
    verdaderas

   Existen varios métodos de demostración
    como lo son: Métodos de superposición,
    métodos directos y métodos indirectos.
   Es un producto lógico del pensamiento que se expresa
    mediante el lenguaje, sea éste un lenguaje común,
    cuando adopta la forma de oración gramatical, o
    simbólico, cuando se expresa por medio de signos o
    símbolos.

   En Lógica tradicional se distinguen la proposición y el
    juicio, por cuanto la primera es el producto lógico del acto
    por el cual se afirma o se niega algo de algo, mientras ese
    acto constituye el juicio.

   Para Aristóteles, la proposición es un discurso enunciativo
    perfecto, que se expresa en un juicio que significa lo
    verdadero y lo falso como juicio de términos. Por eso el
    juicio es una afirmación categórica, es decir,
    incondicionada porque representa adecuadamente la
    realidad
   Son palabras y/o símbolos que enlazan
    proposiciones con el fin de construir un
    lenguajes (verbal o simbólico) más
    amplio.

   La jerarquía de las proposiciones son:
    negación, conjunción, disyunción, implic
    ación, incondicional y son asociadas por
    la izquierda.
   Leyes de la conjunción
   Leyes de la disyunción inclusiva




   Leyes de Morgan
   Leyes de absorción




   Leyes complementarias
   Si afirmo que los números impares son
    todos primos, una demostración de esta
    falseadas, o contraejemplo sería el
    número 9, que es un impar no primo.
    Otro ejemplo
Métodos de demostración directa e indirecta

More Related Content

What's hot

Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadpaquitogiron
 
verdad formal equivalencias gestion
  verdad formal equivalencias gestion  verdad formal equivalencias gestion
verdad formal equivalencias gestionYanina C.J
 
Circuitos logicos trabajo en equipo
Circuitos logicos trabajo en equipoCircuitos logicos trabajo en equipo
Circuitos logicos trabajo en equipojuancajusoldamian
 
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO Jomar Burgos Palacios
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposicionesCariela Loyo
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionWendy Estupiñan
 
Metodos de demostracion Directa e indirectaasignacion 1 norbely
Metodos de demostracion Directa e indirectaasignacion 1 norbelyMetodos de demostracion Directa e indirectaasignacion 1 norbely
Metodos de demostracion Directa e indirectaasignacion 1 norbelyN261190
 
Lógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalLógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalJuliho Castillo
 
Circuitos LóGicos
Circuitos LóGicosCircuitos LóGicos
Circuitos LóGicosrafael felix
 
Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadoresPacheco Huarotto, Luis
 
Problemas resueltos sobre inducción matemática
Problemas resueltos sobre inducción matemáticaProblemas resueltos sobre inducción matemática
Problemas resueltos sobre inducción matemáticaJ. Amauris Gelabert S.
 
Presentacion ecuaciones primer grado
Presentacion ecuaciones primer gradoPresentacion ecuaciones primer grado
Presentacion ecuaciones primer gradoBeatriz Fernández
 
Funciones Racionales
Funciones RacionalesFunciones Racionales
Funciones RacionalesCarmen Batiz
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica ProposicionalMaestroJCH
 

What's hot (20)

Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
Lógica matemáticas
Lógica matemáticasLógica matemáticas
Lógica matemáticas
 
verdad formal equivalencias gestion
  verdad formal equivalencias gestion  verdad formal equivalencias gestion
verdad formal equivalencias gestion
 
Circuitos logicos trabajo en equipo
Circuitos logicos trabajo en equipoCircuitos logicos trabajo en equipo
Circuitos logicos trabajo en equipo
 
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
 
Inferencia logica
Inferencia logicaInferencia logica
Inferencia logica
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposiciones
 
CIRCUITOS LOGICOS
CIRCUITOS LOGICOSCIRCUITOS LOGICOS
CIRCUITOS LOGICOS
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
 
La logica proposicional
La logica proposicionalLa logica proposicional
La logica proposicional
 
Metodos de demostracion Directa e indirectaasignacion 1 norbely
Metodos de demostracion Directa e indirectaasignacion 1 norbelyMetodos de demostracion Directa e indirectaasignacion 1 norbely
Metodos de demostracion Directa e indirectaasignacion 1 norbely
 
Lógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalLógica y Cálculo Proposicional
Lógica y Cálculo Proposicional
 
Circuitos LóGicos
Circuitos LóGicosCircuitos LóGicos
Circuitos LóGicos
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadores
 
Problemas resueltos sobre inducción matemática
Problemas resueltos sobre inducción matemáticaProblemas resueltos sobre inducción matemática
Problemas resueltos sobre inducción matemática
 
Presentacion ecuaciones primer grado
Presentacion ecuaciones primer gradoPresentacion ecuaciones primer grado
Presentacion ecuaciones primer grado
 
Funciones Racionales
Funciones RacionalesFunciones Racionales
Funciones Racionales
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 

Viewers also liked

Metodos didacticos
Metodos didacticosMetodos didacticos
Metodos didacticosanymendoza93
 
Teoremas Fundamentales Algebra de Boole
Teoremas Fundamentales Algebra de BooleTeoremas Fundamentales Algebra de Boole
Teoremas Fundamentales Algebra de BooleEmi Fernandez
 
Modus Ponendo Ponens
Modus Ponendo PonensModus Ponendo Ponens
Modus Ponendo PonensIsidorogg
 
Propiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguezPropiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguezsantiagoexaul
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferenciasMaria Gaitan
 

Viewers also liked (8)

Metodos de demostracion
Metodos de demostracionMetodos de demostracion
Metodos de demostracion
 
Metodos didacticos
Metodos didacticosMetodos didacticos
Metodos didacticos
 
Teoremas Fundamentales Algebra de Boole
Teoremas Fundamentales Algebra de BooleTeoremas Fundamentales Algebra de Boole
Teoremas Fundamentales Algebra de Boole
 
Modus Ponendo Ponens
Modus Ponendo PonensModus Ponendo Ponens
Modus Ponendo Ponens
 
Propiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguezPropiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguez
 
Leyes asociativa
Leyes asociativaLeyes asociativa
Leyes asociativa
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferencias
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 

Similar to Métodos de demostración directa e indirecta

Guia de derecho debate jurídico xxxxxxxxx
Guia de derecho debate jurídico xxxxxxxxxGuia de derecho debate jurídico xxxxxxxxx
Guia de derecho debate jurídico xxxxxxxxxFranciscaSantiago6
 
Lecturas de acuerdo al tema elegido. word
Lecturas de acuerdo al tema elegido. wordLecturas de acuerdo al tema elegido. word
Lecturas de acuerdo al tema elegido. wordEmilianoRomanRamosRa
 
D:\marlene leiva rodriguez_presentacion2[1].pptsliderware
D:\marlene leiva rodriguez_presentacion2[1].pptsliderwareD:\marlene leiva rodriguez_presentacion2[1].pptsliderware
D:\marlene leiva rodriguez_presentacion2[1].pptsliderwaremarlene luz leiva rodriguez
 
Restructura razonamiento
Restructura razonamientoRestructura razonamiento
Restructura razonamientokarinsms
 
Por qué es importarnte argumentar correctamente
Por qué es importarnte argumentar correctamentePor qué es importarnte argumentar correctamente
Por qué es importarnte argumentar correctamente101415
 
La lógica como principal recurso del razonamiento
La lógica como principal recurso del razonamientoLa lógica como principal recurso del razonamiento
La lógica como principal recurso del razonamientoquiroz123
 
El enunciado en la oración y el enfoque pragmático por Mayra Punina
El enunciado en la oración y el enfoque pragmático por Mayra PuninaEl enunciado en la oración y el enfoque pragmático por Mayra Punina
El enunciado en la oración y el enfoque pragmático por Mayra PuninaMayra Punina
 

Similar to Métodos de demostración directa e indirecta (20)

Guia de derecho debate jurídico xxxxxxxxx
Guia de derecho debate jurídico xxxxxxxxxGuia de derecho debate jurídico xxxxxxxxx
Guia de derecho debate jurídico xxxxxxxxx
 
Lecturas de acuerdo al tema elegido. word
Lecturas de acuerdo al tema elegido. wordLecturas de acuerdo al tema elegido. word
Lecturas de acuerdo al tema elegido. word
 
Lógica jurídica argumentos
Lógica jurídica   argumentosLógica jurídica   argumentos
Lógica jurídica argumentos
 
Formas del discurso_tema_4_5_6
Formas del discurso_tema_4_5_6Formas del discurso_tema_4_5_6
Formas del discurso_tema_4_5_6
 
Lenguaje juridico
Lenguaje juridicoLenguaje juridico
Lenguaje juridico
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Argumentacion
ArgumentacionArgumentacion
Argumentacion
 
la logica proposicional
la logica proposicionalla logica proposicional
la logica proposicional
 
la logica proposicional
la logica proposicionalla logica proposicional
la logica proposicional
 
la logica proposicional
la logica proposicional la logica proposicional
la logica proposicional
 
La logica proposicional
La logica proposicionalLa logica proposicional
La logica proposicional
 
D:\marlene leiva rodriguez_presentacion2[1].pptsliderware
D:\marlene leiva rodriguez_presentacion2[1].pptsliderwareD:\marlene leiva rodriguez_presentacion2[1].pptsliderware
D:\marlene leiva rodriguez_presentacion2[1].pptsliderware
 
la logica proposicional
la logica proposicionalla logica proposicional
la logica proposicional
 
Restructura razonamiento
Restructura razonamientoRestructura razonamiento
Restructura razonamiento
 
Por qué es importarnte argumentar correctamente
Por qué es importarnte argumentar correctamentePor qué es importarnte argumentar correctamente
Por qué es importarnte argumentar correctamente
 
Los principios logicos
Los principios logicosLos principios logicos
Los principios logicos
 
La lógica como principal recurso del razonamiento
La lógica como principal recurso del razonamientoLa lógica como principal recurso del razonamiento
La lógica como principal recurso del razonamiento
 
Diapositivas de Logica Juridica
Diapositivas de Logica JuridicaDiapositivas de Logica Juridica
Diapositivas de Logica Juridica
 
Presentación
PresentaciónPresentación
Presentación
 
El enunciado en la oración y el enfoque pragmático por Mayra Punina
El enunciado en la oración y el enfoque pragmático por Mayra PuninaEl enunciado en la oración y el enfoque pragmático por Mayra Punina
El enunciado en la oración y el enfoque pragmático por Mayra Punina
 

Métodos de demostración directa e indirecta

  • 1.
  • 2. La demostración de la validez de una proposición a través del razonamiento se fundamenta en otras proposiciones ya demostradas, o bien, en otras proposiciones que sin haber sido demostradas las aceptamos como verdaderas  Existen varios métodos de demostración como lo son: Métodos de superposición, métodos directos y métodos indirectos.
  • 3. Es un producto lógico del pensamiento que se expresa mediante el lenguaje, sea éste un lenguaje común, cuando adopta la forma de oración gramatical, o simbólico, cuando se expresa por medio de signos o símbolos.  En Lógica tradicional se distinguen la proposición y el juicio, por cuanto la primera es el producto lógico del acto por el cual se afirma o se niega algo de algo, mientras ese acto constituye el juicio.  Para Aristóteles, la proposición es un discurso enunciativo perfecto, que se expresa en un juicio que significa lo verdadero y lo falso como juicio de términos. Por eso el juicio es una afirmación categórica, es decir, incondicionada porque representa adecuadamente la realidad
  • 4. Son palabras y/o símbolos que enlazan proposiciones con el fin de construir un lenguajes (verbal o simbólico) más amplio.  La jerarquía de las proposiciones son: negación, conjunción, disyunción, implic ación, incondicional y son asociadas por la izquierda.
  • 5.
  • 6. Leyes de la conjunción
  • 7. Leyes de la disyunción inclusiva  Leyes de Morgan
  • 8. Leyes de absorción  Leyes complementarias
  • 9. Si afirmo que los números impares son todos primos, una demostración de esta falseadas, o contraejemplo sería el número 9, que es un impar no primo. Otro ejemplo