SlideShare a Scribd company logo
1 of 17
ING. SIST. BASADOS EN EL
       CONOCIMIENTO

2. REPRESENTACIÓN E INFERENCIA

   Haga clic para modificar el estilo de
           2.2 Características
           subtítulo del patrón
 2.3 Hipótesis de la representación del
     conocimiento por Brian Smith
INFERENCIA
• es una evaluación mental basado en
  la experiencia y siguiendo una
  línea lógica.

• Según la RAE es el verbo inferir es:
  "Sacar una consecuencia o deducir algo
  de otra cosa"
INFERENCIA
• Estos esquemas establecen
  relaciones sintácticas entre un conjunto
  de premisas y la conclusión.

• Estas relaciones sintácticas son usadas
  en el proceso de inferencia, por el que
  se llega a nuevas afirmaciones o se da
  por cierto algo.
REGLAS DE INFERENCIA
    LAS MAS RELEVANTES SON:
    • Modus ponens
    • Modus tollens
S. DE                          S. DE
 ENCADENAMIENTO               ENCADENAMIENTO
  HACIA ADELANTE                  HACIA ATRÁS



El primer paso es definir       Se comienza con la
   los datos iniciales       definición de las metas
                                     del sistema
                            “La estrategia de inferencia que
                             intenta probar una hipótesis
                             recolectando información de
                                        apoyo”.
MODUS PONENDOPONENS
Si A, entonces B
EJEMPLO:
• Si esta soleado, entonces es de día.
• Esta soleado.
• Por lo tanto, es de día
• Si Vladimir tiene rabia, es una gacela
• Vladimir tiene rabia.
• Por lo tanto, Vladimir es una gacela.
Modus ponendo Tollens
•   O bien A, o bien B
•   A
•   por lo tanto, no B
•   O bien es de día, o bien es de noche.
•   Es de día. Por lo tanto no es de
    noche
DOBLE NEGACIÓN
• ¬¬p "No ocurre que Ana no es una
  estudiante"
  ______________________________
  p "Ana es una estudiante"
ADJUNCIÓN
• p "Juan es cocinero"
  q "Pedro es policía"
  ______________________________
  p Λ q "Juan es cocinero y Pedro es
  policía"
SIMPLIFICACIÓN
• p Λ q "Tengo una manzana y
  tengo una pera“
__________________________
  p "Tengo una manzana"
  q "Tengo una pera"
MODUS TOLLENDO PONENS
• p V q "He ido al cine o me he ido
  de compras"
  ¬q "No he ido de compras"
  ___________________________
  p Por tanto, "he ido al cine"
LEY DE LA ADICION
• a "He comprado manzanas"
  __________________________
  a V b "He comprado manzanas o
  he comprado peras"
SILOGISMO HIPOTÉTICO
• p → q "Si la bola roja golpea a la bola blanca,
  la bola blanca se mueve"
  q → r "Si la bola blanca golpea a la bola negra,
  la bola negra se mueve"
  __________________________________
  p → r "Si la bola roja golpea a la bola blanca, la
  bola negra se mueve"
SILOGISMO DISYUNTIVO
• p → q "Si llueve, entonces las calles se mojan"
  r → s "Si la tierra tiembla, los edificios se
  caen"
  p V r "Llueve o la tierra tiembla"
  __________________________________
  q V s "Las calles se mojan o los edificios se
  caen"
SIMPLIFICACIÓN DISYUNTIVA
• p V q "Helado de fresa o helado de vainilla"
  p → r "Si tomas helado de fresa, entonces
  repites"
  q → r "Si tomas helado de vainilla, entonces
  repites"
  ______________________________
  r Luego, "repites"
SUS USOS
• Por Silogismo Hipotético (SH) de P1 y P2;
 P1: p->q
 P2: q->r
 ________
 P6: p->r

More Related Content

Viewers also liked

5. introduccion parte 4
5. introduccion parte 45. introduccion parte 4
5. introduccion parte 4norma8avila
 
1. sistemas computacionales parte3
1. sistemas computacionales parte31. sistemas computacionales parte3
1. sistemas computacionales parte3norma8avila
 
Conoc reglas-juego
Conoc reglas-juegoConoc reglas-juego
Conoc reglas-juegonorma8avila
 
4. repres e infer parte1
4. repres e infer parte14. repres e infer parte1
4. repres e infer parte1norma8avila
 
7. repres e infer parte4
7. repres e infer parte47. repres e infer parte4
7. repres e infer parte4norma8avila
 
4. introducciónx
4. introducciónx4. introducciónx
4. introducciónxnorma8avila
 
Neocognitron
NeocognitronNeocognitron
NeocognitronESCOM
 
Algoritmos Genéticos
Algoritmos GenéticosAlgoritmos Genéticos
Algoritmos GenéticosESCOM
 
1. sistemas computacionales parte1
1. sistemas computacionales parte11. sistemas computacionales parte1
1. sistemas computacionales parte1norma8avila
 
2. introduccion 2x
2. introduccion 2x2. introduccion 2x
2. introduccion 2xnorma8avila
 
3. introduccion parte3x
3. introduccion parte3x3. introduccion parte3x
3. introduccion parte3xnorma8avila
 
Ing. sist. basados conocimient ox
Ing. sist. basados conocimient oxIng. sist. basados conocimient ox
Ing. sist. basados conocimient oxnorma8avila
 
6. repres e infer parte3
6. repres e infer parte36. repres e infer parte3
6. repres e infer parte3norma8avila
 
1. introduccion 1x
1. introduccion 1x1. introduccion 1x
1. introduccion 1xnorma8avila
 
Ing. sist. basados conocimient ox
Ing. sist. basados conocimient oxIng. sist. basados conocimient ox
Ing. sist. basados conocimient oxnorma8avila
 
Reglas y hechos IA
Reglas y hechos IAReglas y hechos IA
Reglas y hechos IALuis Álamo
 
5 IntroduccióN A Los Sistemas Basados En Reglas Difusas
5 IntroduccióN A Los Sistemas Basados En Reglas Difusas5 IntroduccióN A Los Sistemas Basados En Reglas Difusas
5 IntroduccióN A Los Sistemas Basados En Reglas DifusasESCOM
 
5.2 Redes neuronales (RN) [investigación]
5.2 Redes neuronales (RN) [investigación]5.2 Redes neuronales (RN) [investigación]
5.2 Redes neuronales (RN) [investigación]Humberto Chalate Jorge
 
2. introduccion parte2
2. introduccion parte22. introduccion parte2
2. introduccion parte2norma8avila
 

Viewers also liked (20)

5. introduccion parte 4
5. introduccion parte 45. introduccion parte 4
5. introduccion parte 4
 
1. sistemas computacionales parte3
1. sistemas computacionales parte31. sistemas computacionales parte3
1. sistemas computacionales parte3
 
Conoc reglas-juego
Conoc reglas-juegoConoc reglas-juego
Conoc reglas-juego
 
4. repres e infer parte1
4. repres e infer parte14. repres e infer parte1
4. repres e infer parte1
 
7. repres e infer parte4
7. repres e infer parte47. repres e infer parte4
7. repres e infer parte4
 
4. introducciónx
4. introducciónx4. introducciónx
4. introducciónx
 
Neocognitron
NeocognitronNeocognitron
Neocognitron
 
Algoritmos Genéticos
Algoritmos GenéticosAlgoritmos Genéticos
Algoritmos Genéticos
 
1. sistemas computacionales parte1
1. sistemas computacionales parte11. sistemas computacionales parte1
1. sistemas computacionales parte1
 
2. introduccion 2x
2. introduccion 2x2. introduccion 2x
2. introduccion 2x
 
3. introduccion parte3x
3. introduccion parte3x3. introduccion parte3x
3. introduccion parte3x
 
Ing. sist. basados conocimient ox
Ing. sist. basados conocimient oxIng. sist. basados conocimient ox
Ing. sist. basados conocimient ox
 
6. repres e infer parte3
6. repres e infer parte36. repres e infer parte3
6. repres e infer parte3
 
4. aprendizaje
4. aprendizaje4. aprendizaje
4. aprendizaje
 
1. introduccion 1x
1. introduccion 1x1. introduccion 1x
1. introduccion 1x
 
Ing. sist. basados conocimient ox
Ing. sist. basados conocimient oxIng. sist. basados conocimient ox
Ing. sist. basados conocimient ox
 
Reglas y hechos IA
Reglas y hechos IAReglas y hechos IA
Reglas y hechos IA
 
5 IntroduccióN A Los Sistemas Basados En Reglas Difusas
5 IntroduccióN A Los Sistemas Basados En Reglas Difusas5 IntroduccióN A Los Sistemas Basados En Reglas Difusas
5 IntroduccióN A Los Sistemas Basados En Reglas Difusas
 
5.2 Redes neuronales (RN) [investigación]
5.2 Redes neuronales (RN) [investigación]5.2 Redes neuronales (RN) [investigación]
5.2 Redes neuronales (RN) [investigación]
 
2. introduccion parte2
2. introduccion parte22. introduccion parte2
2. introduccion parte2
 

More from norma8avila

Clip ejemplos animales
Clip ejemplos animalesClip ejemplos animales
Clip ejemplos animalesnorma8avila
 
7. repres e infer parte4
7. repres e infer parte47. repres e infer parte4
7. repres e infer parte4norma8avila
 
Ejemplos distribuciones
Ejemplos distribucionesEjemplos distribuciones
Ejemplos distribucionesnorma8avila
 
7. introducción parte 6
7. introducción parte 67. introducción parte 6
7. introducción parte 6norma8avila
 
6. introducción parte 5
6. introducción parte 56. introducción parte 5
6. introducción parte 5norma8avila
 
Actividad 1 contabilidad
Actividad 1 contabilidadActividad 1 contabilidad
Actividad 1 contabilidadnorma8avila
 
2. tipos de cuentas
2. tipos de cuentas2. tipos de cuentas
2. tipos de cuentasnorma8avila
 
1. principios contables
1. principios contables1. principios contables
1. principios contablesnorma8avila
 
1. representación el conocimiento
1. representación el conocimiento1. representación el conocimiento
1. representación el conocimientonorma8avila
 
Lectura1 historia de la admon
Lectura1 historia de la admonLectura1 historia de la admon
Lectura1 historia de la admonnorma8avila
 
1. introduccion 1x
1. introduccion 1x1. introduccion 1x
1. introduccion 1xnorma8avila
 
Practica 1 intro
Practica 1 introPractica 1 intro
Practica 1 intronorma8avila
 

More from norma8avila (18)

Clip ejemplos animales
Clip ejemplos animalesClip ejemplos animales
Clip ejemplos animales
 
8. diagramas
8. diagramas8. diagramas
8. diagramas
 
8. diagramas
8. diagramas8. diagramas
8. diagramas
 
Ejemplo
Ejemplo Ejemplo
Ejemplo
 
8. diagramas
8. diagramas8. diagramas
8. diagramas
 
Clips parte1
Clips parte1Clips parte1
Clips parte1
 
Practica2 solax
Practica2 solaxPractica2 solax
Practica2 solax
 
7. repres e infer parte4
7. repres e infer parte47. repres e infer parte4
7. repres e infer parte4
 
Ejemplos distribuciones
Ejemplos distribucionesEjemplos distribuciones
Ejemplos distribuciones
 
7. introducción parte 6
7. introducción parte 67. introducción parte 6
7. introducción parte 6
 
6. introducción parte 5
6. introducción parte 56. introducción parte 5
6. introducción parte 5
 
Actividad 1 contabilidad
Actividad 1 contabilidadActividad 1 contabilidad
Actividad 1 contabilidad
 
2. tipos de cuentas
2. tipos de cuentas2. tipos de cuentas
2. tipos de cuentas
 
1. principios contables
1. principios contables1. principios contables
1. principios contables
 
1. representación el conocimiento
1. representación el conocimiento1. representación el conocimiento
1. representación el conocimiento
 
Lectura1 historia de la admon
Lectura1 historia de la admonLectura1 historia de la admon
Lectura1 historia de la admon
 
1. introduccion 1x
1. introduccion 1x1. introduccion 1x
1. introduccion 1x
 
Practica 1 intro
Practica 1 introPractica 1 intro
Practica 1 intro
 

Recently uploaded

Criterios ESG: fundamentos, aplicaciones y beneficios
Criterios ESG: fundamentos, aplicaciones y beneficiosCriterios ESG: fundamentos, aplicaciones y beneficios
Criterios ESG: fundamentos, aplicaciones y beneficiosJonathanCovena1
 
Estrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónEstrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónLourdes Feria
 
plan de capacitacion docente AIP 2024 clllll.pdf
plan de capacitacion docente  AIP 2024          clllll.pdfplan de capacitacion docente  AIP 2024          clllll.pdf
plan de capacitacion docente AIP 2024 clllll.pdfenelcielosiempre
 
Programacion Anual Matemática4 MPG 2024 Ccesa007.pdf
Programacion Anual Matemática4    MPG 2024  Ccesa007.pdfProgramacion Anual Matemática4    MPG 2024  Ccesa007.pdf
Programacion Anual Matemática4 MPG 2024 Ccesa007.pdfDemetrio Ccesa Rayme
 
Qué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaQué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaDecaunlz
 
plande accion dl aula de innovación pedagogica 2024.pdf
plande accion dl aula de innovación pedagogica 2024.pdfplande accion dl aula de innovación pedagogica 2024.pdf
plande accion dl aula de innovación pedagogica 2024.pdfenelcielosiempre
 
INSTRUCCION PREPARATORIA DE TIRO .pptx
INSTRUCCION PREPARATORIA DE TIRO   .pptxINSTRUCCION PREPARATORIA DE TIRO   .pptx
INSTRUCCION PREPARATORIA DE TIRO .pptxdeimerhdz21
 
Programacion Anual Matemática5 MPG 2024 Ccesa007.pdf
Programacion Anual Matemática5    MPG 2024  Ccesa007.pdfProgramacion Anual Matemática5    MPG 2024  Ccesa007.pdf
Programacion Anual Matemática5 MPG 2024 Ccesa007.pdfDemetrio Ccesa Rayme
 
Dinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dDinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dstEphaniiie
 
actividades comprensión lectora para 3° grado
actividades comprensión lectora para 3° gradoactividades comprensión lectora para 3° grado
actividades comprensión lectora para 3° gradoJosDanielEstradaHern
 
Registro Auxiliar - Primaria 2024 (1).pptx
Registro Auxiliar - Primaria  2024 (1).pptxRegistro Auxiliar - Primaria  2024 (1).pptx
Registro Auxiliar - Primaria 2024 (1).pptxFelicitasAsuncionDia
 
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...JAVIER SOLIS NOYOLA
 
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLAACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLAJAVIER SOLIS NOYOLA
 
Cuaderno de trabajo Matemática 3 tercer grado.pdf
Cuaderno de trabajo Matemática 3 tercer grado.pdfCuaderno de trabajo Matemática 3 tercer grado.pdf
Cuaderno de trabajo Matemática 3 tercer grado.pdfNancyLoaa
 
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdfCurso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdfFrancisco158360
 
GUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdf
GUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdfGUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdf
GUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdfPaolaRopero2
 
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAEl Fortí
 
AFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA II
AFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA IIAFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA II
AFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA IIIsauraImbrondone
 

Recently uploaded (20)

Criterios ESG: fundamentos, aplicaciones y beneficios
Criterios ESG: fundamentos, aplicaciones y beneficiosCriterios ESG: fundamentos, aplicaciones y beneficios
Criterios ESG: fundamentos, aplicaciones y beneficios
 
Estrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónEstrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcción
 
plan de capacitacion docente AIP 2024 clllll.pdf
plan de capacitacion docente  AIP 2024          clllll.pdfplan de capacitacion docente  AIP 2024          clllll.pdf
plan de capacitacion docente AIP 2024 clllll.pdf
 
Programacion Anual Matemática4 MPG 2024 Ccesa007.pdf
Programacion Anual Matemática4    MPG 2024  Ccesa007.pdfProgramacion Anual Matemática4    MPG 2024  Ccesa007.pdf
Programacion Anual Matemática4 MPG 2024 Ccesa007.pdf
 
Qué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaQué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativa
 
plande accion dl aula de innovación pedagogica 2024.pdf
plande accion dl aula de innovación pedagogica 2024.pdfplande accion dl aula de innovación pedagogica 2024.pdf
plande accion dl aula de innovación pedagogica 2024.pdf
 
Medición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptxMedición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptx
 
INSTRUCCION PREPARATORIA DE TIRO .pptx
INSTRUCCION PREPARATORIA DE TIRO   .pptxINSTRUCCION PREPARATORIA DE TIRO   .pptx
INSTRUCCION PREPARATORIA DE TIRO .pptx
 
Programacion Anual Matemática5 MPG 2024 Ccesa007.pdf
Programacion Anual Matemática5    MPG 2024  Ccesa007.pdfProgramacion Anual Matemática5    MPG 2024  Ccesa007.pdf
Programacion Anual Matemática5 MPG 2024 Ccesa007.pdf
 
Dinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dDinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes d
 
actividades comprensión lectora para 3° grado
actividades comprensión lectora para 3° gradoactividades comprensión lectora para 3° grado
actividades comprensión lectora para 3° grado
 
Registro Auxiliar - Primaria 2024 (1).pptx
Registro Auxiliar - Primaria  2024 (1).pptxRegistro Auxiliar - Primaria  2024 (1).pptx
Registro Auxiliar - Primaria 2024 (1).pptx
 
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
 
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLAACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
 
Cuaderno de trabajo Matemática 3 tercer grado.pdf
Cuaderno de trabajo Matemática 3 tercer grado.pdfCuaderno de trabajo Matemática 3 tercer grado.pdf
Cuaderno de trabajo Matemática 3 tercer grado.pdf
 
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdfCurso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdf
 
Presentacion Metodología de Enseñanza Multigrado
Presentacion Metodología de Enseñanza MultigradoPresentacion Metodología de Enseñanza Multigrado
Presentacion Metodología de Enseñanza Multigrado
 
GUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdf
GUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdfGUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdf
GUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdf
 
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
 
AFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA II
AFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA IIAFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA II
AFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA II
 

5. repres e infer parte2

  • 1. ING. SIST. BASADOS EN EL CONOCIMIENTO 2. REPRESENTACIÓN E INFERENCIA Haga clic para modificar el estilo de 2.2 Características subtítulo del patrón 2.3 Hipótesis de la representación del conocimiento por Brian Smith
  • 2.
  • 3. INFERENCIA • es una evaluación mental basado en la experiencia y siguiendo una línea lógica. • Según la RAE es el verbo inferir es: "Sacar una consecuencia o deducir algo de otra cosa"
  • 4. INFERENCIA • Estos esquemas establecen relaciones sintácticas entre un conjunto de premisas y la conclusión. • Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas afirmaciones o se da por cierto algo.
  • 5. REGLAS DE INFERENCIA LAS MAS RELEVANTES SON: • Modus ponens • Modus tollens
  • 6. S. DE S. DE ENCADENAMIENTO ENCADENAMIENTO HACIA ADELANTE HACIA ATRÁS El primer paso es definir Se comienza con la los datos iniciales definición de las metas del sistema “La estrategia de inferencia que intenta probar una hipótesis recolectando información de apoyo”.
  • 7. MODUS PONENDOPONENS Si A, entonces B EJEMPLO: • Si esta soleado, entonces es de día. • Esta soleado. • Por lo tanto, es de día • Si Vladimir tiene rabia, es una gacela • Vladimir tiene rabia. • Por lo tanto, Vladimir es una gacela.
  • 8. Modus ponendo Tollens • O bien A, o bien B • A • por lo tanto, no B • O bien es de día, o bien es de noche. • Es de día. Por lo tanto no es de noche
  • 9. DOBLE NEGACIÓN • ¬¬p "No ocurre que Ana no es una estudiante" ______________________________ p "Ana es una estudiante"
  • 10. ADJUNCIÓN • p "Juan es cocinero" q "Pedro es policía" ______________________________ p Λ q "Juan es cocinero y Pedro es policía"
  • 11. SIMPLIFICACIÓN • p Λ q "Tengo una manzana y tengo una pera“ __________________________ p "Tengo una manzana" q "Tengo una pera"
  • 12. MODUS TOLLENDO PONENS • p V q "He ido al cine o me he ido de compras" ¬q "No he ido de compras" ___________________________ p Por tanto, "he ido al cine"
  • 13. LEY DE LA ADICION • a "He comprado manzanas" __________________________ a V b "He comprado manzanas o he comprado peras"
  • 14. SILOGISMO HIPOTÉTICO • p → q "Si la bola roja golpea a la bola blanca, la bola blanca se mueve" q → r "Si la bola blanca golpea a la bola negra, la bola negra se mueve" __________________________________ p → r "Si la bola roja golpea a la bola blanca, la bola negra se mueve"
  • 15. SILOGISMO DISYUNTIVO • p → q "Si llueve, entonces las calles se mojan" r → s "Si la tierra tiembla, los edificios se caen" p V r "Llueve o la tierra tiembla" __________________________________ q V s "Las calles se mojan o los edificios se caen"
  • 16. SIMPLIFICACIÓN DISYUNTIVA • p V q "Helado de fresa o helado de vainilla" p → r "Si tomas helado de fresa, entonces repites" q → r "Si tomas helado de vainilla, entonces repites" ______________________________ r Luego, "repites"
  • 17. SUS USOS • Por Silogismo Hipotético (SH) de P1 y P2; P1: p->q P2: q->r ________ P6: p->r