ORIENTACIONES TRABAJO COLABORATIVO TRES

A continuacin se presentan tres problemas resueltos en su totalidad, los cuales

poseen la misma estructura de los problemas planteados en la gua, de modo que
se podrn ilustrar del cmo abordar los problemas y cmo resolver los diferentes
procesos de demostracin por tabla de verdad y por leyes de inferencia:
Decidir utilizando las tablas de verdad y la aplicacin de las leyes de
inferencia si el argumento es o no vlido:
1. Todos los mircoles la universidad presenta un grupo de cuenteros, o un grupo
musical. Adems, no se hace una presentacin de la misma clase de grupos
en dos mircoles seguidos. Hoy es mircoles, y el pasado mircoles se
present un grupo musical. Por lo tanto, la universidad presenta hoy un grupo
de cuenteros.
Solucin:
La estructura del enunciado corresponde a un razonamiento deductivo.
Identificacin de las proposiciones simples:
p:
q:
r:
s:
t:

Es mircoles.
La universidad presenta hoy un grupo de cuenteros.
La universidad presenta hoy un grupo musical.
El mircoles pasado la universidad present un grupo de cuenteros.
El mircoles pasado la universidad present un grupo musical.

Premisa 1:
Premisa 2:
Premisa 3:
Premisa 4:
Conclusin:
Demostracin por tabla de verdad:
Debe verificarse que al generar un condicional con las premisas enlazadas en una
conjuncin como antecedente, y la conclusin el consecuente; se obtiene una
tautologa. De modo que,

El desarrollo de la tabla de verdad es el siguiente:

La tabla anterior
permite evidenciar
que
es
una
tautologa, por lo
cual el razonamiento
es vlido.

Otra manera de
utilizar las tablas de

verdad es evaluando la existencia del caso en que las premisas sean verdaderas y
la conclusin sea falsa. Se tiene entonces la siguiente tabla:

La anterior tabla muestra que no existe el caso en que las premisas sean
verdaderas y la conclusin sea falsa, por lo tanto el razonamiento es vlido.
Demostracin por leyes de inferencia:
Premisa 1:
Premisa 2:
Premisa 3:
Premisa 4:
_______________________
5. t
6. p
7.
8.
9. q

Simp (4)
Simp (4)
MPP (3), (5)
MPP (1),(6)
SD (7),(8) conclusin

2. Si no tenemos fe en la recuperacin de Colombia y tambalea la esperanza, no

tendremos un futuro mejor. Es cierto que tambalea la esperanza, pero tambin
lo es que tendremos un mejor futuro. Por lo tanto tenemos f.
Solucin:
La estructura del enunciado corresponde a un razonamiento deductivo.
Identificacin de las proposiciones simples:
p:
q:
r:

tenemos fe en la recuperacin de Colombia.

tambalea la esperanza.
tendremos un futuro mejor.

Ahora bien, para determinar adecuadamente las premisas es conveneitne extraer

las proposiciones compuestas del enunciado:
Si no tenemos fe en la recuperacin de Colombia y tambalea la esperanza
entonces no tendremos un futuro mejor. PREMISA 1
tambalea la esperanza, y lo es que tendremos un mejor futuro. PREMISA 2

tenemos fe (se intuye que es en la recuperacin de Colombia). CONCLUSIN

Premisa 1:
Premisa 2:
Conclusin:
Demostracin por tabla de verdad:
Debe verificarse que al generar un condicional con las premisas enlazadas en una
conjuncin como antecedente, y la conclusin el consecuente; se obtiene una
tautologa. De modo que,

El desarrollo de la tabla de verdad es el siguiente:

La tabla anterior permite evidenciar que es una tautologa, por lo cual el

razonamiento es vlido.

Otra manera de utilizar las tablas de verdad es evaluando la existencia del caso en
que las premisas sean verdaderas y la conclusin sea falsa. Se tiene entonces la
siguiente tabla:

La anterior tabla muestra que no existe el caso en que las premisas sean
verdaderas y la conclusin sea falsa, por lo tanto el razonamiento es vlido.
Demostracin por leyes de inferencia:
Premisa 1:
Premisa 2:
_______________________
3. r
4.
5.
6. q
7. p

Simp (2)
MTT (1),(3)
FORMA EQUIVALENTE DE (4)
Simp (2)
SD (5), (6) conclusin

3. Sara quiere ser una buena profesional. Slo se puede ser buen profesional
aplicando el aprendizaje en el servir a los otros seres humanos. Qu debo
hacer para ser buen profesional? Si Sara elige ser buena profesional, deber
ser disciplinada, comprometida y perseverante. Quien posee compromiso y
disciplina, fortalece sus saberes. Si Sara posee ms habilidades que los otros,
o si Sara tiene ms estudios o conocimientos que otros, o si Sara tiene ms
recursos econmicos que otros, pero Sara quiere ser buena profesional, Sara
tiene que tener compromiso y disciplina. La experiencia verifica que las
personas mediocres son ignorantes de este principio. Podemos concluir
entonces que si Sara es buena profesional, posee compromiso y disciplina, y
por lo tanto enfoca su conocimiento al servicio de la sociedad.

Solucin:
La estructura del enunciado corresponde a un razonamiento inductivo.
Identificacin de las proposiciones simples:
Para establecer las proposiciones simples, es necesario identificar los enunciados
que hacen parte del razonamiento, teniendo en cuenta que las frases que son
interrogantes hacen parte del hilo conductor del enunciado, sin embargo su
estructura no corresponde a una proposicin, por lo cual no se incluyen dentro de
los razonamientos a analizar. Adems existen frases dentro del enunciado que
sirven de enlaces que dan coherencia e informacin al enunciado.

Pero, como se quiere demostrar la conclusin con base al sujeto, que en este
caso es Sara, entonces slo se toman aquellas frases relevantes a la
demostracin que hacen alusin al sujeto y que poseen estructura de proposicin.
De lo anterior, se establecen las siguientes premisas:

PREMISA 1:

O Sara no quiere ser una buena profesional o no tener compromiso

y disciplina

PREMISA 2:

Sara quiere ser buena profesional

PREMISA 3:

Si Sara posee ms habilidades que los otros, entonces tienen ms

estudios o conocimientos.

PREMISA 4:

Si tiene ms conocimientos o estudios que los otros, entonces debe

enfocarse a aplicarlos al servicio de la sociedad.

CONCLUSIN:

Servir a la sociedad

De all se establece la simbologa de las proposiciones simples, para establecer el

lgebra proposicional:
p:
q:
r:
s:
t:

Sara quiere ser buena profesional.

tener compromiso y disciplina.
Sara posee ms habilidades que los otros.
Tiene ms estudios o conocimientos.
Debe enforcarse a aplicarlos al servicio de la sociedad. CONCLUSIN

Ahora bien en lenguaje simblico las premisas quedan de la siguiente manera:

PREMISA 1:
PREMISA 2:
PREMISA 3:
PREMISA 4:
CONCLUSIN:

Debe verificarse que al generar un condicional con las premisas enlazadas en una
conjuncin como antecedente, y la conclusin el consecuente; se obtiene una
tautologa. De modo que,

El desarrollo de la tabla de verdad es el siguiente:

La
anterior
tabla
nos
conduce a una contingencia,
es decir, al no ser una
tautologa,
entonces
el
razonamiento no es vlido.

Otra manera de utilizar las

tablas
de
verdad
es
evaluando la existencia del
caso en que las premisas
sean
verdaderas
y la

conclusin sea falsa. Se tiene entonces la siguiente tabla:

Sin embargo, la anterior tabla muestra que existe el caso en que las premisas son
verdaderas y la conclusin es falsa, una vez ms nos damos cuenta que, por lo
tanto el razonamiento no es vlido.
Demostracin por leyes de inferencia:
PREMISA 1:
PREMISA 2:
PREMISA 3:
PREMISA 4:
s
_________________________
5. q
6.

SD (1),(2)
SH (3),(4)

Al utilizar las leyes de inferencia llegamos a una indeterminacin, ya que entre las
premisas generadas (5) y (6) no es posible establecer una relacin coherente para
llegar a la conclusin. De este modo determinamos que el razonamiento no es
vlido.
Es importante el anterior ejercicio de demostracin, para evidenciar que no
siempre se nos asegura a encontrar validez en un argumento dado.