Está en la página 1de 13

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
NOVIEMBRE 28 DE 2016

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.
2.
3.
4.

Universal Afirmativa.
Universal Negativa
Particular afirmativa
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) rVs

( p^q) ( rVs)

( p^q) (

rVs) (p

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

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

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

q)

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

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

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

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

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

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

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

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

Desarrollo del simulador.


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

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

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

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

Q
T
T
T
T
T
T
T
T
F
F
F
F
F
F
F
F
T
T
T
T
T
T
T
T
F
F
F
F

R
T
T
T
T
F
F
F
F
T
T
T
T
F
T
F
F
T
T
T
T
F
F
F
F
T
T
T
F

S
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F

T
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F

(p^q) ^ (r V s) (p q)} t
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
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/