SlideShare uma empresa Scribd logo
1 de 13
GUÍA DE EJERCICIOS N° 4 ( Prof. Ing. Héctor González C.)
Validez de un razonamiento
Existen varias técnicas para demostrar la validez de un razonamiento. Entre ellas se tienen:
a) Técnica tabla de verdad: Para aplicar la técnica de la tabla de verdad, se debe transformar
el razonamiento en una proposición condicional, en donde la conjunción de las premisas
forman el antecedente y la conclusión forma el consecuente. Si al realizar la tabla de verdad
de un razonamiento da como resultado una tautología, se considera un razonamiento válido
o argumento, en cualquier otro caso será un razonamiento inválido. Todo razonamiento es
válido si al ser transformado en una proposición condicional esta da como resultado una
tautología.
Por ejemplo: Dados los siguientes razonamientos determinar su validez a través de la
técnica de la tabla de verdad:
1) Si la tierra es un planeta, entonces no posee luz propia. La tierra es un planeta. Por lo
tanto no posee luz propia
1.1 Se procede a simbolizar el siguiente razonamiento
La tierra es un planeta p
La tierra posee luz propia q
1.2 Se simbolizan las proposiciones compuestas identificando premisas y conclusión. La
conclusión se identifica a través de los términos “por lo tanto” , “Por consiguiente”. La
conclusión se separa de las premisas a través del símbolo “ ∴” que significa “Luego o por
lo tanto”, “En conclusión”
1. Si la tierra es un planeta, entonces no posee luz propia p → ¬ q
2. La tierra es un planeta p
3 La tierra no posee luz propia ¬ q
1.3 Se estructura la proposición condicional, cuyo antecedente es la conjunción de las
premisas y el consecuente es la conclusión:
(p → ¬ q) ∧ p → ¬ q
ANTECEDENTE CONSECUENTE
1.4 Se elabora la tabla de verdad del razonamiento
p q ¬ q p → ¬ q ( p → ¬ q ) ∧ p [ ( p → ¬ q ) ∧ p ] → ¬q
V V F F F V
V F V V V V
F V F V F V
F F V V F V
Conclusión: Es un razonamiento válido porque la tabla de verdad resultó ser una
proposición tautológica, por lo tanto es un argumento
b) Inferencias lógicas. Prueba de validez: Otra técnica para demostrar la validez de un
razonamiento es a través de una prueba formal de validez, utilizando las inferencias lógicas
o leyes de la lógica
Ejemplo 1
La prueba de validez de un argumento por medio de tablas de verdad se lleva a cabo
realizando la tabla de verdad de su proposición condicional correspondiente; por
1. Si la Tierra es un planeta, entonces carece de luz propia
2. La Tierra es un planeta.
3. La Tierra carece de luz propia.
Este argumento lo podemos simbolizar así:
Luego aplicando la tabla de verdad se tiene:
Un argumento es válido cuando su proposición condicional correspondiente es tautológica,
ya que no se da el caso de que las premisas sean verdaderas y la conclusión falsa. En el
ejemplo considerado, éste es válido porque su resultado final es tautológico, como lo
muestra su respectiva tabla de verdad.
Ejemplo 2:
Demostrémoslo ahora a través de la tabla de verdad desarrollada en su proposición
condicional correspondiente.
Nota: Como se puede observar, el resultado final es una contingencia por lo que se
demuestra su no validez.
SILOGISMO HIPOTÉTICO (S.H)
Esta regla que a continuación estudiarás se basa en el condicional. Se sabe que los
enunciados condicionales se componen de un antecedente y de un consecuente. Por lo
tanto, puede ser que un enunciado determinado, por ejemplo q, sea el consecuente de un
condicional (p → q) y al mismo tiempo sea el antecedente de otro (q → r), entonces p
también viene siendo el antecedente de r. Veamos los enunciados de la siguiente manera:
Algoritmo Horizontal:
Algoritmo Vertical: p → q
q → r
∴ p → r
Ejemplo:
Premisa 1: Si hace calor, entonces Juana va a nadar
Premisa 2: Si Juana va a nadar, entonces arregla la casa después de comer
Se puede concluir:
Si hace calor, entonces arregla la casa después de comer
Para simbolizar el razonamiento será:
D “Hace calor”
S “Juana va a nadar”
H “Arregla la casa después de comer”
Entonces:
D → S
S → H
D → H ( Conclusión)
LEY DEL SILOGISMO DISYUNTIVO
La ley del silogismo disyuntivo, abreviado DS, empieza con una disyunción y dos
condicionales, como se muestra en el siguiente ejemplo:
O llueve o el campo está seco
Si llueve, entonces jugaremos dentro
Si el campo está seco, entonces jugaremos baloncesto
¿Qué conclusión se puede sacar de estas proposiciones? La conclusión es que o jugaremos
dentro o jugaremos baloncesto. La conclusión es otra disyunción.
A continuación se simboliza el razonamiento anterior para obtener un esquema claro de la
forma de un silogismo disyuntivo.
Sea:
R “ Llueve”
D “El campo está seco”
P “ Jugaremos dentro”
B “ Jugaremos baloncesto”
Este razonamiento se simboliza:
(1) R ∨ D
(2) R → P
(3) D → B
(4) P ∨ B (Conclusión)
TABLA RESUMEN DE LAS REGLAS
EJERCICIOS PROPUESTOS 1
EJERCICIOS PROPUESTOS 2
( Sólo debe poner las vistas en clase)
MODUS PONIENDO PONENS
MODUS TOLLENDO TOLLENS
MODUS TOLLENDO PONENS
SILOGISMO HIPOTÉTICO
EJERCICIOS: DETERMINAR LA CONCLUSIÓN DE LAS PREMISAS
IDENTIFICANDO CADA UNA DE LAS LEYES.
Guía de ejercicios sobre técnicas para demostrar la validez de razonamientos

Mais conteúdo relacionado

Mais procurados (17)

Reglas de Inferencia
Reglas de Inferencia Reglas de Inferencia
Reglas de Inferencia
 
Metodo Demostrativo
Metodo DemostrativoMetodo Demostrativo
Metodo Demostrativo
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
Esquemas de inferencia lógica
Esquemas de inferencia lógicaEsquemas de inferencia lógica
Esquemas de inferencia lógica
 
simplificación inferencias gestión
simplificación inferencias gestiónsimplificación inferencias gestión
simplificación inferencias gestión
 
Capitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCapitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógica
 
Inferencia en Lógica de Primer Orden
Inferencia en Lógica de Primer OrdenInferencia en Lógica de Primer Orden
Inferencia en Lógica de Primer Orden
 
simplificación inferencias gestión
 simplificación inferencias gestión simplificación inferencias gestión
simplificación inferencias gestión
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicional
 
Reglas y leyes lógica
Reglas y leyes lógicaReglas y leyes lógica
Reglas y leyes lógica
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicional
 
Calculo Proposicional. Estructura Discreta
Calculo Proposicional. Estructura Discreta Calculo Proposicional. Estructura Discreta
Calculo Proposicional. Estructura Discreta
 
Unidad I
Unidad IUnidad I
Unidad I
 
Argumentos deductivos
Argumentos deductivosArgumentos deductivos
Argumentos deductivos
 
Silogismo Compuesto
Silogismo Compuesto Silogismo Compuesto
Silogismo Compuesto
 
Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreu
 

Destaque

Trabajo corporativo william
Trabajo corporativo williamTrabajo corporativo william
Trabajo corporativo williamcesar149
 
Notacion de conjunto
Notacion de conjuntoNotacion de conjunto
Notacion de conjuntoastridsgomez
 
ACTIVIDAD 6 LOGICA MATEMATICA
ACTIVIDAD 6 LOGICA MATEMATICAACTIVIDAD 6 LOGICA MATEMATICA
ACTIVIDAD 6 LOGICA MATEMATICARodrigo Botero
 
Administración financiera de corto plazo
Administración financiera de corto plazoAdministración financiera de corto plazo
Administración financiera de corto plazoKatherine Rojas Morgado
 
Trabajo colaborativo nº 2-332572-112-final
Trabajo colaborativo  nº 2-332572-112-finalTrabajo colaborativo  nº 2-332572-112-final
Trabajo colaborativo nº 2-332572-112-finalJuan Carlos Velasco
 
Trabajo colaborativo 2 logica matematica
Trabajo colaborativo 2   logica matematicaTrabajo colaborativo 2   logica matematica
Trabajo colaborativo 2 logica matematicaNidia Rosa Aguas Herazo
 
Trabajo colaborativo 102038_126_doc
Trabajo colaborativo 102038_126_docTrabajo colaborativo 102038_126_doc
Trabajo colaborativo 102038_126_docJuan Carlos Restrepo
 
Análisis Vertical y Horizanotal
Análisis Vertical y HorizanotalAnálisis Vertical y Horizanotal
Análisis Vertical y HorizanotalCarlos García
 
Trabajo final colaborativo 1
Trabajo final colaborativo 1Trabajo final colaborativo 1
Trabajo final colaborativo 1JEALVARADOMO
 
LÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSLÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSJose Ojeda
 
14003263 problemas-resueltos-de-conjuntos
14003263 problemas-resueltos-de-conjuntos14003263 problemas-resueltos-de-conjuntos
14003263 problemas-resueltos-de-conjuntosCarlos Alberto Mongui
 
21 problemas de algoritmo resueltos
21 problemas de algoritmo resueltos21 problemas de algoritmo resueltos
21 problemas de algoritmo resueltosRoldan El Gato
 

Destaque (20)

Trabajo corporativo william
Trabajo corporativo williamTrabajo corporativo william
Trabajo corporativo william
 
Notacion de conjunto
Notacion de conjuntoNotacion de conjunto
Notacion de conjunto
 
Notación y Operaciones con Conjuntos
Notación y Operaciones con ConjuntosNotación y Operaciones con Conjuntos
Notación y Operaciones con Conjuntos
 
Introduccin a la logica
Introduccin a la logicaIntroduccin a la logica
Introduccin a la logica
 
ACTIVIDAD 6 LOGICA MATEMATICA
ACTIVIDAD 6 LOGICA MATEMATICAACTIVIDAD 6 LOGICA MATEMATICA
ACTIVIDAD 6 LOGICA MATEMATICA
 
LÓGICA MATEMÁTICA
LÓGICA MATEMÁTICALÓGICA MATEMÁTICA
LÓGICA MATEMÁTICA
 
Administración financiera de corto plazo
Administración financiera de corto plazoAdministración financiera de corto plazo
Administración financiera de corto plazo
 
Contenido De Logica Matematica
Contenido De Logica MatematicaContenido De Logica Matematica
Contenido De Logica Matematica
 
Trabajo colaborativo nº 2-332572-112-final
Trabajo colaborativo  nº 2-332572-112-finalTrabajo colaborativo  nº 2-332572-112-final
Trabajo colaborativo nº 2-332572-112-final
 
Trabajo colaborativo 2 logica matematica
Trabajo colaborativo 2   logica matematicaTrabajo colaborativo 2   logica matematica
Trabajo colaborativo 2 logica matematica
 
Trabajo colaborativo 102038_126_doc
Trabajo colaborativo 102038_126_docTrabajo colaborativo 102038_126_doc
Trabajo colaborativo 102038_126_doc
 
Analisis financiero
Analisis financieroAnalisis financiero
Analisis financiero
 
Análisis Vertical y Horizanotal
Análisis Vertical y HorizanotalAnálisis Vertical y Horizanotal
Análisis Vertical y Horizanotal
 
Trabajo final colaborativo 1
Trabajo final colaborativo 1Trabajo final colaborativo 1
Trabajo final colaborativo 1
 
LÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSLÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOS
 
14003263 problemas-resueltos-de-conjuntos
14003263 problemas-resueltos-de-conjuntos14003263 problemas-resueltos-de-conjuntos
14003263 problemas-resueltos-de-conjuntos
 
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
 
21 problemas de algoritmo resueltos
21 problemas de algoritmo resueltos21 problemas de algoritmo resueltos
21 problemas de algoritmo resueltos
 
Análisis Financiero
Análisis FinancieroAnálisis Financiero
Análisis Financiero
 
Trabajo colaborativo logica
Trabajo colaborativo logicaTrabajo colaborativo logica
Trabajo colaborativo logica
 

Semelhante a Guía de ejercicios sobre técnicas para demostrar la validez de razonamientos

14118030 nociones-de-logica
14118030 nociones-de-logica14118030 nociones-de-logica
14118030 nociones-de-logicaMildred Palacios
 
Implicacion Logica y Argumentos .pdf
Implicacion Logica y Argumentos .pdfImplicacion Logica y Argumentos .pdf
Implicacion Logica y Argumentos .pdfKelvinLopez24
 
Inferencias Tautológicas, Equivalencias Tautologicas
Inferencias Tautológicas, Equivalencias TautologicasInferencias Tautológicas, Equivalencias Tautologicas
Inferencias Tautológicas, Equivalencias TautologicasJorge Ivan Cano Patiño
 
TEXTO ACADEMICO SEMANA 1 LÓGICA MATEMÁTICA.pdf
TEXTO ACADEMICO SEMANA  1 LÓGICA MATEMÁTICA.pdfTEXTO ACADEMICO SEMANA  1 LÓGICA MATEMÁTICA.pdf
TEXTO ACADEMICO SEMANA 1 LÓGICA MATEMÁTICA.pdfDIEGO423910
 
Algebra
Algebra Algebra
Algebra rogel04
 
Algebra
Algebra Algebra
Algebra rogel04
 
Calculo Proposicional. Estructura Discreta
Calculo Proposicional. Estructura Discreta Calculo Proposicional. Estructura Discreta
Calculo Proposicional. Estructura Discreta Luizei Arias
 
metodos de demostracion
metodos de demostracionmetodos de demostracion
metodos de demostracionCristopher
 
Calculo proposicional (tarea 1)
Calculo proposicional (tarea 1)Calculo proposicional (tarea 1)
Calculo proposicional (tarea 1)natali1145ca
 
Calculo proposicional - Introducción
Calculo proposicional - IntroducciónCalculo proposicional - Introducción
Calculo proposicional - IntroducciónDavid Narváez
 
Tema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdfTema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdfManuel Ortiz
 
Capitulo5: Deducciones lógicas
Capitulo5: Deducciones lógicasCapitulo5: Deducciones lógicas
Capitulo5: Deducciones lógicasMarrano Axqueroxix
 

Semelhante a Guía de ejercicios sobre técnicas para demostrar la validez de razonamientos (20)

14118030 nociones-de-logica
14118030 nociones-de-logica14118030 nociones-de-logica
14118030 nociones-de-logica
 
Implicacion Logica y Argumentos .pdf
Implicacion Logica y Argumentos .pdfImplicacion Logica y Argumentos .pdf
Implicacion Logica y Argumentos .pdf
 
Inferencias Tautológicas, Equivalencias Tautologicas
Inferencias Tautológicas, Equivalencias TautologicasInferencias Tautológicas, Equivalencias Tautologicas
Inferencias Tautológicas, Equivalencias Tautologicas
 
unidad 1 de estructuras
unidad 1 de estructurasunidad 1 de estructuras
unidad 1 de estructuras
 
TEXTO ACADEMICO SEMANA 1 LÓGICA MATEMÁTICA.pdf
TEXTO ACADEMICO SEMANA  1 LÓGICA MATEMÁTICA.pdfTEXTO ACADEMICO SEMANA  1 LÓGICA MATEMÁTICA.pdf
TEXTO ACADEMICO SEMANA 1 LÓGICA MATEMÁTICA.pdf
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
La lógica matemática
La lógica matemáticaLa lógica matemática
La lógica matemática
 
Algebra
Algebra Algebra
Algebra
 
Algebra
Algebra Algebra
Algebra
 
Calculo Proposicional. Estructura Discreta
Calculo Proposicional. Estructura Discreta Calculo Proposicional. Estructura Discreta
Calculo Proposicional. Estructura Discreta
 
metodos de demostracion
metodos de demostracionmetodos de demostracion
metodos de demostracion
 
FMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdfFMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdf
 
Eca 7
Eca 7Eca 7
Eca 7
 
Calculo proposicional (tarea 1)
Calculo proposicional (tarea 1)Calculo proposicional (tarea 1)
Calculo proposicional (tarea 1)
 
Introduccin a la logica
Introduccin a la logicaIntroduccin a la logica
Introduccin a la logica
 
Calculo proposicional - Introducción
Calculo proposicional - IntroducciónCalculo proposicional - Introducción
Calculo proposicional - Introducción
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Tema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdfTema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdf
 
Capitulo5: Deducciones lógicas
Capitulo5: Deducciones lógicasCapitulo5: Deducciones lógicas
Capitulo5: Deducciones lógicas
 

Guía de ejercicios sobre técnicas para demostrar la validez de razonamientos

  • 1. GUÍA DE EJERCICIOS N° 4 ( Prof. Ing. Héctor González C.) Validez de un razonamiento Existen varias técnicas para demostrar la validez de un razonamiento. Entre ellas se tienen: a) Técnica tabla de verdad: Para aplicar la técnica de la tabla de verdad, se debe transformar el razonamiento en una proposición condicional, en donde la conjunción de las premisas forman el antecedente y la conclusión forma el consecuente. Si al realizar la tabla de verdad de un razonamiento da como resultado una tautología, se considera un razonamiento válido o argumento, en cualquier otro caso será un razonamiento inválido. Todo razonamiento es válido si al ser transformado en una proposición condicional esta da como resultado una tautología. Por ejemplo: Dados los siguientes razonamientos determinar su validez a través de la técnica de la tabla de verdad: 1) Si la tierra es un planeta, entonces no posee luz propia. La tierra es un planeta. Por lo tanto no posee luz propia 1.1 Se procede a simbolizar el siguiente razonamiento La tierra es un planeta p La tierra posee luz propia q 1.2 Se simbolizan las proposiciones compuestas identificando premisas y conclusión. La conclusión se identifica a través de los términos “por lo tanto” , “Por consiguiente”. La conclusión se separa de las premisas a través del símbolo “ ∴” que significa “Luego o por lo tanto”, “En conclusión” 1. Si la tierra es un planeta, entonces no posee luz propia p → ¬ q 2. La tierra es un planeta p 3 La tierra no posee luz propia ¬ q 1.3 Se estructura la proposición condicional, cuyo antecedente es la conjunción de las premisas y el consecuente es la conclusión: (p → ¬ q) ∧ p → ¬ q ANTECEDENTE CONSECUENTE
  • 2. 1.4 Se elabora la tabla de verdad del razonamiento p q ¬ q p → ¬ q ( p → ¬ q ) ∧ p [ ( p → ¬ q ) ∧ p ] → ¬q V V F F F V V F V V V V F V F V F V F F V V F V Conclusión: Es un razonamiento válido porque la tabla de verdad resultó ser una proposición tautológica, por lo tanto es un argumento b) Inferencias lógicas. Prueba de validez: Otra técnica para demostrar la validez de un razonamiento es a través de una prueba formal de validez, utilizando las inferencias lógicas o leyes de la lógica Ejemplo 1 La prueba de validez de un argumento por medio de tablas de verdad se lleva a cabo realizando la tabla de verdad de su proposición condicional correspondiente; por 1. Si la Tierra es un planeta, entonces carece de luz propia 2. La Tierra es un planeta. 3. La Tierra carece de luz propia. Este argumento lo podemos simbolizar así: Luego aplicando la tabla de verdad se tiene:
  • 3. Un argumento es válido cuando su proposición condicional correspondiente es tautológica, ya que no se da el caso de que las premisas sean verdaderas y la conclusión falsa. En el ejemplo considerado, éste es válido porque su resultado final es tautológico, como lo muestra su respectiva tabla de verdad. Ejemplo 2: Demostrémoslo ahora a través de la tabla de verdad desarrollada en su proposición condicional correspondiente. Nota: Como se puede observar, el resultado final es una contingencia por lo que se demuestra su no validez. SILOGISMO HIPOTÉTICO (S.H) Esta regla que a continuación estudiarás se basa en el condicional. Se sabe que los enunciados condicionales se componen de un antecedente y de un consecuente. Por lo tanto, puede ser que un enunciado determinado, por ejemplo q, sea el consecuente de un condicional (p → q) y al mismo tiempo sea el antecedente de otro (q → r), entonces p también viene siendo el antecedente de r. Veamos los enunciados de la siguiente manera: Algoritmo Horizontal:
  • 4. Algoritmo Vertical: p → q q → r ∴ p → r Ejemplo: Premisa 1: Si hace calor, entonces Juana va a nadar Premisa 2: Si Juana va a nadar, entonces arregla la casa después de comer Se puede concluir: Si hace calor, entonces arregla la casa después de comer Para simbolizar el razonamiento será: D “Hace calor” S “Juana va a nadar” H “Arregla la casa después de comer” Entonces: D → S S → H D → H ( Conclusión) LEY DEL SILOGISMO DISYUNTIVO La ley del silogismo disyuntivo, abreviado DS, empieza con una disyunción y dos condicionales, como se muestra en el siguiente ejemplo: O llueve o el campo está seco Si llueve, entonces jugaremos dentro Si el campo está seco, entonces jugaremos baloncesto ¿Qué conclusión se puede sacar de estas proposiciones? La conclusión es que o jugaremos dentro o jugaremos baloncesto. La conclusión es otra disyunción.
  • 5. A continuación se simboliza el razonamiento anterior para obtener un esquema claro de la forma de un silogismo disyuntivo. Sea: R “ Llueve” D “El campo está seco” P “ Jugaremos dentro” B “ Jugaremos baloncesto” Este razonamiento se simboliza: (1) R ∨ D (2) R → P (3) D → B (4) P ∨ B (Conclusión)
  • 6. TABLA RESUMEN DE LAS REGLAS EJERCICIOS PROPUESTOS 1
  • 7. EJERCICIOS PROPUESTOS 2 ( Sólo debe poner las vistas en clase)
  • 8.
  • 9. MODUS PONIENDO PONENS MODUS TOLLENDO TOLLENS
  • 12. EJERCICIOS: DETERMINAR LA CONCLUSIÓN DE LAS PREMISAS IDENTIFICANDO CADA UNA DE LAS LEYES.