Hugozapien

UNIVERSIDAD DE COLIMA
FACULTAD DE CONTABILIDAD
Y ADMINISTRACION

MATEMATICAS I
c.p. hugo zapien
3er. PARCIAL
“LOGICA”

24 DE NOVIEMBRE DE 2010

INDICE

INTRODUCCION…………………………………………………………………………………………………………….. 3
LOGICA…………………………………………………………………………………………………………………………. 4
LOGICA MATEMATICA……………………………………………………………………………………………………. 4
* TEORIA DEMODELOS………………………………………………………………………………………. .. 4
* TEORIA DE LA DEMOSTRACION………………………………………………………………………… 5
* TEORIA DE CONJUNTOS……………………………………………………………………………………. 5
PREPOSICIONES LOGICAS………………………………………………………………………………………………. 6
CONECTORES LOGICAS…………………………………………………………………………………………………… 7
* CONJUNCIÒN…………………………………………………………………………………………………….. 7
* DISYUNCION……………………………………………………………………………………………………. ..8
* IMPLICACION………………………………………………………………………………………………….. …9
* BICONDICIONALO DOBLE IMPLICACION…………………………………………………………. …10
TABLAS DE VERDAD……………………………………………………………………………………………………… ..11
* NEGACION…………………………………………………………………………………………………………. 11
* CONJUNCION……………………………………………………………………………………………………..11
* DISYUNCION……………………………………………………………………………………………………….12
* IMPLICACION………………………………………………………………………………………………………12
*BICONDICIONAL………………………………………………………………………………………………….13

CONCLUSION…………………………………………………………………………………………………………………..14
BIBLIOGRAFIA………………………………………………………………………………………………………………...15


INTRODUCCION
En este tema explicare lo que es la lógica en general y después en especifico ya en las matemáticas, habla en este trabajo hacer también de las preposiciones lógicas, los conectores lógicos, los tipos de conectivos que hay de los cuales son cuatro, y por ultimo el tema de tablas de verdad de los cuales son 5 de lasproposiciones.

¿Qué ES LA LOGICA?

Ciencia formal y rama de la filosofía.
Es el estudio de los métodos y principios usados para distinguir el razonamiento correcto del incorrecto.
Examina la validez de los argumentos en términos de su estructura, independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y del los estados reales a los que dichocontenido se pueda referir.
LOGICA MATEMATICA

[]


Consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas.
Estudia los sistemas formales en relación con el modo en el que codifican nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y computación.
La lógica matemática se divide en cuatro subcampos:teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión.
La lógica matemática fue también llamada lógica simbólica

TEORIA DE MODELOS

Es el estudio de estructuras matemáticas tales como grupos, cuerpos, grafos, o incluso universos de teoría de conjuntos, usando herramientas de la lógica matemática.
Esta teoría se concentra en estructuras finitas,diverge significativamente del estudio de estructuras infinitas tanto en los problemas estudiados como en las técnicas usadas. La teoría de modelos en lógicas de orden superior o lógicas infinitarias está obstaculizada por el hecho de que la completitud no se cumple para estas lógicas.
La teoría de modelos se preocupa de lo que se puede probar con sistemas matemáticos dados, y cómo estos sistemas serelacionan entre sí. Se preocupa particularmente de qué sucede cuando tratamos de extender algún sistema agregando nuevos axiomas.
TEORIA DE LA DEMOSTRACION

La teoría de la demostración o teoría de la prueba es una rama de la lógica matemática que trata a las demostraciones como objetos matemáticos, facilitando su análisis mediante técnicas matemáticas. Las demostraciones suelen presentarsecomo estructuras de datos inductivamente definidas que se construyen de acuerdo con los axiomas y reglas de inferencia de los sistemas lógicos. En este sentido, la teoría de la demostración se ocupa de la sintaxis, en contraste con la teoría de modelos, que trata con...