PENSAMIENTO LOGICO Y MATEMATICO TRABAJO INDIVIDUAL

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 psicología estas dos  ciencias, la relación que pueda existir seria que prescindir del sujeto que elabora su lógica y su psicología.  La diferencia que existe entre ambas ciencias es que la psicología estudia el sujeto pensante y sus procesos psicológicos que ocurren en el estando también el proceso del pensar, mientras que la lógica 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 psicológicas utilizan los sujetos cuando razonan.
2. Aplicar lo aprendido en situaciones cotidianas.
3. Las tablas de verdad nos permiten analizar cualquier fórmula y hallar sus valores de verdad.
4. Las tablas de verdad nos dicen si una fórmula es satisfacerle.
5. Mediante su aplicación se construye procedimientos de decisión que en un numero finito de paso nos dice si una fórmula es tautológica o no

Primera etapa:

Socializar la conceptualización y mínimo tres ejemplos de alguna de las terminologías de la Lógica Matemática (sólo selecciona una e informa en el foro cual escogió, para que no sea escogido por otro integrante), la terminología es la siguiente:

SILOGISMOS CATEGORICOS.

     Palabra, acuñada por el propio Aristóteles en su obra recopilada el Órganon.   El silogismos Categóricos corresponde a una forma de razonamiento deductivo que consta de dos proposiciones que actúan como premisas y  otra que actúa como conclusión, la cual es necesariamente deducida de las otras dos.

Para Leibniz la teoría del silogismo categórico es una de los más hermosos descubrimientos del espíritu humano, hoy el silogismo de ha sistematizado en el estudio de la lógica matemática.

Aunque en la lógica Aristotélica ha pasado a ser interpretada mediante un lenguaje simbólico en la lógica Matemática, particularmente en la lógica de clases en esencia la lógica matemática corresponde a lógica Aristotélica solo que usando la notación algebraica por esta razón es importante  apropiar el concepto de silogismo aristotélico que ha dado origen a la evolución de la lógica matemática y analizar aquí su estructura.

Las proposiciones categóricas aristotélicas 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 proposición categórica corresponde a.

Todo S es P

Ningún S es P

Algunos  S son P

Algunos S no son P.

Las proposiciones categóricas estudiadas, permiten formar lo que denominamos un silogismo categórico el cual está compuesto precisamente de tres proposiciones categóricas.

Dos premisas una conclusión.

Todo silogismo está formado entonces por tres partes: Una premisa mayor, una premisa menor y una conclusión a su vez, estas proposiciones involucran tres conceptos distintos debiendo tener un término medio común a los otros dos conceptos.

Premisa Mayor, en ella se encuentra el término mayor que es el predicado de la conclusión y se representa por la letra P.

Premisa menor, en ella se encuentra el término menor, que es el sujeto de la conclusión y se representa con la letra S.

Entre ambas premisas se realiza la comparación entre los términos S y P con el respecto al término Medio que se representa como M.

L a conclusión: En ella se establece la relación entre el término sujeto S y el termino predicado P.

De allí se afirma que la lógica trata de establecer las leyes que garantizan que de la verdad se dos premisas comparadas se pueda obtener con garantía de verdad una conclusión verdadera.

http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/leccin_18_silogismos_categricos.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 término medio.

Conclusión

Por lo tanto algunos seres racionales son inconmovibles

Seres racionales: Término menor

Inconmovibles Término mayor

s=termino menor

p=termino mayor.

m=término 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

Conclusión. Si me duermo no me voy a entretener.

3. Todos los mamíferos son animales

Todos los hombres son mamíferos

Conclusión. Todos los hombres son animales

Unidad 2

ANEXO 1

SITUACIONES PROBLÉMICAS DE LA LÓGICA PROPOSICIONAL FASE INDIVIDUAL

De este anexo escogí el Problema Nro. 4

1. Inés está hablando con sus amigas de la universidad, y ellas quieren  saber si es verdad que Inés no necesita dinero para pagar la matrícula del próximo semestre, para lo cual Inés comenta lo siguiente: “No es cierto que soy beneficiaria del crédito condonable que otorga el Estado y obtengo un promedio alto en mi periodo académico. Soy beneficiaria del crédito condonable que otorga el Estado y recibo un bono de estudio en la empresa. Obtengo un promedio alto en mi periodo académico y recibo un bono de estudio en la empresa. Por consiguiente soy beneficiaria del crédito condonable que otorga el Estado”. ¿Será que es verdad lo que ha dicho Inés?, una de las amigas tomó nota de lo que dijo Inés 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 crédito condonable que otorga el estado

Solución es una contingencia

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

1. ANEXO

ENUNCIADOS DENOMINADOS SILOGISMOS FASE INDIVIDUAL

 De este enunciado escogí el numero dos

...