Unidad 2 - Tarea 2 - Argumentos y Reglas de Inferencia

Unidad 2 - Tarea 2 - Argumentos y reglas de inferencia
Ejercicios 3.3.6
1. En los problemas siguientes simboliza y verifique si se puede deducir la conclusión de
las premisas;premisas;De ser posible, haga una deducción formal:
 Pedro no tiene la posibilidad de salir culpable.
 Sí Pedro estaba en el lugar del crimen, es sospechoso.
 Si Pedro es llamado a declarar, entonces tiene la posibilidad de salir culpable.
 Si Pedro es mayor de edad, entonces estaba en el lugar del crimen.
 Sí Pedro es sospechoso, es llamado a declarar.
Por lo tanto, Pedro no es mayor de edad.
¬ P , Q→ R , S → P ,T →Q , R→ S ⊢¬T
1. ¬ P Premisa
2. Q→ R Premisa
3. S . → P Premisa
4. T → Q Premisa
5. R → S Premisa
6. ¬ S MTT entre 1 y 3
7. ¬ R MTT entre 5 y 6
8. ¬Q MTT entre 2 y 7
9. ¬T MTT entre 4 y 8
Argumento válido.
c)
 Si el Titanic no llegó hasta el fondo del mar, entonces no es cierto que gran parte de la
proa se dobló al posarse sobre el fondo.
 no es cierto que gran parte de la proa no se dobló al posarse sobre el fondo.
Por lo tanto, el Titanic se partió por la mitad.
¬ P → Q, ¬¬ Q⊢ R
1. ¬ P →¬Q Premisa
2. ¬¬Q Premisa
3. Q DN 2
4. P MTT entre 1 y 3
Argumento no válido.
e)
 Si el perro es mamífero, es vertebrado.
 si la gallina es ave, es vertebrado.
Por lo tanto, si la gallina es ave, entonces no es un perro.
P →Q , R→ Q ⊢ R →¬ P
1. P → Q Premisa
2. R→ Q Premisa
3. R → P Premisa
Argumento NO válido, porque utilizando la regla de inferencia SH la primera causa es la
causa de la segunda consecuencia y al estar negada la ⊢el argumento no es válido.

2. Demuestre usando el modo Tollendo Tolles y justifique cada paso
a ¿ P →Q , ¬Q ⊢¬ P
1. P → Q Premisa
2. ¬Q Premisa
3. ¬ P MTT entre 1 y 2
c ¿ P → Q ,¬ R ,Q → R ⊢¬ P
1. P → Q Premisa
2. ¬ R Premisa
3. Q→ R Premisa
4 ¬Q MTT entre 2 y 3
e ¿¬ R ,Q → R , P →Q ⊢¬ P
1. ¬Q Premisa
2. Q→ R Premisa
g ¿ ¬¬ S , Q →¬ R , P →Q , ¬ R →¬ S ⊢¬ P
1. ¬¬ S Premisa
2. ¬Q →¬ R Premisa
3. P → Q Premisa
4. ¬ R → ¬ SPremisa
5. S DN 1
6. R MTT entre 4 y 5
i¿ ¬ R , P S → R , P → PS ⊢¬ P
1. ¬ R Premisa
2. PS → R Premisa
3. P → PS Premisa
4. ¬ P S TTentre1 y 2
3. Demuestre y justifique cada paso
a ¿ P →Q , ¬Q , ¬ P → R ⊢ R
1. P → Q Premisa
2. ¬Q Premisa
3. ¬ P → R Premisa
5. R MTT entre 3 y 4
c ¿ P → Q ,¬ R ,Q → R , ¬ P → M , M → N ⊢ N
1. P → Q Premisa
2. ¬ R Premisa
3. Q→ R Premisa
4. ¬ P → M Premisa
5. M → N Premisa
8. M MTT entre 4 y 7
9. N MTT entre 5 y 8
e ¿¬ Q ,Q → R , P →Q , ¬ P → AvB ⊢ AvB
1. ¬ R Premisa
2. Q→ RPremisa
3. P → Q Premisa
4. ¬ P → AvB Premisa
6. ¬ P MTTentre3 y 5
7. AvB MTT entre 4 y 6
g ¿ ¬¬ s , Q → R , P→ Q ,¬ R →¬ S , A → P ⊢¬ A
1. ¬¬ S Premisa
2. Q→ ¬ R Premisa
3. P → Q Premisa
4. ¬ R → ¬ S Premisa
5. A → P Premisa
6. S DN 1
7. R MTP entre 4 y 6
9. ¬ P MTP entre 3 y 8
10. ¬ A MTT entre 5 y 9
i¿ ¬ R , P S → R , P → PS , A → P ⊢¬ A
1. ¬ R Premisa
2. PS → R Premisa
3. P → PS Premisa
4. A → P Premisa
5. ¬ PS MTP entre 1 y 2
6. ¬ P MTP entre 3 y 5
7. ¬ A MTP entre 4 y 6
Ejercicios 3.3.8
1. En los siguientes ejercicios verifique que no es un teorema formal o deduzca la conclusión de

las premisas.
a ¿ ¬¬ Q→ R , P → Q , P ⊢ R
1. ¬¬Q → R Premisa
2. P→ Q Premisa
3. P Premisa
4. Q MPP entre 2 y 3
5. R MTT entre 1 y
c ¿ R → Q , P → ¬Q , P , ¬ R → RvS , RvS → ¬¬T ⊢T
1. R → Q Premisa
2. P→ ¬Q Premisa
3. P Premisa
4. ¬ R → RvS Premisa
5. RvS → ¬¬ T Premisa
6. ¬Q MPP entre 2 y 3
8. RvS MPP entre 4 y 7
9. T MTP entre 5 y 8
e ¿ P , P→ Q , S → M ⊢ M
1. P Premisa
2. P→ Q Premisa
3. S → M Premisa
Argumento no válido
2. Simbolice y exprese con ⊢. Verifique si no se puede deducir la conclusión de las
premisas o escriba una demostración.
 Si el volumen de mi equipo de sonido está al máximo, Entonces mi vecino
está molesto.
 Sí mi vecino está molesto, llamó a la policía.
 Mi vecino no llamó a la policía.
 Sí el volumen de mi equipo no está al máximo, entonces son más de las 12 de
la noche.
Por lo tanto, no ocurre que no son más de las 12 de la noche.
P →Q , Q→ R , R , P → S ⊢ S
1. P → Q Premisa
2. Q→ R Premisa
3. R Premisa
4. P → S Premisa
6. P MPP entre 1 y 4
7. S MPP entre 4 y 6
Argumento válido.
c)
 No ocurre que no voy a negar este hecho.
 si voy a negar este hecho, Entonces he mentido.
 sí prometí decir la verdad, Entonces no he mentido.
Por lo tanto, prometí decir la verdad.
¬¬ P , P →Q , R →¬ Q⊢ P
1. ¬¬ P Premisa
2. P→ Q Premisa
3. R → ¬Q Premisa
4. P DN 1
Argumento NO válido.
e)
 Si tengo plata, entonces no es cierto que no voy a comprar sándwich o una Coca Cola.
 Tengo plata.
Por lo tanto, voy a comprar un sándwich o una Coca Cola.
P →¬ ¬Q , P ⊢Q
1. P → ¬¬Q Premisa
2. P Premisa
3. ¬¬Q MPP entre 1 y 2
4. Q DN 3
Argumento válido.

Unidad 2 - Tarea 2 - Argumentos y Reglas de Inferencia

Cargado por

Copyright:

Formatos disponibles

Unidad 2 - Tarea 2 - Argumentos y Reglas de Inferencia

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Unidad 2 - Tarea 2 - Argumentos y Reglas de Inferencia

Cargado por

Copyright:

Formatos disponibles

Unidad 2 - Tarea 2 - Argumentos y reglas de inferencia

1. En los problemas siguientes simboliza y verifique si se puede deducir la conclusión de

las premisas;premisas;De ser posible, haga una deducción formal:

 Pedro no tiene la posibilidad de salir culpable.

 Sí Pedro estaba en el lugar del crimen, es sospechoso.

 Si Pedro es llamado a declarar, entonces tiene la posibilidad de salir culpable.

 Si Pedro es mayor de edad, entonces estaba en el lugar del crimen.

 Sí Pedro es sospechoso, es llamado a declarar.

Por lo tanto, Pedro no es mayor de edad.

proa se dobló al posarse sobre el fondo.

 no es cierto que gran parte de la proa no se dobló al posarse sobre el fondo.

Por lo tanto, el Titanic se partió por la mitad.

 Si el perro es mamífero, es vertebrado.

 si la gallina es ave, es vertebrado.

Por lo tanto, si la gallina es ave, entonces no es un perro.

Argumento NO válido, porque utilizando la regla de inferencia SH la primera causa es la

causa de la segunda consecuencia y al estar negada la ⊢el argumento no es válido.

3. Demuestre y justifique cada paso

7. AvB MTT entre 4 y 6

10. ¬ A MTT entre 5 y 9

1. En los siguientes ejercicios verifique que no es un teorema formal o deduzca la conclusión de

c ¿ R → Q , P → ¬Q , P , ¬ R → RvS , RvS → ¬¬T ⊢T

8. RvS MPP entre 4 y 7

2. Simbolice y exprese con ⊢. Verifique si no se puede deducir la conclusión de las

premisas o escriba una demostración.

 Si el volumen de mi equipo de sonido está al máximo, Entonces mi vecino

 Sí mi vecino está molesto, llamó a la policía.

 Mi vecino no llamó a la policía.

 Sí el volumen de mi equipo no está al máximo, entonces son más de las 12 de

Por lo tanto, no ocurre que no son más de las 12 de la noche.

 No ocurre que no voy a negar este hecho.

 si voy a negar este hecho, Entonces he mentido.

 sí prometí decir la verdad, Entonces no he mentido.

Por lo tanto, prometí decir la verdad.

Por lo tanto, voy a comprar un sándwich o una Coca Cola.

3. ¬¬Q MPP entre 1 y 2

También podría gustarte