Lógica matemática

Angelo M. Mongui F.

Ingeniería de sistemas- 3 semestre- Universidad Simón Bolívar

PERTINENCIA DE LA LOGÍCA
La lógica:
El nacimiento de la lógica propiamente dicho está directamente relacionado con el nacimiento
intelectual del ser humano. La lógica emerge como mecanismo espontáneo en el enfrentamiento
del hombre con la naturaleza, para comprenderla y aprovecharla.

En la Ingeniería de sistemas:
Un ingeniero de Sistemas es el Profesional más preparado y capaz para resolver todo tipo de
problema, en todo tipo de campo, bien sea computacional o de terreno. Nada detiene a habilidad
de los ingenieros de sistemas de ingeniárselas para tener una solución a todo tipo de problema.

La Herramienta principal y lo que más aplica un profesional de sistemas es La Lógica, un don que
todo ser humano tiene, pero depende de la astucia e inteligencia de este, la calidad del resultado
al momento de trabajar con algún problema.

La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la

computación. Su uso es fundamental a varios niveles: en los circuitos computacionales, en la
programación lógica y en el análisis y optimización de algoritmos.

La programación lógica consiste en la aplicación del corpus de conocimiento sobre lógica para el
diseño de lenguajes de programación; no debe confundirse con la disciplina de la lógica
computacional.

En la ingeniería industrial:
La lógica difusa es una disciplina matemática que cada vez cuenta con más seguidores. Se basa en
la idea de que, en un instante determinado, no es posible precisar el valor concreto de una
variable, si no tan solo conocer su grado de pertenencia a cada uno de los conjuntos en los que se
ha dividido el rango de variación de la variable.
Su relación se basa en que, con ayuda de la lógica difusa, en la actualidad es posible automatizar
procesos lo cual resulta de gran beneficio en el ámbito de la ingeniería, ya que, al automatizar
sistemas como control de procesos, control de producción, control del flujo de energía entre otras.
La lógica difusa contribuye enormemente en el ámbito de la ingeniería industrial; ya que el
ingeniero industrial siempre está enfocado en lograr la mayor optimización de recursos sin afectar
la calidad de los productos; también busca constantemente la mejora continua es decir lograr cada
mejor resultado.

En la ingeniería mecánica:
En la ingeniería, las ciencias básicas, entre otras, son el pilar de la misma, cuyos conocimientos
mediante el estudio, práctica y experiencia, se aplican con juicio para desarrollas formas cada vez
más eficientes de utilizar los materiales y las fuerzas que nos proporciona la naturaleza.
Todo para beneficio de la humanidad y del ambiente.
Es de importancia mencionar que la ingeniería como tal (transformación de la idea en realidad),
aunque intrínseca al ser humano, su nacimiento como campo específico del conocimiento está
unido al comienzo de la revolución industrial, constituyendo uno de los pilares del desarrollo en
las sociedades modernas.
Mecánica: En un sentido estricto, mecánica refiere al estudio del comportamiento de cualquier
sistema bajo la acción de diversas fuerzas.
La misma mecánica como ciencia, se subdivide de acuerdo con los tipos de sistemas y fenómenos
involucrados.
La mecánica, perteneciente a la física, está ampliamente ligada a las matemáticas.
Podemos hacer una importante distinción de acuerdo con el tamaño del sistema a estudiar y así
dividir la mecánica en clásica, relativista y cuántica.

En la sociedad:
En este sentido la lógica es el estudio de los principios y de los razonamientos. Para responder a
esta cuestión, la lógica propone distintas maneras de clasificar enunciados y argumentos, tanto si
se dan en un sistema formal como en el lenguaje natural. Específicamente analiza las
proposiciones que pueden ser verdaderas o falsas, así como las falacias, las paradojas, los
argumentos que involucran causalidad y, en general, la teoría de la argumentación.

Lógica formal

También conocida como lógica tradicional o lógica filosófica, se trata del estudio de las inferencias
con contenido puramente formal y explícito. Las conclusiones a las que llegamos a través de la
lógica formal, si se basan en premisas válidas y no hay fallos en las operaciones lógicas, son
verdades en sí mismas. De hecho, eso hace que exista un debate abierto acerca de si la lógica
formal pertenece al mundo de las ciencias o pertenecen a otro ámbito de conocimiento, al no
describir la realidad sino sus propias reglas de funcionamiento.

Lógica informal

Por su parte, la lógica informal es una disciplina más reciente, que estudia, evalúa y analiza los
argumentos desplegados en el lenguaje natural o cotidiano. Así pues, la lógica informal puede
analizar desde los razonamientos y argumentos personales hasta los debates políticos, los
argumentos legales o las premisas difundidas por los medios de comunicación como el
periódico, la televisión, el internet, etcétera.

Lógica matemática

Dependiendo del autor que la describe, la lógica matemática puede considerarse un tipo de lógica
formal. Otros consideran que la lógica matemática incluye tanto la aplicación de la lógica formal a
las matemáticas, como la aplicación de los razonamientos matemáticos a la lógica formal.

Suele dividirse en dos subtipos

Ejemplos de este tipo son la teoría de la prueba, la teoría de modelos, la teoría de conjuntos y la
teoría de la recursión. Pero, dice que en sí mismas, la lógica y las matemáticas no pueden explicar
propiedades profundas de los elementos que analizan.

Razonamiento inductivo, deductivo y modal

Por otro lado, hay tres tipos de razonamiento que también pueden considerarse sistemas
lógicos. Se trata de mecanismos que nos permiten extraer conclusiones a partir de premisas. El
razonamiento deductivo hace dicha extracción desde una premisa general hacia una premisa
particular. Finalmente, el razonamiento o la lógica modal se basa en argumentos
probabilísticos, es decir, que expresan una posibilidad .

Se trata de un sistema de lógica formal que incluye términos como

«podría», «puede», «debe», «eventualmente».