ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

SOLUCIN PROPUESTA TRABAJO COLABORATIVO No. 2

Problema de aplicacin
Los razonamientos lgicos que hemos estudiado, no son exclusivos de los espacios
acadmicos. Por el contrario, hacemos uso de stos en el debate cotidiano de ideas. A
continuacin se propone un dilogo entre varios estudiantes de la UNAD, debes analizar
este dialogo para dar respuesta a las fases 1 y 2:
Dilogo:

Juan:

algunas personas pueden hacer algo por la paz.

Patricia:

No Juan. Todos podemos hacer algo por la paz.

Ana:

O hacemos algo por la paz o no queremos vivir en comunidad.

Diego:

Si nos gusta que existan personas que hagan ropa, entonces nos gusta
vivir en comunidad.

Freddy:

Si nos gusta que existan mdicos, entonces queremos vivir en

comunidad.

Mara:

A quin no le gusta vivir en comunidad?

Jorge:

Si nos gusta vivir en comunidad, es necesario que respetemos las leyes

de la comunidad.

Tania:

podemos concluir que si respetamos las leyes de la comunidad,

entonces hacemos algo por la paz

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente: Freddy F. Valderrama

1/10

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

SOLUCIN PROPUESTA TRABAJO COLABORATIVO No. 2

Fase 1) A continuacin se presentan 10 proposiciones lgicas, debes analizar el

valor de verdad de cada proposicin y registrar su valor. Tambin debes registrar la
justificacin de por qu se asign dicho valor.

No.

Proposicin

La
proposici
n es

Justificacin

VoF
1

El enunciado de Juan es un
enunciado cientfico

No realiza una afirmacin general

El enunciado de Patricia es un
enunciado cientfico

Realiza una afirmacin general

El enunciado de Mara es una

proposicin lgica

Una pregunta no puede ser una proposicin

lgica, pues no se le puede asignar un valor de
verdad.

El enunciado de Diego expresa

una conjuncin

El enunciado de Diego es un condicional,

claramente la expresin, Sientonces.

De acuerdo con Freddy, si no nos

gusta vivir en comunidad,
5
entonces no nos gusta que existan
mdicos.

Esto es verdadero porque la expresin dada es

la contrarecproca de lo enunciado por Freddy

Ana dice: O hacemos algo por la paz o no

queremos vivir en comunidad.

Podemos definir:
P: Hacemos algo por la paz.
Q: Queremos vivir en comunidad.
Entonces Ana dice: P v Q
De acuerdo con Ana, si no
queremos vivir en comunidad,
6
entonces no hacemos algo por la
paz

Nos preguntan si de esto se puede deducir

que: si no queremos vivir en comunidad,
entonces no hacemos algo por la paz.
Es decir: Q -> P
Por lo tanto, queremos saber si:

( P Q ) ( Q P )
Al realizar la tabla de verdad de esta ltima
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co
PTU: www.unadvirtual.org / Docente: Freddy F. Valderrama

2/10

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

SOLUCIN PROPUESTA TRABAJO COLABORATIVO No. 2

expresin, se encuentra que es una

contingencia, por lo tanto no se puede
deducir lo propuesto en la columna 1.

Jorge dice: Si nos gusta vivir en

comunidad, es necesario que respetemos

las leyes de la comunidad.
Podemos definir:
C: Nos gusta vivir en comunidad
L: Es necesario que respetemos las leyes de
la comunidad.
Entonces Jorge dice: C -> L
De acuerdo con Jorge, Si
respetemos las leyes de la
7
comunidad, entonces nos gusta
vivir en comunidad.

Nos preguntan si de esto se puede deducir

que: Si respetemos las leyes de la
comunidad, entonces nos gusta vivir en
comunidad.
Es decir: L -> C
Por lo tanto, queremos saber si:

(C L ) ( L C )
Al realizar la tabla de verdad de esta ltima
expresin, se encuentra que es una
contingencia, por lo tanto no se puede
deducir lo propuesto en la columna 1.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente: Freddy F. Valderrama

3/10

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

SOLUCIN PROPUESTA TRABAJO COLABORATIVO No. 2

Freddy dice: Si nos gusta que existan

mdicos, entonces queremos vivir en

comunidad
Podemos definir:
M: Nos gusta que existan mdicos.
C: Queremos vivir en comunidad.
Entonces Freddy dice: M -> C
Nos preguntan si de esto se puede deducir
que: Si nos gusta vivir en comunidad, nos
gusta que existan mdicos.

Es decir: C -> M
De acuerdo con Freddy, Si nos
8 gusta vivir en comunidad, nos
gusta que existan mdicos.

Por lo tanto, queremos saber si:

( M C ) (C M )
Al realizar la tabla de verdad de esta ltima
expresin, se encuentra que es una
contingencia, por lo tanto no se puede
deducir lo propuesto en la columna 1.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente: Freddy F. Valderrama

4/10

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

SOLUCIN PROPUESTA TRABAJO COLABORATIVO No. 2

Jorge dice: Si nos gusta vivir en

comunidad, es necesario que respetemos

las leyes de la comunidad.
Podemos definir:
C: Nos gusta vivir en comunidad
L: Es necesario que respetemos las leyes de
la comunidad.
Entonces Jorge dice: C -> L
Nos preguntan si de esto se puede deducir
que: Si no nos gusta vivir en comunidad,
entonces no respetamos la ley.
De acuerdo con Jorge, Si no nos
9 gusta vivir en comunidad,
entonces no respetamos la ley.

Es decir: C -> L

Por lo tanto, queremos saber si:

( C L ) ( C L )
Al realizar la tabla de verdad de esta ltima
expresin, se encuentra que es una
contingencia, por lo tanto no se puede
deducir lo propuesto en la columna 1.

Ana dice: O hacemos algo por la paz o no

queremos vivir en comunidad.

De acuerdo con Ana, si hacemos
10 algo por la paz, queremos vivir
en comunidad

Podemos definir:
P: Hacemos algo por la paz.
Q: Queremos vivir en comunidad.
Entonces Ana dice: P v Q

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente: Freddy F. Valderrama

5/10

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

SOLUCIN PROPUESTA TRABAJO COLABORATIVO No. 2

Nos preguntan si de esto se puede deducir

que: si hacemos algo por la paz,
queremos vivir en comunidad.
Es decir: P -> Q
Por lo tanto, queremos saber si:

( P Q ) ( P Q )
Al realizar la tabla de verdad de esta ltima
expresin, se encuentra que es una
contingencia, por lo tanto no se puede
deducir lo propuesto en la columna 1.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente: Freddy F. Valderrama

6/10

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

SOLUCIN PROPUESTA TRABAJO COLABORATIVO No. 2

Fase 2) A continuacin, usando como referencia el dilogo propuesto, analiza la

validez de la conclusin planteada por Tania:
Declaracin de proposiciones simples:
P: Hacemos algo por la paz
Q: Queremos vivir en comunidad
R: Nos gusta que existan personas que hagan ropa.
S: Nos gusta que existan mdicos
T: Respetemos las leyes de la comunidad.

Premisas:
1.
2.
3.
4.
5.

P
P Q
RQ
S Q
T Q

(Patricia)
(Ana)
(Diego)
(Freddy)
(Jorge)

Conclusin:

T P

Demostraciones:
Fase 2.1: Demostracin a partir de las tablas de verdad forma 1:
La expresin a la cual se le debe hacer la tabla de verdad es la siguiente, en ella se
presentan la conjuncin de las premisas, que lleva la conclusin:
P ( P Q ) ( R Q ) ( S Q ) (T Q ) (T P )

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente: Freddy F. Valderrama

7/10

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

SOLUCIN PROPUESTA TRABAJO COLABORATIVO No. 2

P Q R S T

P Q
1

RQ
2

S Q
3

T Q
4

P 1 2 3 4
Prem

T P
Con

Prem Con

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V

V
V
V
V
V
V
V
V
F
F
F
F
V
v
V
V
V
V
V
V
V
V
V
V
F
F
F
F
V
V
V
V

V
V
V
V
V
V
V
V
F
F
V
V
F
f
V
V
V
V
V
V
V
V
V
V
F
F
V
V
F
F
V
V

V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V

V
V
V
V
V
V
V
V
F
F
F
F
F
F
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

Se observa que el razonamiento es tautolgico.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente: Freddy F. Valderrama

8/10

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

SOLUCIN PROPUESTA TRABAJO COLABORATIVO No. 2

Fase 2.2: 2.2.1. Demostracin a partir de las tablas de verdad forma 2:

P Q R S T
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

P Q
1
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V

RQ
2
V
V
V
V
V
V
V
V
F
F
F
F
V
v
V
V
V
V
V
V
V
V
V
V
F
F
F
F
V
V
V
V

S Q
3
V
V
V
V
V
V
V
V
F
F
V
V
F
f
V
V
V
V
V
V
V
V
V
V
F
F
V
V
F
F
V
V

T Q
4
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V

T P
Con
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V

Resaltado en amarillo se observa que siempre que las premisas son todas verdaderas,
tambin lo es la conclusin. Por lo tanto, el razonamiento es vlido.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente: Freddy F. Valderrama

9/10

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

SOLUCIN PROPUESTA TRABAJO COLABORATIVO No. 2

Fase 2.3: Demostracin a partir de las leyes de inferencia:

Recordando las premisas y conclusin:
1. P
(Patricia)
(Ana)
2. P Q
3. R Q
(Diego)
4. S Q
(Freddy)
5. T Q
(Jorge)
T P
Demostracin:
6. Q P
Definicin del condicional en (2), si se hace la t.v se puede comprobar que ( P Q ) (Q P )
7. T P
(S.H entre 5 y 6)
Fase 2.4: Por reduccin al absurdo: Se hace cuando el razonamiento es invlido, este
no es el caso.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente: Freddy F. Valderrama

10/10