PENSAMIENTO LOGICO Y MATEMATICO

TRABAJO INDIVIDUAL

PAS 2 USO DE LAS TABLAS DE VERDAD

ELIZABETH MOSQUERA MARTINEZ

CC 66886436

GRUPO 430

LEONARDO FABIO GARCIA SANCLEMENTE

TUTOR

UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

ESCUEALA DE CIENCIAS ARTES HUMANIDADES

PROGRAMA PSICOLOGIA

CEAD PALMIRA
 INTRODUCCION

En cuanto a las tablas de verdad es importante aclarar que existe una gran diferencia entre
estas y la psicologa estas dos ciencias, la relacin que pueda existir seria que prescindir
del sujeto que elabora su lgica y su psicologa. La diferencia que existe entre ambas
ciencias es que la psicologa estudia el sujeto pensante y sus procesos psicolgicos que
ocurren en el estando tambin el proceso del pensar, mientras que la lgica como lo he
visto desde el inicio del curso se ocupa del pensamiento elaborado y formulado, ya que
estudia los pensamiento mismos, los analiza los estructura y encadena el enlace que pueden
tener dichos pensamientos.

OBJETIVOS.
 1. Analizar qu tipo de tablas de verdad psicolgicas utilizan los sujetos cuando razonan.
2. Aplicar lo aprendido en situaciones cotidianas.
3. Las tablas de verdad nos permiten analizar cualquier frmula y hallar sus valores de
verdad.
4. Las tablas de verdad nos dicen si una frmula es satisfacerle.
5. Mediante su aplicacin se construye procedimientos de decisin que en un numero
finito de paso nos dice si una frmula es tautolgica o no

Primera etapa:
Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las terminologas de la
Lgica Matemtica (slo selecciona una e informa en el foro cual escogi, para que no sea
escogido por otro integrante), la terminologa es la siguiente:

SILOGISMOS CATEGORICOS.

Palabra, acuada por el propio Aristteles en su obra recopilada el rganon. El

silogismos Categricos 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.

Para Leibniz la teora del silogismo categrico es una de los ms hermosos descubrimientos
del espritu humano, hoy el silogismo de ha sistematizado en el estudio de la lgica
matemtica.

Aunque en la lgica Aristotlica ha pasado a ser interpretada mediante un lenguaje

simblico en la lgica Matemtica, particularmente en la lgica de clases en esencia la
lgica matemtica corresponde a lgica Aristotlica solo que usando la notacin algebraica
por esta razn es importante apropiar el concepto de silogismo aristotlico que ha dado
origen a la evolucin de la lgica matemtica y analizar aqu su estructura.

Las proposiciones categricas aristotlicas se identifican en sus cuatro formas.

1. Universal Afirmativa.
2. Universal Negativa
3. Particular afirmativa
4. Particular Negativa
Se identifica a S como sujeto y a P como predicado, estas formas de proposicin categrica
corresponde a.

Todo S es P

Ningn S es P

Algunos S son P

Algunos S no son P.

Las proposiciones categricas estudiadas, permiten formar lo que denominamos un

silogismo categrico el cual est compuesto precisamente de tres proposiciones categricas.

Dos premisas una conclusin.

Todo silogismo est formado entonces 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 el respecto al
trmino Medio que se representa como M.

L a conclusin: En ella se establece la relacin entre el trmino sujeto S y el termino

predicado P.

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

http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/leccin_18_silogismos_ca
tegricos.html

Tres ejemplos.
 1. Todos los hombres son racionales
2. Algunos hombres sin inconmovibles
3. Por lo tanto algunos racionales son con movibles.
PREMISAS.

Todos los hombres son seres racionales

Algunos hombres son inconmovibles

Hombres trmino medio.

Conclusin

Por lo tanto algunos seres racionales son inconmovibles

Seres racionales: Trmino menor

Inconmovibles Trmino mayor

s=termino menor

p=termino mayor.

m=trmino medio

2. Cuando duermo no puedo ir a la sala de teatro

Si no concurro a la sala de teatro no me voy a entretener

Conclusin. Si me duermo no me voy a entretener.

3. Todos los mamferos son animales

Todos los hombres son mamferos

Conclusin. Todos los hombres son animales

Unidad 2
 ANEXO 1

SITUACIONES PROBLMICAS DE LA LGICA PROPOSICIONAL FASE

INDIVIDUAL

De este anexo escog el Problema Nro. 4

1. Ins est hablando con sus amigas de la universidad, y ellas quieren saber si es verdad
que Ins no necesita dinero para pagar la matrcula del prximo semestre, para lo cual Ins
comenta lo siguiente: No es cierto que soy beneficiaria del crdito condonable que otorga
el Estado y obtengo un promedio alto en mi periodo acadmico. Soy beneficiaria del crdito
condonable que otorga el Estado y recibo un bono de estudio en la empresa. Obtengo un
promedio alto en mi periodo acadmico y recibo un bono de estudio en la empresa. Por
consiguiente soy beneficiaria del crdito condonable que otorga el Estado. Ser que es
verdad lo que ha dicho Ins?, una de las amigas tom nota de lo que dijo Ins y lo plasm en
una tabla de verdad; qu resultado obtuvo la amiga en la tabla que hizo?

Respuesta.

P= Obtengo un promedio alto

Q= Recibo un bono de estudio en la empresa

r= Soy beneficiaria del crdito condonable que otorga el estado

Solucin es una contingencia

Tabla de verdad es (p ^ q) -> r

2. ANEXO

ENUNCIADOS DENOMINADOS SILOGISMOS FASE INDIVIDUAL

 De este enunciado escog el numero dos
.
. Todo Espacio Vectorial consta de cantidades vectoriales y escalares.

En el curso de lgebra Lineal todos los enunciados son de Espacios Vectoriales.

En el curso de lgebra Lineal todos los enunciados constan de cantidades vectoriales
y escalares.

Solucion

Respuesta
El Silogismo es correcto todo el conjunto verde est incluido dentro del Azul
.

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.
Repuesta para completar la informacin expreso 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 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.
P=clemencia mi esposa escribe su lista de gastos.
q=ella consigue un trabajo alterno en otra universidad
r=mi esposa viaja en bicicleta a su trabajo por lo cerca que queda
s=ella se desplaza caminando
t=ella ahorra mucho dinero
Desarrollo de la tabla de verdad

(p^q) ^ (r V s) (p q)} t
 P Q R S T P Q R S T (p^q) rVs ( p^q) ( rVs) ( p^q)
( rVs) (p q)

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

Desarrollo del simulador.

Profe el Simulador ya se cerr pero aqu dibuje uno
SIMULADOR TRUTH TABLA

Q R S T (p^q) ^ (r V s) (p q)} t
T T T T T
T T T F F
T T F T T
T T F F F
T F T T T
T F T F F
T F F T T
T F F F F
F T T T T
F T T F F
F T F T T
F T F F F
F F T T T
F T T F F
F F F T T
F F F F F
T T T T T
T T T F F
T T F T T
T T F F F
T F T T T
T F T F F
T F F T T
T F F F F
F T T T T
F T T F F
F T F T T
F F F F F

Es una contingencia tal como se evidencia en el simulador

CONCLUSION
En la Psicologia el objetico es estudiar cuales son las estrategias que usan los sujetos para
generar o elaborar una conclusion (razonar cuando realizan una inferencia),
independientemente de si la conclusion a la que llegan es o no valida descriptiva descrine
como razona realmente el sujete pero no como deberia razonar

BIBLIOGRAFIA.
http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/leccin_18_silogismos_ca
tegricos.html

http://www.ejemplode.com/29-logica/146-ejemplo_de_silogismo.html
http://www.todoexpertos.com/