Objetivos, Conclusiones y portada 1. Aplicaciones de la Lgica Matemtica en la Ingenier a Industrial!

La lgica es la ciencia "ue se ocupa de ciertas #ormas de lenguaje, se puede decir "ue es la ciencia del pensamiento racional aclarando "ue no se ocupa del contenido, sino de la manera o #orma de los pensamientos$ este concepto se %a venido desarrollando en di#erentes reas de trabajo evolucionando en cada una de ellas involucrando el control de procesos como tiempo, conocimiento y lenguajes lgicos incluyendo los #undamentos lgicos matemticos de los lenguajes de programacin, esto da a la lgica base para de#inir o para proporcionar la semntica de los programas, todo esto para e&presar caracter sticas de#inidas de los programas. Aun"ue las aplicaciones mencionadas estn en#ocadas %acia la ingenier a el'ctrica y mecnica no se puede dejar de mencionar la importancia en la industria, esta toma cada d a mayor importancia en el uso de instrumentos de control lgico, controladores di#usos y la veri#icacin de instrumentos mecnicos.

(. )ise*ar 1+ preguntas con su respectiva respuesta!

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

En que forma se visualizan los conjuntos y las relaciones entre ellos? Rta: Esquemas de "enn. r!ficos llamados circulos de Euler o dia ramas

#uales son las formas $ara determinar un conjunto?

Rta: E%tensin y com$rensin &as o$eraciones suma, resta, multi$licacin y divisin est!n definidas sobre los n'meros reales E%isten o$eraciones definidas entre los conjuntos? (ombrelas Rta: Unin, interseccin, com$lemento, diferencia, diferencia sim)trica y $roducto cartesiano ,A "uien se considera como el $adre de la l ica? Rta: *ristteles #mo se $uede clasificar la l ica? Rta: & ica tradicional o no formal y l ica simblica o formal. +e que manera se re$resentan las $ro$osiciones simblicamente? Rta: ,ediante el uso de letras min'sculas del alfabeto Una tabla de verdad es una re$resentacin esquem!tica de las relaciones entre $ro$osiciones $ara que sirven? Rta: -ara determinar los valores de verdad de $ro$osiciones com$uestas El estudio cl!sico o aristot)lico de la deduccin est! centrado en ar umentos que contienen solamente $ro$osiciones de un ti$o es$ecial, llamadas $ro$osiciones cate ricas. #u!les son las $ro$osiciones se 'n el ti$o es$ecial? Rta: Universales .afirmativas o ne ativas/ o $articulares afirmativas o ne ativas/. En que consiste el m)todo cientfico? Rta: #onsiste en el conjunto de $rocedimientos $ara obtener un conocimiento que sea universal y, en $rinci$io, re$roducible $or cualquiera.

-. )ise*ar . preguntas sin respuesta! 0ue son las inferencias l icas? Rta: 1on las conclusiones que se $ueden obtener des$u)s de realizar un razonamiento. #omo se e%$resa simblicamente el m)todo de inferencia ,odus -onendo -onens .,--/? Rta: 2 . $ q / 3 $ 4 q

&a demostracin es un razonamiento que $rueba la validez de un nuevo conocimiento5 es el enlace entre los conocimientos reci)n adquiridos y los conocimientos anteriores. #uales son los $rinci$ales ti$os de demostracin? Rta: +emostracin directa, demostracin indirecta, demostracin $or recursin y demostracin $or refutacin El m)todo inductivo es un ti$o de razonamiento Este m)todo de que as$ectos deriva? Rta: +eriva de la observacin y de la e%$eriencia. El !l ebra booleana, constituye un !rea de las matem!ticas que $ro$orcionan un eslabn entre el !l ebra de conjuntos y el c!lculo $ro$osicional. #u!les son las a$licaciones de este sistema matem!tico? Rta: 1on usadas am$liamente en el dise6o de circuitos de distribucin y com$utadoras, las a$licaciones de la electrnica di ital a los $rocesos de control y automatismo industriales

/. 0eleccionar el tema "ue ms le guste y por"ue 1preposiones o teor a de conjuntos2 ..

O3456I7O0 Conocer la temtica del rea de lgica matemtica y sus #ormas de aplicacin

Conclusin 5l presente trabajo da a conocer las temticas a desarrollar en el rea de lgica matemtica de #orma didctica y muestra algunas de las #ormas de aplicacin en la ingenier a industrial.