SlideShare une entreprise Scribd logo
1  sur  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

Contenu connexe

Tendances

Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesMancast1
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposicionesCariela Loyo
 
4.1 definición del espacio vectorial y sus propiedades
4.1 definición del espacio vectorial y sus propiedades4.1 definición del espacio vectorial y sus propiedades
4.1 definición del espacio vectorial y sus propiedadesbreerico
 
Tablas De Verdad
Tablas De VerdadTablas De Verdad
Tablas De Verdadguest805c35
 
Proposiciones y su clasificación
Proposiciones y su clasificaciónProposiciones y su clasificación
Proposiciones y su clasificaciónangiegutierrez11
 
Ejercicios algebraproposicional
Ejercicios algebraproposicionalEjercicios algebraproposicional
Ejercicios algebraproposicionalMariexis Cova
 
Subespacios vectoriales
Subespacios vectorialesSubespacios vectoriales
Subespacios vectorialesBelen Calero
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL Kathy Mishell
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicionalelisa pizano
 
Función proposicional [recuperado]
Función proposicional [recuperado]Función proposicional [recuperado]
Función proposicional [recuperado]Victor Alegre
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basicaYanina C.J
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostracionesRafa Cruz
 

Tendances (20)

Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de Proposiciones
 
Metodos de demostracion
Metodos de demostracionMetodos de demostracion
Metodos de demostracion
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposiciones
 
4.1 definición del espacio vectorial y sus propiedades
4.1 definición del espacio vectorial y sus propiedades4.1 definición del espacio vectorial y sus propiedades
4.1 definición del espacio vectorial y sus propiedades
 
Tablas De Verdad
Tablas De VerdadTablas De Verdad
Tablas De Verdad
 
Lógica matemática2
Lógica matemática2Lógica matemática2
Lógica matemática2
 
Qué es la lógica matemática
Qué es la lógica matemáticaQué es la lógica matemática
Qué es la lógica matemática
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
OPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: PrácticaOPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: Práctica
 
Proposiciones y su clasificación
Proposiciones y su clasificaciónProposiciones y su clasificación
Proposiciones y su clasificación
 
Ejercicios algebraproposicional
Ejercicios algebraproposicionalEjercicios algebraproposicional
Ejercicios algebraproposicional
 
Tabla de verdad
Tabla de verdadTabla de verdad
Tabla de verdad
 
Subespacios vectoriales
Subespacios vectorialesSubespacios vectoriales
Subespacios vectoriales
 
La logica proposicional
La logica proposicionalLa logica proposicional
La logica proposicional
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Función proposicional [recuperado]
Función proposicional [recuperado]Función proposicional [recuperado]
Función proposicional [recuperado]
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basica
 
Sistemas de ecuaciones
Sistemas de ecuacionesSistemas de ecuaciones
Sistemas de ecuaciones
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostraciones
 

En vedette

Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en MatemáticaWilbert Tapia
 
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
 

En vedette (9)

Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
 
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
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 

Similaire à 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
 

Similaire à 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