SlideShare ist ein Scribd-Unternehmen logo
1 von 8
Downloaden Sie, um offline zu lesen
Matemática y Lógica
Ing. Julio Núñez Cheng 1
SESIÓN Nº 14
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
En la Sesión Nº 13 estudiamos la validez de una inferencia por medio de la
Tabla de Valores:
Si resulta tautológica : Es válida
Si resulta contingente : No es válida
Hallar la validez de la inferencia mediante tabla de valores.-
Interpretar el resultado.
[ ](q r) p )r ) (( p r↔ ∧ ¬ ↔∧ →
1 3 2
Es Contingente
INTERPRETACION: La inferencia no es válida porque la conjunción de
premisas no implica a la conclusión, por lo tanto la conclusión no se deriva
de las premisas
p q r r ∧∧∧∧ p → ( q↔r ) ∧∧∧∧ (p )r¬ ↔
V V V V F V F F
V V F F V F V V
V F V V F F F F
V F F F V V V V
F V V F V V V V
F V F F V F F F
F F V F V F V V
F F F F V V F F
Recordemos el procedimiento mediante un ejemplo
Matemática y Lógica
Ing. Julio Núñez Cheng 2
Muy Importante
Válida
Tener las tablas de valores de las proposiciones compuestas: Conjuntiva,
Disyunción Inclusiva, Disyunción Exclusiva, Condicional y Bicondicional;
a fin de comprender el procedimiento, además de las reglas mencionadas.
“El método abreviado,
simplifica el uso de tabla
de valores, para lo cual
se debe seguir un
conjunto de reglas”
1º Suponer que la conclusión es FALSA.
2º Suponer que todas las premisas son VERDADERAS
3º Partiendo de la conclusión, se determina los valores
de Verdad de p, q, r.
4º Los valores de verdad hallados en la conclusión se
trasladan a la primera premisa de preferencia, y luego
a la segunda, tercera, etc.
5º Si los valores de verdad de p, q, r toman un solo
valor, la inferencia es No Válida.
6º Basta que una de las variables (p, q, r) tome dos
valores de verdad, entonces la inferencia será válida.
Matemática y Lógica
Ing. Julio Núñez Cheng 3
Por ejemplo:
1) Hallar la validez de la inferencia por el método abreviado.
p q primera premisa
q p segunda premisa
p q conclusión
La inferencia puede escribirse en forma horizontal:
Premisa Premisa Conclusión
p q q p p q
1º Regla: Suponer que la conclusión es falsa: Por lo tanto: p puede ser
verdadera y q falsa (bicondicional).
V F
p q q p p q
F
2º Regla: Que todas las premisas son VERDADERAS.
V F
p q q p p q
V V F
3º Regla: Se conoce los valores de p, q deducida de la conclusión según
la regla No 01:
p = V q = F
¿Puede ser?
p: F
q: V
¡Claro!
Matemática y Lógica
Ing. Julio Núñez Cheng 4
4º Regla: Siendo p = V, para que la primera premisa resulte verdadera,
entonces el valor de q debe ser verdadero (condicional).
V V V F
p q q p p q
V V F
El valor de q = V lo trasladamos a la segunda premisa, y por lo tanto el
valor de p también debe ser verdadero.
V V V V V F
p q q p p q
V V F
¿Cuáles son los valores de verdad de p y q?
p = V q = V q = F
6º Regla: Según esta regla, q toma dos valores de verdad, en
consecuencia la inferencia es válida.
2) Hallar la validez de la inferencia por el método abreviado.
p q primera premisa
p segunda premisa
q conclusión
Observación: Si se traslada el valor de q = F a la primera
premisa y luego a la segunda, se obtiene que los valores de
verdad de p = V p = F.
¡Comprobar!
¿Y la 5ta regla?
En este caso no
se aplica
Matemática y Lógica
Ing. Julio Núñez Cheng 5
Escribiendo la inferencia en forma horizontal
Premisa Premisa Conclusión
p q p q
1º Regla: Conclusión Falsa
p q p q
F
2º Regla: Las premisas verdaderas.
p q p q
V V F
3º Regla: El valor de q = F
4º Regla: El valor de q se traslada a la primera premisa y por lo tanto el valor
de p = F.
Si el valor de q = F P = F, para que resulte verdadera la primera
premisa (Ver Tabla de Valores de la Condicional).
F F
p q p q
V V F
¿Cuáles son los valores de verdad de p y q?
En la primera premisa el valor de p es falso.
En la segunda premisa el valor de p es verdadero (regla Nº 2)
p = F q = F p = V q = F
Matemática y Lógica
Ing. Julio Núñez Cheng 6
¿Cuántos valores toman p?
3.- Mediante el método abreviado demostrar que la siguiente inferencia es no
válida:
[ ]{ }) )( (p q r r p q→ ∨ ¬ ∧ ∨ ¬→ ¬
¿Cuantas premisas Hay?
P q r∨ ¬ r p q¬ ∨¬
¡Continuar con el procedimiento!
Como comprobación usar las tablas de valores
Dos valores: p = F p = V por lo tanto según la regla Nº 6 la
inferencia es válida.
¡Conclusión!
Resolver los ejercicios que a continuación
se presentan:
¡Verificar usando los dos métodos!
Matemática y Lógica
Ing. Julio Núñez Cheng 7
AUTOEVALUACIÓN
1. Hallar la validez de las inferencias utilizando tablas de valores:
a.- p V q
p ~ q
b.- p q
r
r q
c.- p q
~ q
~ p
2. Usando el método abreviado, hallar la validez de las inferencias:
a.- p V q
~ p
q
b.- p ~ q
q v r
~ r
~ q
Matemática y Lógica
Ing. Julio Núñez Cheng 8
c.- p V q
p ~ q
LÓGICA DE PREDICADOR O CUANTIFICACIONAL
Los métodos estudiados en las sesiones Nº 3 y Nº 4 para demostrar la
validez de una inferencia no son suficientes para examinar otros tipos. Así
por ejemplo:
Si todos los cuadrúpedos son mamíferos
Y todos los perros son cuadrúpedos
Entonces todos los perros son mamíferos.
Esta inferencia que se puede escribir:
p
q
r
¡Se puede demostrar mediante tabla de valores o por el método abreviado
que la inferencia es inválida!
Sin embargo, de forma intuitiva se puede deducir que es válida.
Fin de la sesión
Julio Núñez Cheng
junuche@hotmail.com
Por tanto, podemos establecer que la validez depende no solo de las
relaciones existentes entre las proposiciones, sino de las relaciones
entre los elementos de sus proposiciones (términos).

Weitere ähnliche Inhalte

Was ist angesagt?

Esquemas moleculares
Esquemas molecularesEsquemas moleculares
Esquemas moleculares
sandovix
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
Ara Narvaez
 
lógica :Método de las Derivaciones
lógica :Método de las Derivacioneslógica :Método de las Derivaciones
lógica :Método de las Derivaciones
Juan F.Guevara
 

Was ist angesagt? (20)

Esquemas moleculares
Esquemas molecularesEsquemas moleculares
Esquemas moleculares
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logica
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
Logica y circuitos logicos ok
Logica y circuitos logicos okLogica y circuitos logicos ok
Logica y circuitos logicos ok
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
lógica :Método de las Derivaciones
lógica :Método de las Derivacioneslógica :Método de las Derivaciones
lógica :Método de las Derivaciones
 
Ejemplos de logica proposicional
Ejemplos de logica proposicionalEjemplos de logica proposicional
Ejemplos de logica proposicional
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
Equivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaEquivalencias y reglas de inferencia
Equivalencias y reglas de inferencia
 
Leyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosLeyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntos
 
Modus Tollendo y Modus Ponendo
Modus Tollendo y Modus PonendoModus Tollendo y Modus Ponendo
Modus Tollendo y Modus Ponendo
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
La logica proposicional
La logica proposicionalLa logica proposicional
La logica proposicional
 
inferencias logicas
inferencias logicasinferencias logicas
inferencias logicas
 
Inferencia logica
Inferencia logicaInferencia logica
Inferencia logica
 
Ejercicios resueltos rdi ss
Ejercicios resueltos   rdi ssEjercicios resueltos   rdi ss
Ejercicios resueltos rdi ss
 
1 enunciados y proposiciones 6
1 enunciados y proposiciones 61 enunciados y proposiciones 6
1 enunciados y proposiciones 6
 
Implicaciones Notables
Implicaciones NotablesImplicaciones Notables
Implicaciones Notables
 

Andere mochten auch

Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
herostara
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
Wendy Estupiñan
 
Preguntas sobre premisas y conclusiones lógicas
Preguntas sobre premisas y conclusiones lógicasPreguntas sobre premisas y conclusiones lógicas
Preguntas sobre premisas y conclusiones lógicas
carlospuertasaguilar
 
Sesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesSesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposiciones
Wilderd Cabanillas Campos
 
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
Wilbert Tapia
 

Andere mochten auch (20)

Lógica y Cálculo Proposicional I
Lógica y Cálculo Proposicional ILógica y Cálculo Proposicional I
Lógica y Cálculo Proposicional I
 
Pruebas de Validez e invalidez lógica
Pruebas de Validez e invalidez lógicaPruebas de Validez e invalidez lógica
Pruebas de Validez e invalidez lógica
 
Programación en lenguajes Estructurados - Lógica Computacional
Programación en lenguajes Estructurados - Lógica ComputacionalProgramación en lenguajes Estructurados - Lógica Computacional
Programación en lenguajes Estructurados - Lógica Computacional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Lógica (José Manuel Pajares Hurtado)
Lógica (José Manuel Pajares Hurtado)Lógica (José Manuel Pajares Hurtado)
Lógica (José Manuel Pajares Hurtado)
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
 
Problemas y enunciados
Problemas y enunciadosProblemas y enunciados
Problemas y enunciados
 
Filosofía de la Naturaleza: Cosmovisiones científicas del Universo
Filosofía de la Naturaleza: Cosmovisiones científicas del UniversoFilosofía de la Naturaleza: Cosmovisiones científicas del Universo
Filosofía de la Naturaleza: Cosmovisiones científicas del Universo
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
 
Tema 1 filosofía
Tema 1 filosofíaTema 1 filosofía
Tema 1 filosofía
 
Filosofía antigua
Filosofía antiguaFilosofía antigua
Filosofía antigua
 
Preguntas sobre premisas y conclusiones lógicas
Preguntas sobre premisas y conclusiones lógicasPreguntas sobre premisas y conclusiones lógicas
Preguntas sobre premisas y conclusiones lógicas
 
Como nace un paradigma
Como nace un paradigmaComo nace un paradigma
Como nace un paradigma
 
Circuitos lógicos y leyes lógicas
Circuitos lógicos y leyes lógicasCircuitos lógicos y leyes lógicas
Circuitos lógicos y leyes lógicas
 
Sesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesSesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposiciones
 
Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 Logica Proposicional
Taller2 Logica Proposicional
 
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
 
Platón 2.0
Platón 2.0Platón 2.0
Platón 2.0
 

Ähnlich wie VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO

Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
Ger Castillo
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
Ger Castillo
 
Trabajo estruccturas discretas tema 1 manuel alfredo
Trabajo estruccturas discretas tema 1 manuel alfredoTrabajo estruccturas discretas tema 1 manuel alfredo
Trabajo estruccturas discretas tema 1 manuel alfredo
magom13196829
 
Demostraciones Formales
Demostraciones FormalesDemostraciones Formales
Demostraciones Formales
nerdito
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palma
ASIGNACIONUFT
 
Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.
Frank Perez
 

Ähnlich wie VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO (20)

Logica matematica razonamiento
Logica matematica   razonamientoLogica matematica   razonamiento
Logica matematica razonamiento
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
 
Trabajo estruccturas discretas tema 1 manuel alfredo
Trabajo estruccturas discretas tema 1 manuel alfredoTrabajo estruccturas discretas tema 1 manuel alfredo
Trabajo estruccturas discretas tema 1 manuel alfredo
 
FMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdfFMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdf
 
TABLAS DE VERDAD PROPOSICIONES MATEMATICAS
TABLAS DE VERDAD PROPOSICIONES MATEMATICASTABLAS DE VERDAD PROPOSICIONES MATEMATICAS
TABLAS DE VERDAD PROPOSICIONES MATEMATICAS
 
Logica
LogicaLogica
Logica
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
Problemas1 (algunas soluciones)
Problemas1 (algunas soluciones)Problemas1 (algunas soluciones)
Problemas1 (algunas soluciones)
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Demostraciones Formales
Demostraciones FormalesDemostraciones Formales
Demostraciones Formales
 
Ppts 2-tablas de verdad - t-c-c1
Ppts 2-tablas de verdad - t-c-c1Ppts 2-tablas de verdad - t-c-c1
Ppts 2-tablas de verdad - t-c-c1
 
14118030 nociones-de-logica
14118030 nociones-de-logica14118030 nociones-de-logica
14118030 nociones-de-logica
 
Ing. Civil - Cuadernillo 2018
Ing. Civil  - Cuadernillo 2018Ing. Civil  - Cuadernillo 2018
Ing. Civil - Cuadernillo 2018
 
Lógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalLógica y Cálculo Proposicional
Lógica y Cálculo Proposicional
 
LibroAlgebra.pdf
LibroAlgebra.pdfLibroAlgebra.pdf
LibroAlgebra.pdf
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palma
 
proposiciones
proposicionesproposiciones
proposiciones
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.
 

Mehr von Jomar Burgos Palacios

Mehr von Jomar Burgos Palacios (20)

Presentacion proyecto - Física
Presentacion proyecto - FísicaPresentacion proyecto - Física
Presentacion proyecto - Física
 
Avance de proyecto - Física
Avance de proyecto - FísicaAvance de proyecto - Física
Avance de proyecto - Física
 
Corriente eléctrica - Física
Corriente eléctrica - Física Corriente eléctrica - Física
Corriente eléctrica - Física
 
Aplicaciones de ecuaciones de bernoulli
Aplicaciones de ecuaciones de bernoulliAplicaciones de ecuaciones de bernoulli
Aplicaciones de ecuaciones de bernoulli
 
Enunciado java - Ejercicio Básico
Enunciado java - Ejercicio BásicoEnunciado java - Ejercicio Básico
Enunciado java - Ejercicio Básico
 
4. java poo joptionpane - Lenguaje de Programación JAVA - POO 2018.
4. java poo   joptionpane - Lenguaje de Programación JAVA - POO 2018.4. java poo   joptionpane - Lenguaje de Programación JAVA - POO 2018.
4. java poo joptionpane - Lenguaje de Programación JAVA - POO 2018.
 
3. java poo operadores logicos - Lenguaje de Programación JAVA - POO 2018
3. java poo   operadores logicos - Lenguaje de Programación JAVA - POO 20183. java poo   operadores logicos - Lenguaje de Programación JAVA - POO 2018
3. java poo operadores logicos - Lenguaje de Programación JAVA - POO 2018
 
2. java poo - Lenguaje de Programación JAVA - POO 2018.
2. java poo - Lenguaje de Programación JAVA - POO 2018.2. java poo - Lenguaje de Programación JAVA - POO 2018.
2. java poo - Lenguaje de Programación JAVA - POO 2018.
 
1. java poo - Lenguaje de Programación JAVA - POO 2018.
1. java poo - Lenguaje de Programación JAVA - POO 2018.1. java poo - Lenguaje de Programación JAVA - POO 2018.
1. java poo - Lenguaje de Programación JAVA - POO 2018.
 
Primer plano – basico en m visio
Primer plano – basico en m visioPrimer plano – basico en m visio
Primer plano – basico en m visio
 
Excel FORMATOS CONDICIONALES
Excel FORMATOS CONDICIONALESExcel FORMATOS CONDICIONALES
Excel FORMATOS CONDICIONALES
 
Formatos en excel
Formatos en excelFormatos en excel
Formatos en excel
 
ALGEBRA . CIRCUITOS LOGICOS
ALGEBRA . CIRCUITOS LOGICOSALGEBRA . CIRCUITOS LOGICOS
ALGEBRA . CIRCUITOS LOGICOS
 
L Ó G I C A . MATEMÁTICA
L Ó G I C A . MATEMÁTICAL Ó G I C A . MATEMÁTICA
L Ó G I C A . MATEMÁTICA
 
Solucionario algebra de baldor
Solucionario algebra de baldor Solucionario algebra de baldor
Solucionario algebra de baldor
 
Gran Libro - Baldor [Matematica Pura]
Gran Libro - Baldor [Matematica Pura]Gran Libro - Baldor [Matematica Pura]
Gran Libro - Baldor [Matematica Pura]
 
Gestión de operaciones obtener ruta critica
Gestión de operaciones obtener ruta criticaGestión de operaciones obtener ruta critica
Gestión de operaciones obtener ruta critica
 
Insertar editarborrar registros sql_server_tutorial 2015
Insertar editarborrar registros sql_server_tutorial 2015Insertar editarborrar registros sql_server_tutorial 2015
Insertar editarborrar registros sql_server_tutorial 2015
 
C# conexión sql server2012-visualstudio2012-mantenimientos
C#   conexión sql server2012-visualstudio2012-mantenimientosC#   conexión sql server2012-visualstudio2012-mantenimientos
C# conexión sql server2012-visualstudio2012-mantenimientos
 
09 guiados spinner Java
09 guiados spinner Java09 guiados spinner Java
09 guiados spinner Java
 

Kürzlich hochgeladen

NUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdf
NUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdfNUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdf
NUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdf
UPTAIDELTACHIRA
 
RESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptx
RESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptxRESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptx
RESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptx
pvtablets2023
 
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
EliaHernndez7
 
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptxConcepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Fernando Solis
 

Kürzlich hochgeladen (20)

Sesión de clase APC: Los dos testigos.pdf
Sesión de clase APC: Los dos testigos.pdfSesión de clase APC: Los dos testigos.pdf
Sesión de clase APC: Los dos testigos.pdf
 
CONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptx
CONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptxCONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptx
CONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptx
 
Biografía de Charles Coulomb física .pdf
Biografía de Charles Coulomb física .pdfBiografía de Charles Coulomb física .pdf
Biografía de Charles Coulomb física .pdf
 
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
SESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.docSESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.doc
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
 
La Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración AmbientalLa Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración Ambiental
 
origen y desarrollo del ensayo literario
origen y desarrollo del ensayo literarioorigen y desarrollo del ensayo literario
origen y desarrollo del ensayo literario
 
Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024
 
Infografía EE con pie del 2023 (3)-1.pdf
Infografía EE con pie del 2023 (3)-1.pdfInfografía EE con pie del 2023 (3)-1.pdf
Infografía EE con pie del 2023 (3)-1.pdf
 
NUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdf
NUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdfNUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdf
NUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdf
 
Power Point E. S.: Los dos testigos.pptx
Power Point E. S.: Los dos testigos.pptxPower Point E. S.: Los dos testigos.pptx
Power Point E. S.: Los dos testigos.pptx
 
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLAACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
 
PLAN DE REFUERZO ESCOLAR MERC 2024-2.docx
PLAN DE REFUERZO ESCOLAR MERC 2024-2.docxPLAN DE REFUERZO ESCOLAR MERC 2024-2.docx
PLAN DE REFUERZO ESCOLAR MERC 2024-2.docx
 
FUERZA Y MOVIMIENTO ciencias cuarto basico.ppt
FUERZA Y MOVIMIENTO ciencias cuarto basico.pptFUERZA Y MOVIMIENTO ciencias cuarto basico.ppt
FUERZA Y MOVIMIENTO ciencias cuarto basico.ppt
 
Power Point: Fe contra todo pronóstico.pptx
Power Point: Fe contra todo pronóstico.pptxPower Point: Fe contra todo pronóstico.pptx
Power Point: Fe contra todo pronóstico.pptx
 
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptxLA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
 
RESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptx
RESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptxRESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptx
RESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptx
 
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
 
Supuestos_prácticos_funciones.docx
Supuestos_prácticos_funciones.docxSupuestos_prácticos_funciones.docx
Supuestos_prácticos_funciones.docx
 
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptxConcepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptx
 

VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO

  • 1. Matemática y Lógica Ing. Julio Núñez Cheng 1 SESIÓN Nº 14 VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO En la Sesión Nº 13 estudiamos la validez de una inferencia por medio de la Tabla de Valores: Si resulta tautológica : Es válida Si resulta contingente : No es válida Hallar la validez de la inferencia mediante tabla de valores.- Interpretar el resultado. [ ](q r) p )r ) (( p r↔ ∧ ¬ ↔∧ → 1 3 2 Es Contingente INTERPRETACION: La inferencia no es válida porque la conjunción de premisas no implica a la conclusión, por lo tanto la conclusión no se deriva de las premisas p q r r ∧∧∧∧ p → ( q↔r ) ∧∧∧∧ (p )r¬ ↔ V V V V F V F F V V F F V F V V V F V V F F F F V F F F V V V V F V V F V V V V F V F F V F F F F F V F V F V V F F F F V V F F Recordemos el procedimiento mediante un ejemplo
  • 2. Matemática y Lógica Ing. Julio Núñez Cheng 2 Muy Importante Válida Tener las tablas de valores de las proposiciones compuestas: Conjuntiva, Disyunción Inclusiva, Disyunción Exclusiva, Condicional y Bicondicional; a fin de comprender el procedimiento, además de las reglas mencionadas. “El método abreviado, simplifica el uso de tabla de valores, para lo cual se debe seguir un conjunto de reglas” 1º Suponer que la conclusión es FALSA. 2º Suponer que todas las premisas son VERDADERAS 3º Partiendo de la conclusión, se determina los valores de Verdad de p, q, r. 4º Los valores de verdad hallados en la conclusión se trasladan a la primera premisa de preferencia, y luego a la segunda, tercera, etc. 5º Si los valores de verdad de p, q, r toman un solo valor, la inferencia es No Válida. 6º Basta que una de las variables (p, q, r) tome dos valores de verdad, entonces la inferencia será válida.
  • 3. Matemática y Lógica Ing. Julio Núñez Cheng 3 Por ejemplo: 1) Hallar la validez de la inferencia por el método abreviado. p q primera premisa q p segunda premisa p q conclusión La inferencia puede escribirse en forma horizontal: Premisa Premisa Conclusión p q q p p q 1º Regla: Suponer que la conclusión es falsa: Por lo tanto: p puede ser verdadera y q falsa (bicondicional). V F p q q p p q F 2º Regla: Que todas las premisas son VERDADERAS. V F p q q p p q V V F 3º Regla: Se conoce los valores de p, q deducida de la conclusión según la regla No 01: p = V q = F ¿Puede ser? p: F q: V ¡Claro!
  • 4. Matemática y Lógica Ing. Julio Núñez Cheng 4 4º Regla: Siendo p = V, para que la primera premisa resulte verdadera, entonces el valor de q debe ser verdadero (condicional). V V V F p q q p p q V V F El valor de q = V lo trasladamos a la segunda premisa, y por lo tanto el valor de p también debe ser verdadero. V V V V V F p q q p p q V V F ¿Cuáles son los valores de verdad de p y q? p = V q = V q = F 6º Regla: Según esta regla, q toma dos valores de verdad, en consecuencia la inferencia es válida. 2) Hallar la validez de la inferencia por el método abreviado. p q primera premisa p segunda premisa q conclusión Observación: Si se traslada el valor de q = F a la primera premisa y luego a la segunda, se obtiene que los valores de verdad de p = V p = F. ¡Comprobar! ¿Y la 5ta regla? En este caso no se aplica
  • 5. Matemática y Lógica Ing. Julio Núñez Cheng 5 Escribiendo la inferencia en forma horizontal Premisa Premisa Conclusión p q p q 1º Regla: Conclusión Falsa p q p q F 2º Regla: Las premisas verdaderas. p q p q V V F 3º Regla: El valor de q = F 4º Regla: El valor de q se traslada a la primera premisa y por lo tanto el valor de p = F. Si el valor de q = F P = F, para que resulte verdadera la primera premisa (Ver Tabla de Valores de la Condicional). F F p q p q V V F ¿Cuáles son los valores de verdad de p y q? En la primera premisa el valor de p es falso. En la segunda premisa el valor de p es verdadero (regla Nº 2) p = F q = F p = V q = F
  • 6. Matemática y Lógica Ing. Julio Núñez Cheng 6 ¿Cuántos valores toman p? 3.- Mediante el método abreviado demostrar que la siguiente inferencia es no válida: [ ]{ }) )( (p q r r p q→ ∨ ¬ ∧ ∨ ¬→ ¬ ¿Cuantas premisas Hay? P q r∨ ¬ r p q¬ ∨¬ ¡Continuar con el procedimiento! Como comprobación usar las tablas de valores Dos valores: p = F p = V por lo tanto según la regla Nº 6 la inferencia es válida. ¡Conclusión! Resolver los ejercicios que a continuación se presentan: ¡Verificar usando los dos métodos!
  • 7. Matemática y Lógica Ing. Julio Núñez Cheng 7 AUTOEVALUACIÓN 1. Hallar la validez de las inferencias utilizando tablas de valores: a.- p V q p ~ q b.- p q r r q c.- p q ~ q ~ p 2. Usando el método abreviado, hallar la validez de las inferencias: a.- p V q ~ p q b.- p ~ q q v r ~ r ~ q
  • 8. Matemática y Lógica Ing. Julio Núñez Cheng 8 c.- p V q p ~ q LÓGICA DE PREDICADOR O CUANTIFICACIONAL Los métodos estudiados en las sesiones Nº 3 y Nº 4 para demostrar la validez de una inferencia no son suficientes para examinar otros tipos. Así por ejemplo: Si todos los cuadrúpedos son mamíferos Y todos los perros son cuadrúpedos Entonces todos los perros son mamíferos. Esta inferencia que se puede escribir: p q r ¡Se puede demostrar mediante tabla de valores o por el método abreviado que la inferencia es inválida! Sin embargo, de forma intuitiva se puede deducir que es válida. Fin de la sesión Julio Núñez Cheng junuche@hotmail.com Por tanto, podemos establecer que la validez depende no solo de las relaciones existentes entre las proposiciones, sino de las relaciones entre los elementos de sus proposiciones (términos).