UNIDAD II: LOGICA PROPOSICIONAL

JAVIER ANDRES JARAMILLO ALVAREZ

94474219

GRUPO: 283

Profesor:
HILDER MOSCOTE

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ASIGNATURA
BUGA - VALLE
2016

Tabla de contenido.

Objetivos............................................................................................................................... 3
Silogismos Categricos ........................................................................................................ 4
Segundo aporte ..................................................................................................................... 6
Tercer aporte ......................................................................................................................... 8
Problema A ....................................................................................................................... 8
Proposicin categrica mayor. ..................................................................................... 8
Proposicin categrica menor. ..................................................................................... 9
Proposicin categrica conclusin. .............................................................................. 9
Diagrama de Venn para el silogismo categrico. ....................................................... 10

Objetivos.

Con esta actividad se busca que el estudiante conceptualice, analice y argumente de forma
adecuada los procedimientos desde la lgica proposicional utilizados para demostrar la veracidad
y validez de situaciones especficas del mundo real; y as verificar si la tabla de verdad generada
es una tautologa, contradiccin o contingencia.

Silogismos Categricos

Un silogismo es un argumento deductivo en el que se infiere una conclusin a partir de dos

premisas. El silogismo contiene exactamente tres trminos, cada uno de los cuales slo. Aparece
en dos de las proposiciones que lo constituyen. Se dice que un silogismo est en forma estndar
cuando sus premisas y conclusin estn arregladas en cierto orden especfico.
La conclusin de un silogismo de forma estndar es una proposicin que contiene dos de los tres
trminos del silogismo. El trmino que aparece como predicado de la conclusin se llama el
trmino mayor del silogismo, y el trmino que aparece como sujeto de la conclusin es el trmino
menor del silogismo. (Mexico, 2012).
Ejemplos:
1.
Todos los mamferos son animales.
Los gatos son mamferos.
Los gatos son animales.
2.
Todas las aves vuelan
Las gallinas y los pinginos no vuelan
Las gallinas y los pinginos no son aves.
3.
Todos los caballeros conservan buenas normas de aseo
Algunos marineros son des aseados.
Algunos marineros no son caballeros.
Textos de apoyo:
http://www.buenastareas.com/ensayos/Ejemplos-De-Silogismo-Categorico/4537726.html
(Buenas tareas, 2012)
http://objetos.unam.mx/logica/silogismos/pdf/TeoriaSilogismos.pdf (Mexico, 2012)
https://es.wikipedia.org/wiki/Silogismo_categ%C3%B3rico (Wikipedia, 2016)
http://www.paginasobrefilosofia.com/html/Diagramas%20de%20Venn/Presentacion/welcome.ht
ml (Paginas sobre Filosofia, 2016)

Videos de apoyo:
https://www.youtube.com/watch?v=zAn59TLbyhs (Miprofeocomomx, 2014)
https://www.youtube.com/watch?v=LzwPjb3Gq48 (Rodriguez, 2014)
https://www.youtube.com/watch?v=fDjn_c1McdQ (Astocondor, 2014)

Segundo aporte

En el Fondo de empleados de una empresa desean premiar a los asociados ms

antiguos con un viaje para dos personas con todo pago a la isla de San Andrs, los asociados
ms antiguos son Alberto, Javier, Camilo y los hermanos Luis y Carlos. En la Junta para
determinar a quien otorgar el premio se hace la siguiente consideracin con relacin a los
ahorros: Si Alberto posee mayor cantidad de ingresos que Javier, Javier posee mayor cantidad
de ingresos que Luis. Camilo posee mayor cantidad de ingresos que Carlos el hermano de Luis,
si Javier posee mayor cantidad de ingresos que Luis. Por lo tanto, Si Alberto posee mayor
cantidad de ingresos que Javier, Camilo es quien posee mayor cantidad de ingresos que Carlos.
Es correcto o contradictorio el anlisis?

Si Alberto posee mayor cantidad de ingresos que Javier, Javier posee mayor cantidad
de ingresos que Luis. ^ Camilo posee mayor cantidad de ingresos que Carlos el hermano de
Luis, si Javier posee mayor cantidad de ingresos que Luis. Por lo tanto, Si Alberto posee
mayor cantidad de ingresos que Javier, Camilo es quien posee mayor cantidad de ingresos que
Carlos. Es correcto o contradictorio el anlisis?

P = Alberto posee mayor cantidad de ingresos que Javier

Q = Javier posee mayor cantidad de ingresos que Luis
R = Camilo posee mayor cantidad de ingresos que Carlos el hermano de Luis

{[p (q ^ r)] q} (p r)

Tabla de verdad para la expresion: {[p --> (q ^ r)] --> q} --> (p --> r)
p
1
1
1
1
0
0
0
0

q
1
1
0
0
1
1
0
0

r q ^ r p --> r p --> (q ^ r) [p --> (q ^ r)] --> q {[p --> (q ^ r)] --> q} --> (p --> r)
1 1
1
1
1
1
0 0
0
0
1
0
1 0
1
0
1
1
0 0
0
0
1
0
1 1
1
1
1
1
0 0
1
1
1
1
1 0
1
1
0
1
0 0
1
1
0
1

Conclusin: el enunciado es una contingencia

Tercer aporte

Problema A
Todos los egresados de programas del SENA pueden estudiar por convenio en la
UNAD.
Algunos jvenes tcnicos no pueden estudiar por convenio en la UNAD.
Algunos jvenes tcnicos no son egresados del SENA.

Proposicin categrica mayor.

Todos los egresados de programas del SENA pueden estudiar por convenio en la
UNAD., es una proposicin categrica en forma estndar A, (todo S es P), y su representacin
en diagrama de Venn seria la siguiente:

Sena

Unad

Proposicin categrica menor.

Algunos jvenes tcnicos no pueden estudiar por convenio en la UNAD, es una
proposicin categrica en forma estndar O, (Algn S no es P), y su representacin en diagrama
de Venn seria la siguiente:

Tcnicos

Unad

Proposicin categrica conclusin.

Algunos jvenes tcnicos no son egresados del SENA., es una proposicin categrica
en forma estndar O, (Algn S no es P), y su representacin en diagrama de Venn seria la
siguiente:

Tcnicos

Sena

Diagrama de Venn para el silogismo categrico.

Todos los egresados de programas del SENA pueden estudiar por convenio en la
UNAD.
Algunos jvenes tcnicos no pueden estudiar por convenio en la UNAD.
Algunos jvenes tcnicos no son egresados del SENA.

Tcnicos

Sena

Unad

Bibliografa

Astocondor, E. (25 de 09 de 2014). Youtube. Obtenido de

https://www.youtube.com/watch?v=fDjn_c1McdQ
Buenas tareas. (14 de 06 de 2012). Obtenido de http://www.buenastareas.com/ensayos/EjemplosDe-Silogismo-Categorico/4537726.html
Mexico, U. n. (2012). Unam. Obtenido de
http://objetos.unam.mx/logica/silogismos/pdf/TeoriaSilogismos.pdf
Miprofeocomomx. (25 de 06 de 2014). Youtube. Obtenido de
https://www.youtube.com/watch?v=zAn59TLbyhs
Paginas sobre Filosofia. (2016). Obtenido de
http://www.paginasobrefilosofia.com/html/Diagramas%20de%20Venn/Presentacion/welc
ome.html
Rodriguez, M. (01 de 05 de 2014). Youtube. Obtenido de
https://www.youtube.com/watch?v=LzwPjb3Gq48
Wikipedia. (02 de 03 de 2016). Obtenido de
https://es.wikipedia.org/wiki/Silogismo_categ%C3%B3rico