Guia Ejercicios Unidad Iii-reglas De Inferencia.doc

  • Uploaded by: Miguel DueRive
  • 0
  • 0
  • October 2019
  • PDF

This document was uploaded by user and they confirmed that they have the permission to share it. If you are author or own the copyright of this book, please report to us by using this DMCA report form. Report DMCA


Overview

Download & View Guia Ejercicios Unidad Iii-reglas De Inferencia.doc as PDF for free.

More details

  • Words: 655
  • Pages: 3
FACULTAD DE INGENIERIA Y SISTEMAS LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD III: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA

INDICACIÓN: Un método más eficiente para probar la validez de un argumento extenso consiste en deducir su conclusión a partir de sus premisas mediante una serie de argumentos elementales, cada uno de los cuales se conoce como válido. Esta técnica es muy similar a los métodos ordinarios de argumentación. Para realizar los ejercicios debe tener presente las Reglas de Inferencia. Resolver los ejercicios tomados del libro Introducción a la Lógica de Irving Copi I.

Para cada uno de los siguientes argumentos elementales válidos enuncie la regla de inferencia mediante la cual se sigue su conclusión de sus premisas.

Argumentos 1. (A · B)  C (A · B)  (A · B) · C

Reglas utilizadas

2. (H · I) (H  I) (I  H)  (H ·I) (I  H) (H  I) II.

Cada una de las siguientes es una prueba formal de validez del argumento indicado. Enuncie la “justificación” de cada línea que no sea una premisa de la prueba. Argumentos

1. A · B 2. (A v C) D/A · D 3. A 4. A v C 5. D 6. A · D 1. Q  R 2. S  (T U) 3. S v (Q v T) 4. S/ R v U 5. T  U 6. (Q  R) · (T  U) 7. Q v T 8. R v U

Reglas utilizadas para justificar cada renglón de la prueba de validez (en color rojo)

III.

FACULTAD DE INGENIERIA Y SISTEMAS LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD III: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA

Para cada uno de los puntos siguientes, añadir los dos enunciados que se necesitan para producir una prueba formal de validez. Construya una prueba formal de validez de cada uno de los siguientes argumentos. Argumentos

Reglas utilizadas para justificar los dos renglones agregados de la prueba de validez

A B (A · B)  C /  A  C

(P  Q) · (R  S) (P v R) · (Q v R) / Q v S

IV.

Para cada uno de los puntos siguientes, añadir tres enunciados a las premisas producirá una prueba formal de validez. Construya una prueba formal de validez para cada uno de los siguientes argumentos. Argumentos

N  [(N · O)  P] N·O/P

E v F F v (E v G)  E / G

Reglas utilizadas para justificar los tres renglones agregados de la prueba de validez

V.

FACULTAD DE INGENIERIA Y SISTEMAS LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD III: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA

Construya una prueba formal de validez para cada uno de los siguientes argumentos. Argumentos

Reglas que justifican la prueba de validez

AB A v (C · D) B · E C

(Q R) · (S T) (U V) · (W X) QvU RvV

VI.

Construya una prueba formal de validez para cada uno de los siguientes argumentos, usando las abreviaturas sugeridas en cada caso. Argumentos

Reglas que justifican la prueba de validez

Si gana Gertrudis o Heriberto, entonces pierden tanto Juana como Kenneth. Gertrudis gana. Por lo tanto, pierde Juana (G: Gertrudis gana; H: Heriberto gana; J: Juana gana; K: Kenneth pierde). Si Anderson fue electo candidato, entonces fue a Boston. Si fue a Boston, entonces hizo campaña en esa ciudad. Si hizo campaña en Boston, se encontró con Douglas. Anderson no se encontró con Douglas. O Anderson fue electo candidato o se eligió a alguien con mayores posibilidades. Por tanto, se eligió a alguien con mayores posibilidades. (A: Anderson fue electo candidato; B: Anderson fue a Boston; C: Anderson hizo campaña en Boston; D: Anderson se encontró con Douglas; E: Se eligió a alguien con mayores posibilidades). Nota: Los ejercicios citados, la solución se encuentra en el libro Introducción a la Lógica de Irving Copi

Related Documents


More Documents from ""