LGICA PROPOSICIONAL, TABLAS DE VERDAD EN PROPOSICIONES

COMPUESTAS, TAUTOLOGAS Y CONTRADICCIONES, PROPOSICIONES

CATEGRICAS.

CELIA MARIA CAMARGO PADILLA

CDIGO: 49.715.628
GRUPO: 200611_256

TUTORA: LILIANA GARCIA

UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

CURSO PENSAMIENTO LOGICO Y MATEMATICO
CEAD VALLEDUPAR
2016

PRIMER APORTE INDIVIDUAL:

Socializar en el Foro de Interaccin y Produccin la conceptualizacin y algunos
ejemplos de alguna de las terminologas de la Lgica Proposicional.

O 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. As, en el
siguiente silogismo:
Ningn hroe es cobarde
Algunos soldados son cobardes
Por lo tanto, algunos soldados no son hroes.
El trmino soldados es el trmino menor y el trmino hroes, es el trmino
mayor. El tercer trmino del silogismo que no aparece en la conclusin, y que
aparece en cambio en ambas premisas se llama el trmino medio. En nuestro
ejemplo, el trmino cobardes es el trmino medio.
Los trminos mayor y menor de un silogismo en forma estndar aparecen, cada
uno, en una premisa diferente. La premisa que contiene el trmino menor se llama

premisa menor y la premisa que contiene el trmino mayor se llama premisa

mayor.
Una caracterstica definitoria de un silogismo de forma estndar consiste en que la
premisa mayor se enuncia primero, en seguida la premisa menor y al final la
conclusin.
El modo de un silogismo de forma estndar est determinado por las formas de
las proposiciones categricas de forma estndar que contiene. Es decir, el
silogismo se representa por tres letras, la primera de las cuales nombra la forma
de la premisa mayor del silogismo, la segunda la de la premisa menor y la tercera
la de la conclusin. Por ejemplo, en el caso del silogismo precedente, puesto que
su premisa mayor es una proposicin E, su premisa menor es una proposicin I y
su conclusin una proposicin O; el modo del silogismo es EIO.
El modo slo describe parcialmente la forma de un silogismo, pues silogismos con
el mismo modo pueden diferir en sus formas, dependiendo de las posiciones
relativas de los trminos medios.
La forma de un silogismo se puede describir por completo enunciando su modo y
su figura, donde la figura indica la posicin del trmino medio en las premisas.
Es claro que hay cuatro posibles figuras distintas que pueden tener los silogismos.
El trmino medio puede ser el sujeto de la premisa mayor y el predicado de la
premisa menor, o puede ser el predicado de ambas premisas, o puede ser el
sujeto de ambas premisas, o puede ser el predicado de la premisa mayor y el
sujeto de la premisa menor. Estas diferentes posiciones posibles del trmino
medio constituyen las cuatro figuras del silogismo.

SILOGISMOS VLIDOS
Un silogismo, es vlido cuando la representacin de las premisas contiene
necesariamente a la conclusin.
Con diagramas de Venn podemos determinar la validez o invalidez de un
silogismo. Si representas la premisa universal y despus la particular, observa el
rea de la interseccin entre S y P. Si es igual al rea representada en la
conclusin, el silogismo ser vlido.

SEGUNDO APORTE INDIVIDUAL:

Planteamiento y resolucin (utilizando

las operaciones necesarias y la

representacin a travs de las Tablas de Verdad) de uno de los siguientes

problemas de Lgica Proposicional; adems establecer si la correspondiente tabla
es una Tautologa, Contradiccin o Contingencia.
2. Francisco es estudiante del curso de Herramientas Digitales para la
Gestin del Conocimiento junto con Luis. Luis en un aporte individual para
el Trabajo Colaborativo Uno escribe en el foro la siguiente idea: Si
Francisco mi compaero de curso, aprende Cmaptools y realiza los mapas
conceptuales, entonces Francisco aprende Cmaptools, entonces el realiza
mapas conceptuales o reconoce una red de conceptos y Francisco no realiza
mapas conceptuales y el no reconoce una red de conceptos. Qu se
puede decir de esta informacin?

p= aprende Cmaptools
q= realiza mapas conceptuales
r= reconoce red de conceptos

~q

~r

p^q

V
V
F
F

V
F
V
F

V
F
V
F

F
V
F
V

F
V
F
V

V
F
F
F

~q^
r
F
F
F
F

qvr
V
F
V
F

~qv
r
V
V
V
V

p^r

p^~q

pvr

pv~q

V
F
F
F

F
V
F
F

V
V
V
F

V
V
F
V

Es una contingencia o verdad de hecho, ya que en todos los casos posibles de la

tabla de verdad su valor es verdadera o falsa (combinacin entre tautologa y
contradiccin).

TERCER APORTE INDIVIDUAL:

Seleccionar uno de los siguientes enunciados e identificar en dicho silogismo las
diferentes proposiciones categricas, y proponer una representacin mediante
Diagramas de Venn de las diferentes relaciones entre las clases implicadas, segn
las proposiciones categricas:

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.

Convenio
En la UNAD
Jvenes
Tcnicos
Egresados
Del SENA

U: Estudiantes
SENA

del

BIBLIOGRAFIA

HTTP://OBJETOS.UNAM.MX/LOGICA/SILOGISMOS/PDF/TEORIASILOGISMOS
.PDF