SlideShare una empresa de Scribd logo
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).

Más contenido relacionado

La actualidad más candente

Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
MaestroJCH
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
Pablo Gandarilla C.
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicasEva Vásquez
 
CIRCUITOS LOGICOS
CIRCUITOS LOGICOSCIRCUITOS LOGICOS
CIRCUITOS LOGICOS
EDWIN RONALD CRUZ RUIZ
 
Implicaciones Notables
Implicaciones NotablesImplicaciones Notables
Implicaciones Notables
rafael felix
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
elisa pizano
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
GABRIEL PACHECO BARRETO
 
La logica proposicional
La logica proposicionalLa logica proposicional
La logica proposicional
Celso Rodriguez P
 
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
Sergio Arriarán
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
Jomar Burgos Palacios
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionWendy Estupiñan
 
Triangulos rectangulos notables(completo)
Triangulos rectangulos notables(completo)Triangulos rectangulos notables(completo)
Triangulos rectangulos notables(completo)
Martin Huamán Pazos
 
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
Alejo Tephros
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativa
flakitacm
 
Ejercicios algebraproposicional
Ejercicios algebraproposicionalEjercicios algebraproposicional
Ejercicios algebraproposicionalMariexis Cova
 

La actualidad más candente (20)

Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
Inferencia logica
Inferencia logicaInferencia logica
Inferencia logica
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
CIRCUITOS LOGICOS
CIRCUITOS LOGICOSCIRCUITOS LOGICOS
CIRCUITOS LOGICOS
 
Implicaciones Notables
Implicaciones NotablesImplicaciones Notables
Implicaciones Notables
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Conectivos
ConectivosConectivos
Conectivos
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
 
La logica proposicional
La logica proposicionalLa logica proposicional
La logica proposicional
 
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
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
 
Triangulos rectangulos notables(completo)
Triangulos rectangulos notables(completo)Triangulos rectangulos notables(completo)
Triangulos rectangulos notables(completo)
 
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
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativa
 
Ejercicios algebraproposicional
Ejercicios algebraproposicionalEjercicios algebraproposicional
Ejercicios algebraproposicional
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Circuitos logicos
Circuitos logicosCircuitos logicos
Circuitos logicos
 

Destacado

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
Mike 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 Computacional
Wilson Cedillo
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
Yerikson 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
 
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
Jesus García Asensio
 
Tema 1 filosofía
Tema 1 filosofíaTema 1 filosofía
Tema 1 filosofía
Jesus 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
 
Como nace un paradigma
Como nace un paradigmaComo nace un paradigma
Como nace un paradigma
Presentaciones PowerPoint.com
 
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
Victor Huamani Nstra.SRA DEL CARMEN
 
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
 
Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 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áticaWilbert Tapia
 
Platón 2.0
Platón 2.0Platón 2.0
Platón 2.0
minervagigia
 

Destacado (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
 
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
 

Similar a 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
 
FMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdfFMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdf
PaulinaCornejoMeza
 
TABLAS DE VERDAD PROPOSICIONES MATEMATICAS
TABLAS DE VERDAD PROPOSICIONES MATEMATICASTABLAS DE VERDAD PROPOSICIONES MATEMATICAS
TABLAS DE VERDAD PROPOSICIONES MATEMATICAS
Carlos Perez
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
MariaFernandaOrozco2017
 
Problemas1 (algunas soluciones)
Problemas1 (algunas soluciones)Problemas1 (algunas soluciones)
Problemas1 (algunas soluciones)
Alvaro Miguel Naupay Gusukuma
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
Jose Sainz
 
Demostraciones Formales
Demostraciones FormalesDemostraciones Formales
Demostraciones Formalesnerdito
 
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
Jesus Avalos Guerrero
 
14118030 nociones-de-logica
14118030 nociones-de-logica14118030 nociones-de-logica
14118030 nociones-de-logica
Mildred Palacios
 
Ing. Civil - Cuadernillo 2018
Ing. Civil  - Cuadernillo 2018Ing. Civil  - Cuadernillo 2018
Ing. Civil - Cuadernillo 2018
quimicafisicaproducciones
 
Lógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalLógica y Cálculo Proposicional
Lógica y Cálculo Proposicional
Juliho Castillo
 
LibroAlgebra.pdf
LibroAlgebra.pdfLibroAlgebra.pdf
LibroAlgebra.pdf
vicenteeduardoharo1
 
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
 

Similar a 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.
 

Más de Jomar Burgos Palacios

Presentacion proyecto - Física
Presentacion proyecto - FísicaPresentacion proyecto - Física
Presentacion proyecto - Física
Jomar Burgos Palacios
 
Avance de proyecto - Física
Avance de proyecto - FísicaAvance de proyecto - Física
Avance de proyecto - Física
Jomar Burgos Palacios
 
Corriente eléctrica - Física
Corriente eléctrica - Física Corriente eléctrica - Física
Corriente eléctrica - Física
Jomar Burgos Palacios
 
Aplicaciones de ecuaciones de bernoulli
Aplicaciones de ecuaciones de bernoulliAplicaciones de ecuaciones de bernoulli
Aplicaciones de ecuaciones de bernoulli
Jomar Burgos Palacios
 
Enunciado java - Ejercicio Básico
Enunciado java - Ejercicio BásicoEnunciado java - Ejercicio Básico
Enunciado java - Ejercicio Básico
Jomar 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 2018
Jomar 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
 
Primer plano – basico en m visio
Primer plano – basico en m visioPrimer plano – basico en m visio
Primer plano – basico en m visio
Jomar Burgos Palacios
 
Excel FORMATOS CONDICIONALES
Excel FORMATOS CONDICIONALESExcel FORMATOS CONDICIONALES
Excel FORMATOS CONDICIONALES
Jomar Burgos Palacios
 
Formatos en excel
Formatos en excelFormatos en excel
Formatos en excel
Jomar Burgos Palacios
 
ALGEBRA . CIRCUITOS LOGICOS
ALGEBRA . CIRCUITOS LOGICOSALGEBRA . CIRCUITOS LOGICOS
ALGEBRA . CIRCUITOS LOGICOS
Jomar Burgos Palacios
 
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
Jomar Burgos Palacios
 
Solucionario algebra de baldor
Solucionario algebra de baldor Solucionario algebra de baldor
Solucionario algebra de baldor
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 critica
Jomar 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 2015
Jomar 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-mantenimientos
Jomar Burgos Palacios
 
09 guiados spinner Java
09 guiados spinner Java09 guiados spinner Java
09 guiados spinner Java
Jomar Burgos Palacios
 

Más 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
 
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
 

Último

MIP PAPA Rancha Papa.pdf.....y caracteristicas
MIP PAPA  Rancha Papa.pdf.....y caracteristicasMIP PAPA  Rancha Papa.pdf.....y caracteristicas
MIP PAPA Rancha Papa.pdf.....y caracteristicas
jheisonraulmedinafer
 
Friedrich Nietzsche. Presentación de 2 de Bachillerato.
Friedrich Nietzsche. Presentación de 2 de Bachillerato.Friedrich Nietzsche. Presentación de 2 de Bachillerato.
Friedrich Nietzsche. Presentación de 2 de Bachillerato.
pablomarin116
 
Examen Lengua y Literatura EVAU Andalucía.pdf
Examen Lengua y Literatura EVAU Andalucía.pdfExamen Lengua y Literatura EVAU Andalucía.pdf
Examen Lengua y Literatura EVAU Andalucía.pdf
20minutos
 
Portafolio de servicios Centro de Educación Continua EPN
Portafolio de servicios Centro de Educación Continua EPNPortafolio de servicios Centro de Educación Continua EPN
Portafolio de servicios Centro de Educación Continua EPN
jmorales40
 
PPT: El fundamento del gobierno de Dios.
PPT: El fundamento del gobierno de Dios.PPT: El fundamento del gobierno de Dios.
PPT: El fundamento del gobierno de Dios.
https://gramadal.wordpress.com/
 
Educar por Competencias GS2 Ccesa007.pdf
Educar por Competencias GS2 Ccesa007.pdfEducar por Competencias GS2 Ccesa007.pdf
Educar por Competencias GS2 Ccesa007.pdf
Demetrio Ccesa Rayme
 
Introducción a la ciencia de datos con power BI
Introducción a la ciencia de datos con power BIIntroducción a la ciencia de datos con power BI
Introducción a la ciencia de datos con power BI
arleyo2006
 
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNETPRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
CESAR MIJAEL ESPINOZA SALAZAR
 
UNIDAD DE APRENDIZAJE DEL MES Junio 2024
UNIDAD DE APRENDIZAJE DEL MES  Junio 2024UNIDAD DE APRENDIZAJE DEL MES  Junio 2024
UNIDAD DE APRENDIZAJE DEL MES Junio 2024
EdwardYumbato1
 
ENSAYO SOBRE LA ANSIEDAD Y LA DEPRESION.docx
ENSAYO SOBRE LA ANSIEDAD Y LA DEPRESION.docxENSAYO SOBRE LA ANSIEDAD Y LA DEPRESION.docx
ENSAYO SOBRE LA ANSIEDAD Y LA DEPRESION.docx
SandraPiza2
 
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
JAVIER SOLIS NOYOLA
 
Asistencia Tecnica Cartilla Pedagogica DUA Ccesa007.pdf
Asistencia Tecnica Cartilla Pedagogica DUA Ccesa007.pdfAsistencia Tecnica Cartilla Pedagogica DUA Ccesa007.pdf
Asistencia Tecnica Cartilla Pedagogica DUA Ccesa007.pdf
Demetrio Ccesa Rayme
 
Junio 2024 Fotocopiables Ediba actividades
Junio 2024 Fotocopiables Ediba actividadesJunio 2024 Fotocopiables Ediba actividades
Junio 2024 Fotocopiables Ediba actividades
cintiat3400
 
Testimonio Paco Z PATRONATO_Valencia_24.pdf
Testimonio Paco Z PATRONATO_Valencia_24.pdfTestimonio Paco Z PATRONATO_Valencia_24.pdf
Testimonio Paco Z PATRONATO_Valencia_24.pdf
Txema Gs
 
Semana #10-PM3 del 27 al 31 de mayo.pptx
Semana #10-PM3 del 27 al 31 de mayo.pptxSemana #10-PM3 del 27 al 31 de mayo.pptx
Semana #10-PM3 del 27 al 31 de mayo.pptx
LorenaCovarrubias12
 
El lugar mas bonito del mundo resumen del libro
El lugar mas bonito del mundo resumen del libroEl lugar mas bonito del mundo resumen del libro
El lugar mas bonito del mundo resumen del libro
Distea V región
 
El Liberalismo económico en la sociedad y en el mundo
El Liberalismo económico en la sociedad y en el mundoEl Liberalismo económico en la sociedad y en el mundo
El Liberalismo económico en la sociedad y en el mundo
SandraBenitez52
 
Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.
Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.
Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.
20minutos
 
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptxc3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
Martín Ramírez
 
FICHA DE EJERCICIOS GRECIA 1º DE LA ESO HISTORIA
FICHA DE EJERCICIOS GRECIA 1º DE LA ESO HISTORIAFICHA DE EJERCICIOS GRECIA 1º DE LA ESO HISTORIA
FICHA DE EJERCICIOS GRECIA 1º DE LA ESO HISTORIA
JavierMontero58
 

Último (20)

MIP PAPA Rancha Papa.pdf.....y caracteristicas
MIP PAPA  Rancha Papa.pdf.....y caracteristicasMIP PAPA  Rancha Papa.pdf.....y caracteristicas
MIP PAPA Rancha Papa.pdf.....y caracteristicas
 
Friedrich Nietzsche. Presentación de 2 de Bachillerato.
Friedrich Nietzsche. Presentación de 2 de Bachillerato.Friedrich Nietzsche. Presentación de 2 de Bachillerato.
Friedrich Nietzsche. Presentación de 2 de Bachillerato.
 
Examen Lengua y Literatura EVAU Andalucía.pdf
Examen Lengua y Literatura EVAU Andalucía.pdfExamen Lengua y Literatura EVAU Andalucía.pdf
Examen Lengua y Literatura EVAU Andalucía.pdf
 
Portafolio de servicios Centro de Educación Continua EPN
Portafolio de servicios Centro de Educación Continua EPNPortafolio de servicios Centro de Educación Continua EPN
Portafolio de servicios Centro de Educación Continua EPN
 
PPT: El fundamento del gobierno de Dios.
PPT: El fundamento del gobierno de Dios.PPT: El fundamento del gobierno de Dios.
PPT: El fundamento del gobierno de Dios.
 
Educar por Competencias GS2 Ccesa007.pdf
Educar por Competencias GS2 Ccesa007.pdfEducar por Competencias GS2 Ccesa007.pdf
Educar por Competencias GS2 Ccesa007.pdf
 
Introducción a la ciencia de datos con power BI
Introducción a la ciencia de datos con power BIIntroducción a la ciencia de datos con power BI
Introducción a la ciencia de datos con power BI
 
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNETPRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
 
UNIDAD DE APRENDIZAJE DEL MES Junio 2024
UNIDAD DE APRENDIZAJE DEL MES  Junio 2024UNIDAD DE APRENDIZAJE DEL MES  Junio 2024
UNIDAD DE APRENDIZAJE DEL MES Junio 2024
 
ENSAYO SOBRE LA ANSIEDAD Y LA DEPRESION.docx
ENSAYO SOBRE LA ANSIEDAD Y LA DEPRESION.docxENSAYO SOBRE LA ANSIEDAD Y LA DEPRESION.docx
ENSAYO SOBRE LA ANSIEDAD Y LA DEPRESION.docx
 
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
 
Asistencia Tecnica Cartilla Pedagogica DUA Ccesa007.pdf
Asistencia Tecnica Cartilla Pedagogica DUA Ccesa007.pdfAsistencia Tecnica Cartilla Pedagogica DUA Ccesa007.pdf
Asistencia Tecnica Cartilla Pedagogica DUA Ccesa007.pdf
 
Junio 2024 Fotocopiables Ediba actividades
Junio 2024 Fotocopiables Ediba actividadesJunio 2024 Fotocopiables Ediba actividades
Junio 2024 Fotocopiables Ediba actividades
 
Testimonio Paco Z PATRONATO_Valencia_24.pdf
Testimonio Paco Z PATRONATO_Valencia_24.pdfTestimonio Paco Z PATRONATO_Valencia_24.pdf
Testimonio Paco Z PATRONATO_Valencia_24.pdf
 
Semana #10-PM3 del 27 al 31 de mayo.pptx
Semana #10-PM3 del 27 al 31 de mayo.pptxSemana #10-PM3 del 27 al 31 de mayo.pptx
Semana #10-PM3 del 27 al 31 de mayo.pptx
 
El lugar mas bonito del mundo resumen del libro
El lugar mas bonito del mundo resumen del libroEl lugar mas bonito del mundo resumen del libro
El lugar mas bonito del mundo resumen del libro
 
El Liberalismo económico en la sociedad y en el mundo
El Liberalismo económico en la sociedad y en el mundoEl Liberalismo económico en la sociedad y en el mundo
El Liberalismo económico en la sociedad y en el mundo
 
Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.
Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.
Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.
 
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptxc3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
 
FICHA DE EJERCICIOS GRECIA 1º DE LA ESO HISTORIA
FICHA DE EJERCICIOS GRECIA 1º DE LA ESO HISTORIAFICHA DE EJERCICIOS GRECIA 1º DE LA ESO HISTORIA
FICHA DE EJERCICIOS GRECIA 1º DE LA ESO HISTORIA
 

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