Fase 3 Logica

3.3.
1. En los problemas siguientes simbolice y veriﬁque si se puede deducir la conclu-

sión de las premisas; de ser posible, haga entonces una deducción formal: a)
Pedro es mayor de edad. Si 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, estaba en el lugar del crimen. Si Pedro es sospechoso,
entonces es llamado a declarar. Por lo tanto, Pedro tiene la posibilidad de salir
culpable.
Simbolización
Definamos las siguientes proposiciones:
 P: Pedro es mayor de edad.

 Q: Pedro estaba en el lugar del crimen.
 R: Pedro es sospechoso.
 S: Pedro es llamado a declarar.
 T: Pedro tiene la posibilidad de salir culpable.
Premisas
1. P (Pedro es mayor de edad).

2. Q→R (Si Pedro estaba en el lugar del crimen, es sospechoso).
3. S→T (Si Pedro es llamado a declarar, entonces tiene la posibilidad de salir
culpable).
4. P→Q (Si Pedro es mayor de edad, estaba en el lugar del crimen).
5. R→S (Si Pedro es sospechoso, entonces es llamado a declarar).
Conclusión
Queremos demostrar que TTT (Pedro tiene la posibilidad de salir culpable).
Deducción Formal
1. P (premisa)
2. P→Q(premisa)
3. Por Modus Ponens (1, 2): Q (Pedro estaba en el lugar del crimen).
4. Q→R(premisa)
5. Por Modus Ponens (3, 4): R (Pedro es sospechoso).
6. R→S (premisa)
7. Por Modus Ponens (5, 6): S (Pedro es llamado a declarar).
8. S→T (premisa)
9. Por Modus Ponens (7, 8): T (Pedro tiene la posibilidad de salir culpable).
Conclusión
La conclusión T se deduce de las premisas, por lo que es válida la argumentación:
Pedro tiene la posibilidad de salir culpable.
B: Si María causa su aborto, no será́ reprimida con pena privativa de libertad

menor de dos años. Si María no es reprimida con pena privativa de libertad menor
de dos años, entonces no puede prestar servicio comunitario de cincuenta y dos a
ciento cuatro jornadas. María causa su aborto. Por lo tanto, María no puede
prestar servicio comunitario de cincuenta y dos a ciento cuatro jornadas.
Simbolización
 A: María causa su aborto.

 B: María no será reprimida con pena privativa de libertad menor de dos
años.
 C: María no puede prestar servicio comunitario de cincuenta y dos a ciento
cuatro jornadas.
Premisas
1. A→B (Si María causa su aborto, no será reprimida con pena privativa de
libertad menor de dos años).
2. ¬B→C (Si María no es reprimida con pena privativa de libertad menor de
dos años, entonces no puede prestar servicio comunitario).
3. A (María causa su aborto).
Conclusión
Queremos demostrar que CCC (María no puede prestar servicio comunitario).
Deducción Formal
1. A (premisa)
2. A→B (premisa)
3. Por Modus Ponens (1, 2): B (María no será reprimida con pena privativa de
libertad menor de dos años).
4. ¬B→C (premisa)
5. Sabemos que B implica es falso, por lo que ¬B no se cumple.
6. Como no se cumple ¬B, no se puede deducir C directamente de las
premisas.
Conclusión
No se puede concluir que María no puede prestar servicio comunitario, dado que
no se cumple ¬B. Por lo tanto, la deducción no es válida.
c) Hoy es viernes. Si hoy es viernes, entonces tengo clases de Matemáticas. Si

hoy es jueves, tengo clases de Lógica. Por lo tanto, hoy es jueves.
Simbolización
 F: Hoy es viernes.
 J: Hoy es jueves.
 M: Tengo clases de Matemáticas.
 L: Tengo clases de Lógica.
Premisas
1. FFF (Hoy es viernes).

2. F→M (Si hoy es viernes, entonces tengo clases de Matemáticas).
3. J→L (Si hoy es jueves, tengo clases de Lógica).
Conclusión
Queremos demostrar que J(Hoy es jueves).
Deducción Formal
1. FFF (premisa).
2. F→M(premisa).
3. Por Modus Ponens (1, 2): M (Tengo clases de Matemáticas).
4. No hay relación directa que permita concluir J desde M o F.
5. La premisa J→L no se puede utilizar, ya que no hemos establecido que hoy
sea jueves.
Conclusión
La deducción no es válida; hoy no puede ser jueves si hoy es viernes.

2: Demuestre usando modus ponendo ponens y justifique al lado derecho cada
paso:
a) P→Q
Para demostrar P→Q,P⊢Q usando Modus Ponens, sigamos estos pasos:
Premisas
1. P→Q (Premisa 1).

2. P (Premisa 2).
Deducción Formal
1. P→Q (Premisa 1).

Justificación: Es una premisa dada.
2. P (Premisa 2).
3. Q (Conclusión).
Justificación: Por Modus Ponens de (1) y (2).
Conclusión
Se ha demostrado que Q se sigue de las premisas P→Q Y P
B: ¬P, B→¬P, A→B, ⊢¬F
Premisas
1. ¬P (Premisa 1).
2. B→¬P (Premisa 2).
3. A→B (Premisa 3).
Deducción Formal
1. ¬P(Premisa 1).
2. B→¬P(Premisa 2).
3. Supongamos B.
Justificación: Suponemos para usar Modus Ponens.
4. ¬P (De 2 y 3, Modus Ponens).
Justificación: Si B es verdadero, entonces ¬P también es verdadero.
5. A→B (Premisa 3).
6. Supongamos A.
Justificación: Suponemos para usar Modus Ponens.
7. B (De 5 y 6, Modus Ponens).
Justificación: Si A es verdadero, entonces B también es verdadero.
8. ¬P (De 1 y 4, conclusión).
Justificación: Dado que B conduce a ¬P, y ya tenemos ¬P como verdad.
9. Si F fuera verdadero, se llegaría a una contradicción (suponiendo F )
implica P).
Justificación: F no puede ser verdadero si ¬P es verdadero.
10. Por lo tanto, ¬F (conclusión).
Justificación: Si F conduce a una contradicción, debe ser falso.
Conclusión
Se ha demostrado que ¬F se deduce de las premisas ¬P, B→¬P, A→B.
C) P, P∨Q⊢Q
Premisas
1. P (Premisa 1).
2. P∨QP (Premisa 2).
Deducción Formal
1. P (Premisa 1).
2. P∨Q (Premisa 2).
3. Q (No se puede concluir directamente de P y P∨QP
Justificación: No se puede usar Modus Ponens porque no hay implicación
directa.
Conclusión
No se puede deducir Q únicamente de P y P∨Q sin información adicional. El

argumento no es válido.

Fase 3 Logica

Cargado por

Copyright:

Formatos disponibles

Fase 3 Logica

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

Fase 3 Logica

Cargado por

Copyright:

Formatos disponibles

3.3.

1. En los problemas siguientes simbolice y veriﬁque si se puede deducir la conclu-

Definamos las siguientes proposiciones:

 P: Pedro es mayor de edad.

1. P (Pedro es mayor de edad).

Queremos demostrar que TTT (Pedro tiene la posibilidad de salir culpable).

B: Si María causa su aborto, no será́ reprimida con pena privativa de libertad

Definamos las siguientes proposiciones:

 A: María causa su aborto.

Queremos demostrar que CCC (María no puede prestar servicio comunitario).

c) Hoy es viernes. Si hoy es viernes, entonces tengo clases de Matemáticas. Si

Definamos las siguientes proposiciones:

1. FFF (Hoy es viernes).

Queremos demostrar que J(Hoy es jueves).

La deducción no es válida; hoy no puede ser jueves si hoy es viernes.

Para demostrar P→Q,P⊢Q usando Modus Ponens, sigamos estos pasos:

1. P→Q (Premisa 1).

1. P→Q (Premisa 1).

Se ha demostrado que Q se sigue de las premisas P→Q Y P

B: ¬P, B→¬P, A→B, ⊢¬F

Se ha demostrado que ¬F se deduce de las premisas ¬P, B→¬P, A→B.

No se puede deducir Q únicamente de P y P∨Q sin información adicional. El

También podría gustarte