TRABAJO DE RECONOCIMIENTO

BALDIR BARRERA QUIROGA

COD. 80035705

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

CEAD DUITAMA
PROGRAMA DE INGENIERIA INDUSTRIAL
AREA DE LOGICA MATEMATICA
DUITAMA
2009

OBJETIVO

Conocer las temticas del rea de lgica matemtica y sus formas de

aplicacin.

1. Aplicaciones de la lgica matemtica en la ingeniera industrial

La lgica es la ciencia que se ocupa de ciertas formas de lenguaje, se puede decir

que es la ciencia del pensamiento racional aclarando que no se ocupa del
contenido, sino de la manera o forma de los pensamientos; este concepto se ha
venido desarrollando en diferentes reas de trabajo evolucionando en cada una de
ellas involucrando el control de procesos como tiempo, conocimiento y lenguajes
lgicos incluyendo los fundamentos lgicos matemticos de los lenguajes de
programacin, esto da a la lgica base para definir o para proporcionar la
semntica de los programas, todo esto para expresar caractersticas definidas de
los programas. Aunque las aplicaciones mencionadas estn enfocadas hacia la
ingeniera elctrica y mecnica no se puede dejar de mencionar la importancia en
la industria, esta toma cada da mayor importancia en el uso de instrumentos de
control lgico, controladores difusos y la verificacin de instrumentos mecnicos.

2. Preguntas con su respectiva respuesta

Defina conjunto
Rta: Un conjunto es una coleccin de objetos, smbolos o
entidades bien
definidas, que reciben el nombre de miembros o elementos del
conjunto.

Que son las inferencias lgicas?

Rta: Son las conclusiones que se pueden obtener despus de
realizar un razonamiento.

En que forma se visualizan los conjuntos y las relaciones entre

ellos?

Rta: Esquemas grficos llamados crculos de Euler o diagramas

de Venn.

Como se expresa simblicamente el mtodo de inferencia

Modus Ponendo Ponens (MPP)?
Rta: [ ( p q ) p ] q

Cuales son las formas para determinar un conjunto?

Rta: Extensin y comprensin

La demostracin es un razonamiento que prueba la validez de

un nuevo conocimiento; es el enlace entre los conocimientos
recin adquiridos y los conocimientos anteriores. Cuales son
los principales tipos de demostracin?
Rta: Demostracin directa, demostracin indirecta,
demostracin por recursin y demostracin por refutacin

Las operaciones suma, resta, multiplicacin y divisin estn

definidas sobre los nmeros reales Existen operaciones
definidas entre los conjuntos? Nmbrelas
Rta: Unin, interseccin, complemento, diferencia, diferencia
simtrica y producto cartesiano

El mtodo inductivo es un tipo de razonamiento Este mtodo

de que aspectos deriva?
Rta: Deriva de la observacin y de la experiencia.

A quien se considera como el padre de la lgica?

Rta: Aristteles

El lgebra booleana, constituye un rea de las matemticas que

proporcionan un eslabn entre el lgebra de conjuntos y el
clculo proposicional. Cules son las aplicaciones de este
sistema matemtico?
Rta: Son usadas ampliamente en el diseo de circuitos de
distribucin y computadoras, las aplicaciones de la electrnica
digital a los procesos de control y automatismo industriales

3. Preguntas sin respuesta

Cmo se puede clasificar la lgica?

De
que
manera
simblicamente?

Una tabla de verdad es una representacin esquemtica de las

relaciones entre proposiciones para que sirven?

El estudio clsico o aristotlico de la deduccin est centrado

en argumentos que contienen solamente proposiciones de un
tipo especial, llamadas proposiciones categricas. Cules son
las proposiciones segn el tipo especial?

En que consiste el mtodo cientfico?

se

representan

las

proposiciones

4. Seleccionar el tema que ms le guste y porque

Proposiciones:

Este tema me gusta porque as se utilice un lenguaje cotidiano simblico, este

tiene la propiedad de simplificar la escritura de argumentos lgicos complicados.

CONCLUSION

El presente trabajo da a conocer las temticas a desarrollar en el rea

de lgica matemtica de forma didctica y muestra algunas de las
formas de aplicacin en la ingeniera industrial.