Parcial I

Parcial I- Lógica I.
(MODELO I) RESPUESTAS
1) Traduzca las siguientes proposiciones del lenguaje natural al lenguaje de la lógica proposicional. (2pts c/u.
Total: 4pts)
a) O bien voy al cine y al teatro, o a ninguno de los dos sitios.

b) Si Moriarty es culpable, él y Crumm son ambos culpables.
a) Leyenda: p: Voy al cine

q: Voy al teatro.
Simbolización: (p^q) v (¬p ^ ¬q)
Otra posible simbolización: (p^q) v ¬ (p v q)
Error más común: (p^q) v ¬ (p ^ q)
b) Leyenda: p: Moriarty es culpable

q: Crumm es culpable
Simbolización: p→ (p ^ q)
Error más común: p→ q
2) Simbolice y formalice el siguiente argumento, usando el lenguaje de la lógica proposicional. (4 pts)
a) Si comparezco ante el tribunal, acataré la sentencia, pero si lo hago, los jueces me hallarán culpable del
delito. Si no comparezco ante el tribunal, no acataré la sentencia y, si no la acato, los jueces me hallarán
culpable del delito. O comparezco ante el tribunal o no lo hago. Luego, los jueces no me hallarán culpable
del delito.
Leyenda: p: Comparezco ante el tribunal

q: Acataré la sentencia
r: Los jueces me hallan culpable del delito
Simbolización y formalización: (p→q) ^ (q→r); (¬p→ ¬q) ^ (¬q→r) ; p v ¬p ∴ ¬r

Otra posible solución: (p→q) ^ (p→r); (¬p→ ¬q) ^ (¬q→r) ; p v ¬p ∴ ¬r
Error más común: [p→(q→r)]; (¬p→ [¬q→r] ; p v ¬p ∴ ¬r
3) Mediante el método de tablas de verdad, indique si la siguiente proposición es tautológica, contradictoria o

contingente. (4 pts)
a) [(p→q) ^ (q ∨ ¬r)] → (p→ r)

p q r ¬r p→q q v ¬r [(p→q) ^ (q ∨ ¬r)] p→r [(p→q) ^ (q ∨ ¬r)] → (p→ r)
1 1 1 0 1 1 1 1 1
1 1 0 1 1 1 1 0 0
1 0 1 0 0 0 0 1 1
1 0 0 1 0 1 0 0 1
0 1 1 0 1 1 1 1 1
0 1 0 1 1 1 1 1 1
0 0 1 0 1 0 0 1 1
0 0 0 1 1 1 1 1 1
Contingente ■
4) Mediante el método de tablas de verdad y el método del condicional asociado, indique si los siguientes
argumentos (ya formalizados) son válidos o inválidos. (4 pts c/u. Total: 8pts)
a) p→q; q→ r; ¬r ∴ ¬p
b) p ∨ ¬r; q→ r; q ∴ ¬p ^ r
a) Condicional asociado: {[(p→q)^ (q→ r)] ^ ¬r} → ¬p

p q r ¬p ¬r p→q q→r (p→q)^ (q→ r) [(p→q)^ (q→ r)] ^ ¬r {[(p→q)^ (q→ r)] ^ ¬r} → ¬p
1 1 1 0 0 1 1 1 0 1
1 1 0 0 1 1 0 0 0 1
1 0 1 0 0 0 1 0 0 1
1 0 0 0 1 0 1 0 0 1
0 1 1 1 0 1 1 1 0 1
0 1 0 1 1 1 0 0 0 1
0 0 1 1 0 1 1 1 0 1
0 0 0 1 1 1 1 1 1 1
El condicional asociado es tautológico. Por lo tanto, el argumento “a” es válido. ■
b) Condicional asociado: {[(p v ¬r) ^ (q→ r)] ^ q} → (¬p ^r)
Prem Conc
l
p q r ¬r ¬p p v ¬r q→r (p v ¬r) ^ (q→ r) [(p v ¬r) ^ (q→ r)] ^ q ¬p ^r Prem→Concl
1 1 1 0 0 1 1 1 1 0 0
1 1 0 1 0 1 0 0 0 0 1
1 0 1 0 0 1 1 1 0 0 1
1 0 0 1 0 1 1 1 0 0 1
0 1 1 0 1 0 1 0 0 1 1
0 1 0 1 1 1 0 0 0 0 1
0 0 1 0 1 0 1 0 0 1 1
0 0 0 1 1 1 1 1 0 0 1
El condicional asociado es contingente. Por lo tanto, el argumento “b” es inválido. ■

Parcial I. Lógica I (MODELO II) RESPUESTAS
1) Traduzca las siguientes proposiciones del lenguaje natural al lenguaje de la lógica proposicional. (2pts c/u.
Total: 4pts)
a) O bien voy al cine y al teatro, o a ninguno de los dos sitios.

b) Si Moriarty no es culpable, él y Crumm son ambos culpables.
Respuestas:
a) Leyenda: p: Voy al cine
q: Voy al teatro.
Simbolización: (p^q) v (¬p ^ ¬q)

Otra posible simbolización: (p^q) v ¬ (p v q)
Error más común: (p^q) v ¬ (p ^ q)
b) Leyenda: p: Moriarty es culpable

q: Crumm es culpable
Simbolización: ¬p → (p ^ q)
Error más común: ¬p→ q
2) Simbolice y formalice el siguiente argumento, usando el lenguaje de la lógica proposicional. (4 pts)
a) Si comparezco ante el tribunal, acataré la sentencia, pero si lo hago, los jueces me hallarán culpable del
delito. Si no comparezco ante el tribunal, no acataré la sentencia y, si no la acato, los jueces me hallarán
culpable del delito. O comparezco ante el tribunal o no lo hago. Luego, los jueces me hallarán culpable del
delito.
Leyenda: p: comparezco ante el tribunal

q: acataré la sentencia
r: Los jueces me hallan culpable del delito
Simbolización y formalización: (p→q) ^ (q→r); (¬p→ ¬q) ^ (¬q→r) ; p v ¬p ∴ r

Otra posible solución: (p→q) ^ (p→r); (¬p→ ¬q) ^ (¬q→r) ; p v ¬p ∴ r
Error más común: [p→(q→r)]; (¬p→ [¬q→r] ; p v ¬p ∴ r
3) Mediante el método de tablas de verdad, indique si la siguiente proposición es tautológica, contradictoria o

contingente. (4 pts)
a) [(p→q) ^ (q ∨ ¬r)] → (p→ r)

p q r ¬r p→q q v ¬r [(p→q) ^ (q ∨ ¬r)] p→r [(p→q) ^ (q ∨ ¬r)] → (p→ r)
1 1 1 0 1 1 1 1 1
1 1 0 1 1 1 1 0 0
1 0 1 0 0 0 0 1 1
1 0 0 1 0 1 0 0 1
0 1 1 0 1 1 1 1 1
0 1 0 1 1 1 1 1 1
0 0 1 0 1 0 0 1 1
0 0 0 1 1 1 1 1 1
Contingente ■
4) Mediante el método de tablas de verdad y el método del condicional asociado, indique si los siguientes
argumentos (ya formalizados) son válidos o inválidos. (4 pts c/u. Total: 8pts)
a) p→q; q→ r; ¬r ∴ ¬p
p q r ¬p ¬r p→q q→r (p→q)^ (q→ r) [(p→q)^ (q→ r)] ^ ¬r {[(p→q)^ (q→ r)] ^ ¬r} → ¬p
1 1 1 0 0 1 1 1 0 1
1 1 0 0 1 1 0 0 0 1
1 0 1 0 0 0 1 0 0 1
1 0 0 0 1 0 1 0 0 1
0 1 1 1 0 1 1 1 0 1
0 1 0 1 1 1 0 0 0 1
0 0 1 1 0 1 1 1 0 1
0 0 0 1 1 1 1 1 1 1
El condicional asociado es tautológico. Por lo tanto, el argumento “a” es válido. ■
b) p ∨ ¬r; q→ r; q ∴ p ^ r
Condicional asociado: {[(p v ¬r) ^ (q→ r)] ^ q} → (¬p ^r)
Prem Concl
p q r ¬r p v ¬r q→r (p v ¬r) ^ (q→ r) [(p v ¬r) ^ (q→ r)] ^ q p ^r Prem→Concl
1 1 1 0 1 1 1 1 1 1
1 1 0 1 1 0 0 0 0 1
1 0 1 0 1 1 1 0 1 1
1 0 0 1 1 1 1 0 0 1
0 1 1 0 0 1 0 0 0 1
0 1 0 1 1 0 0 0 0 1
0 0 1 0 0 1 0 0 0 1
0 0 0 1 1 1 1 0 0 1
El condicional asociado es tautológico. Por lo tanto, el argumento “b” es válido. ■

Parcial I

Cargado por

Copyright:

Formatos disponibles

Parcial I

Cargado por

Información del documento

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

Parcial I

Cargado por

Copyright:

Formatos disponibles

Parcial I- Lógica I.

a) O bien voy al cine y al teatro, o a ninguno de los dos sitios.

a) Leyenda: p: Voy al cine

Error más común: (p^q) v ¬ (p ^ q)

b) Leyenda: p: Moriarty es culpable

Error más común: p→ q

2) Simbolice y formalice el siguiente argumento, usando el lenguaje de la lógica proposicional. (4 pts)

Leyenda: p: Comparezco ante el tribunal

Simbolización y formalización: (p→q) ^ (q→r); (¬p→ ¬q) ^ (¬q→r) ; p v ¬p ∴ ¬r

Error más común: [p→(q→r)]; (¬p→ [¬q→r] ; p v ¬p ∴ ¬r

3) Mediante el método de tablas de verdad, indique si la siguiente proposición es tautológica, contradictoria o

a) [(p→q) ^ (q ∨ ¬r)] → (p→ r)

a) Condicional asociado: {[(p→q)^ (q→ r)] ^ ¬r} → ¬p

El condicional asociado es tautológico. Por lo tanto, el argumento “a” es válido. ■

b) Condicional asociado: {[(p v ¬r) ^ (q→ r)] ^ q} → (¬p ^r)

El condicional asociado es contingente. Por lo tanto, el argumento “b” es inválido. ■

a) O bien voy al cine y al teatro, o a ninguno de los dos sitios.

Simbolización: (p^q) v (¬p ^ ¬q)

Error más común: (p^q) v ¬ (p ^ q)

b) Leyenda: p: Moriarty es culpable

Error más común: ¬p→ q

2) Simbolice y formalice el siguiente argumento, usando el lenguaje de la lógica proposicional. (4 pts)

Leyenda: p: comparezco ante el tribunal

Simbolización y formalización: (p→q) ^ (q→r); (¬p→ ¬q) ^ (¬q→r) ; p v ¬p ∴ r

Error más común: [p→(q→r)]; (¬p→ [¬q→r] ; p v ¬p ∴ r

3) Mediante el método de tablas de verdad, indique si la siguiente proposición es tautológica, contradictoria o

a) [(p→q) ^ (q ∨ ¬r)] → (p→ r)

El condicional asociado es tautológico. Por lo tanto, el argumento “a” es válido. ■

Condicional asociado: {[(p v ¬r) ^ (q→ r)] ^ q} → (¬p ^r)

También podría gustarte