ANEXO 3

SITUACIN PROBLMICA DE LA LGICA PROPOSICIONAL FASE GRUPAL

Para todos es preocupante la situacin econmica actual que vivimos y que
infortunadamente todo est muy costoso y el dinero no alcanza. Clemencia reflexiona
acerca de su proceder con su propia economa y su esposo reflexiona lo siguiente:
Clemencia mi esposa escribe su lista de gastos y ella consigue un trabajo alterno en otra
universidad. Mi esposa viaja en bicicleta a su trabajo por lo cerca que queda o ella se
desplaza caminando. Si Clemencia escribe su lista de gastos, entonces ella ahorra mucho
dinero. Por consiguiente, mi esposa ahorra mucho dinero. Es claro lo que expresa el
esposo de Clemencia? Para dar la respuesta es necesario elaborar la tabla de verdad de lo
que comenta el esposo de Clemencia, si es tautologa es afirmativo el comentario, si da
contradiccin hay falsedad en lo expresado, y si da contingencia, es porque hace falta
informacin para tener asertividad del comentario hecho.
Se puede concluir que es una tautologa pues todos sus valores dan como
resultado verdadero
 El silogismo corresponde a una forma de razonamiento deductivo que consta de dos
proposiciones que actan como premisas y otra que acta como conclusin, la cual es
necesariamente deducida de las otras dos.
Un silogismo categrico est compuesto de tres preposiciones categricas: Dos premisas y
una conclusin.

Todo silogismo est formado por tres partes: una premisa mayor, una premisa menor y una
conclusin, a su vez, estas proposiciones involucran tres conceptos distintos,
Debiendo tener un trmino medio comn a los otros dos conceptos:

Premisa mayor, en ella se encuentra el trmino mayor, que es el predicado de la

conclusin, y se representa por la letra P.

Premisa menor, en ella se encuentra el trmino menor, que es el sujeto de la conclusin,

y se representa con la letra S.

Entre ambas premisas se realiza la comparacin entre los trminos S y P con respecto al
trmino Medio, que se representa como M.

La conclusin: En ella se establece la relacin entre el trmino Sujeto S, y el trmino

Predicado P.

De all que se afirme que la lgica trata de establecer las leyes que garantizan que, de la
verdad de dos premisas comparadas, se pueda obtener con garanta de verdad una
conclusin verdadera.

Se dice que un silogismo categrico est en forma estndar cuando satisface las siguientes
condiciones:

Las premisas y la conclusin conservan el siguiente orden: premisa mayor, premisa

menor y conclusin.

La conclusin contiene dos de los tres trminos del silogismo.

Los trminos mayor y menor aparecen, cada uno, en una premisa diferente.

Por ejemplo, el siguiente argumento es un silogismo categrico en forma estndar:

1. Ningn hroe es cobarde.

2. Algunos soldados son cobardes.

3. Por lo tanto, algunos soldados no son hroes.

El argumento es un silogismo categrico porque consiste en tres proposiciones categricas

(dos premisas y una conclusin) que contienen exactamente tres trminos (hroe,
cobarde y soldado), cada uno de los cuales slo aparece en dos de las proposiciones
que lo constituyen. Para saber si el silogismo categrico est en forma estndar, es
necesario identificar el trmino mayor, el trmino menor, la premisa mayor, la premisa
menor y analizar la conclusin. En este caso el predicado de la conclusin es hroe, que
constituye el trmino mayor, y por consiguiente la premisa mayor es Ningn hroe es
cobarde. El sujeto de la conclusin es soldado que es el trmino menor, por lo tanto la
premisa menor es Algunos soldados son cobardes. Adems, la conclusin tiene dos de
los tres trminos del silogismo: soldados y hroes, los trminos mayor y menor aparecen,
cada uno, en una premisa diferente, por consiguiente se puede establecer que este es un
ejemplo de silogismo categrico en forma estndar, tambin aparece el trmino cobardes, al
cual se denomina trmino medio.