SlideShare une entreprise Scribd logo
1  sur  8
Télécharger pour lire hors ligne
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).

Contenu connexe

Tendances (20)

Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferencias
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
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
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
 
Triangulos rectangulos notables(completo)
Triangulos rectangulos notables(completo)Triangulos rectangulos notables(completo)
Triangulos rectangulos notables(completo)
 
La logica proposicional
La logica proposicionalLa logica proposicional
La logica proposicional
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basica
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
 
Conectivos Lógicos
Conectivos LógicosConectivos Lógicos
Conectivos Lógicos
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
Razonamiento logico
Razonamiento logicoRazonamiento logico
Razonamiento logico
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Matemática Básica Eduardo Espinoza Ramos
Matemática Básica Eduardo Espinoza RamosMatemática Básica Eduardo Espinoza Ramos
Matemática Básica Eduardo Espinoza Ramos
 

En vedette

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ógicaMike Coral
 
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 ComputacionalWilson Cedillo
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalYerikson Huz
 
Lógica (José Manuel Pajares Hurtado)
Lógica (José Manuel Pajares Hurtado)Lógica (José Manuel Pajares Hurtado)
Lógica (José Manuel Pajares Hurtado)Jesus García Asensio
 
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 DerivacionesJuan F.Guevara
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicionalherostara
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionWendy Estupiñan
 
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 UniversoJesus García Asensio
 
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ógicascarlospuertasaguilar
 
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 proposicionesWilderd 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áticaWilbert Tapia
 

En vedette (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)
 
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
 
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
 
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
 

Similaire à VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO

Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discretaGer Castillo
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discretaGer 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 alfredomagom13196829
 
TABLAS DE VERDAD PROPOSICIONES MATEMATICAS
TABLAS DE VERDAD PROPOSICIONES MATEMATICASTABLAS DE VERDAD PROPOSICIONES MATEMATICAS
TABLAS DE VERDAD PROPOSICIONES MATEMATICASCarlos Perez
 
Logica matematica
Logica matematicaLogica matematica
Logica matematicaJose Sainz
 
Demostraciones Formales
Demostraciones FormalesDemostraciones Formales
Demostraciones Formalesnerdito
 
14118030 nociones-de-logica
14118030 nociones-de-logica14118030 nociones-de-logica
14118030 nociones-de-logicaMildred Palacios
 
Lógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalLógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalJuliho Castillo
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palmaASIGNACIONUFT
 
Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.Frank Perez
 

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

Plus de Jomar Burgos Palacios

Aplicaciones de ecuaciones de bernoulli
Aplicaciones de ecuaciones de bernoulliAplicaciones de ecuaciones de bernoulli
Aplicaciones de ecuaciones de bernoulliJomar Burgos Palacios
 
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.Jomar Burgos Palacios
 
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 2018Jomar Burgos Palacios
 
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.Jomar Burgos Palacios
 
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.Jomar Burgos Palacios
 
Gran Libro - Baldor [Matematica Pura]
Gran Libro - Baldor [Matematica Pura]Gran Libro - Baldor [Matematica Pura]
Gran Libro - Baldor [Matematica Pura]Jomar Burgos Palacios
 
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 criticaJomar Burgos Palacios
 
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 2015Jomar Burgos Palacios
 
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-mantenimientosJomar Burgos Palacios
 

Plus de 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
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
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
 

Dernier

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.docxiemerc2024
 
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
 
SEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VS
SEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VSSEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VS
SEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VSYadi Campos
 
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...jlorentemartos
 
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...Katherine Concepcion Gonzalez
 
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.pptxlclcarmen
 
Análisis de los Factores Externos de la Organización.
Análisis de los Factores Externos de la Organización.Análisis de los Factores Externos de la Organización.
Análisis de los Factores Externos de la Organización.JonathanCovena1
 
Diapositivas de animales reptiles secundaria
Diapositivas de animales reptiles secundariaDiapositivas de animales reptiles secundaria
Diapositivas de animales reptiles secundariaAlejandraFelizDidier
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESOluismii249
 
Proyecto de aprendizaje dia de la madre MINT.pdf
Proyecto de aprendizaje dia de la madre MINT.pdfProyecto de aprendizaje dia de la madre MINT.pdf
Proyecto de aprendizaje dia de la madre MINT.pdfpatriciaines1993
 
TALLER DE DEMOCRACIA Y GOBIERNO ESCOLAR-COMPETENCIAS N°3.docx
TALLER DE DEMOCRACIA Y GOBIERNO ESCOLAR-COMPETENCIAS N°3.docxTALLER DE DEMOCRACIA Y GOBIERNO ESCOLAR-COMPETENCIAS N°3.docx
TALLER DE DEMOCRACIA Y GOBIERNO ESCOLAR-COMPETENCIAS N°3.docxNadiaMartnez11
 
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++.pptxFernando Solis
 
semana 4 9NO Estudios sociales.pptxnnnn
semana 4  9NO Estudios sociales.pptxnnnnsemana 4  9NO Estudios sociales.pptxnnnn
semana 4 9NO Estudios sociales.pptxnnnnlitzyleovaldivieso
 
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í
 
Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024IES Vicent Andres Estelles
 
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 ESOluismii249
 
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIASISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIAFabiolaGarcia751855
 
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptPINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptAlberto Rubio
 
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.Alejandrino Halire Ccahuana
 

Dernier (20)

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
 
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
 
SEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VS
SEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VSSEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VS
SEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VS
 
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
 
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
 
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
 
Análisis de los Factores Externos de la Organización.
Análisis de los Factores Externos de la Organización.Análisis de los Factores Externos de la Organización.
Análisis de los Factores Externos de la Organización.
 
Diapositivas de animales reptiles secundaria
Diapositivas de animales reptiles secundariaDiapositivas de animales reptiles secundaria
Diapositivas de animales reptiles secundaria
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
 
Proyecto de aprendizaje dia de la madre MINT.pdf
Proyecto de aprendizaje dia de la madre MINT.pdfProyecto de aprendizaje dia de la madre MINT.pdf
Proyecto de aprendizaje dia de la madre MINT.pdf
 
TALLER DE DEMOCRACIA Y GOBIERNO ESCOLAR-COMPETENCIAS N°3.docx
TALLER DE DEMOCRACIA Y GOBIERNO ESCOLAR-COMPETENCIAS N°3.docxTALLER DE DEMOCRACIA Y GOBIERNO ESCOLAR-COMPETENCIAS N°3.docx
TALLER DE DEMOCRACIA Y GOBIERNO ESCOLAR-COMPETENCIAS N°3.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
 
semana 4 9NO Estudios sociales.pptxnnnn
semana 4  9NO Estudios sociales.pptxnnnnsemana 4  9NO Estudios sociales.pptxnnnn
semana 4 9NO Estudios sociales.pptxnnnn
 
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
 
Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024
 
Supuestos_prácticos_funciones.docx
Supuestos_prácticos_funciones.docxSupuestos_prácticos_funciones.docx
Supuestos_prácticos_funciones.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
 
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIASISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
 
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptPINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
 
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
 

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).