Qu es Lgica?

Es la ciencia que se basa en las leyes, modalidades y formas del

conocimiento cientfico, estudia los principios del razonamiento vlido y la
inferencia, como tambin la consistencia, solidez y completitud. . Se trata de
una ciencia de carcter formal que carece de contenido ya que hace foco en el
estudio de las alternativas vlidas de inferencia. Es decir, propone estudiar los
mtodos y los principios adecuados para identificar al razonamiento de lo
verdadero y lo falso. La etimologa permite saber que el trmino lgica tiene
su origen en el vocablo latn lgica, que a su vez deriva del griego logiks (de
logos, razn o estudio). En otras palabras, la lgica es el conjunto de
conocimientos que tienen por objeto la enunciacin de las leyes que rigen los
procesos del pensamiento humano; as como de los mtodos que han de
aplicarse al razonamiento y la reflexin para lograr un sistema de raciocinio
que conduzca a resultados que puedan considerarse como certeros o
verdaderos
Se puede distinguir entre dos tipos generales de lgica:
a) La lgica formal, tambin llamada lgica pura, que es precisamente la
ciencia que determina cules son las formas correctas y vlidas de los
raciocinios.
b) La lgica material, tambin llamada lgica aplicada, que es en la cual
un proceso de raciocinio o de pensamiento se analiza en consideracin al
contenido real de sus premisas y que por lo tanto debe llevar a una conclusin
que sea concordante con la realidad.

Qu es Informtica?
Es una ciencia que estudia mtodos, tcnicas, procesos, con el fin de
almacenar, procesar y transmitir informacin y datos en formato digital. Por
otra parte, la informtica tambin se refiere al procesamiento automtico de
informacin mediante dispositivos electrnicos y sistemas computacionales.
Los sistemas informticos deben contar con la capacidad de cumplir tres tareas
bsicas: entrada (captacin de la informacin), procesamiento y salida
(transmisin de los resultados). El conjunto de estas tres tareas se conoce
como algoritmo.
La informtica abarca tambin los principales fundamentos de las ciencias
de la computacin, como la programacin para el desarrollo de software, la
arquitectura de las computadoras y del hardware, las redes como Internet y la
inteligencia artificial. Incluso se aplica en varios temas de la electrnica.

A que llamamos modelos matemticos?

Es una representacin abstracta de la realidad. La representacin
abstracta hace uso del simbolismo matemtico; sta involucra datos conocidos
y variables por conocer. Los Modelos matemticos, buscan describir la realidad
mediante el simbolismo: numrico o grfico. Esta realidad puede ser esttica o
dinmica. La finalidad del uso de los modelos matemticos es, encontrar una
descripcin de un fenmeno (sistema fsico o proceso), y orientar la solucin a
un equilibrio matemtico, y que posteriormente sea aplicada en el campo real.
Un modelo matemtico describe tericamente un objeto que existe fuera
del campo de las Matemticas. Las previsiones del tiempo y los pronsticos
econmicos, por ejemplo, estn basados en modelos matemticos. Su xito o
fracaso depende de la precisin con la que se construya esta representacin
numrica, la fidelidad con la que se concreticen hechos y situaciones naturales

en forma de variables relacionadas entre s. Bsicamente, en un modelo

matemtico advertimos 3 fases:
La construccin, proceso en el que se convierte el objeto a lenguaje
matemtico;
El anlisis o estudio del modelo confeccionado;
La interpretacin de dicho anlisis, donde se aplican los resultados del
estudio al objeto del cual se parti.

Cmo se relacionan la lgica, matemtica y la

informtica?
Los mtodos lgicos se usan en matemticas para demostrar teoremas y,
en las ciencias de la computacin, para probar que un programa hace lo que
deberan hacer. El proceso de funcin de un sistema informtico es ejecutado
por un conjunto de datos, que en l se encuentran nmeros binarios el cual son
ejecutados dependiendo del comando que se le indique, pero para que la
computadora lea esos comandos es necesario la lgica en un computador. Por
lo tanto al usar un computador se relaciona la lgica (por los comandos, la
ejecucin y finalizacin de los procesos efectuados), la matemtica (conjunto
de nmeros binarios unidos que son los necesarios para la creacin de un
sistema informtico), y la informtica que es el sistema del computador de por
s.
Por ejemplo, los ordenadores son mquinas diseadas para mecanizar
trabajos intelectuales, entre otros, los clculos basados en operaciones
aritmticas o el almacenamiento, clasificacin y bsqueda de datos.

Al intentar mecanizar tareas ms complejas entramos en el campo de la

informtica conocido como inteligencia artificial, en el que se pretende que el
ordenador sea capaz de realizar ese tipo de razonamientos que el hombre
efecta de una manera un tanto informal, por lo que es necesario definir y
analizar con precisin dichos razonamientos. En otras palabras, se trata de
formalizar los razonamientos. Y de esto se ocupa la lgica.
Tambin la lgica tiene relacin con el mundo de la programacin debido
a la denominada crisis del software: los programas son cada vez ms
complejos, menos fiables y ms difciles de mantener. Se han propuesto y se
utilizan diversas metodologas para la construccin de programas y su
verificacin (mtodos para comprobar la coincidencia entre lo que se cree que
hace el programa y lo que realmente hace). En palabras de R. Fairley la
vericacin formal es una rigurosa demostracin matemtica de la concordancia
del cdigo fuente de un programa con su especificacin.
Cabe destacar que:

En la lgica una persona educada debe saber identificar muy bien

los tiempos y los lugares en donde hace una intervencin.

Una persona educada debe tener buenos argumentos para as

poder defender una idea o una intervencin.

La lgica se emplea en base a las necesidades de las personas.
Se usa la lgica en los lenguajes de programacin para dotar de
sentido lgico a las instrucciones de los programas de

computadora.
El objetivo de la lgica matemtica es cuestionar con el mayor rigor

los conceptos y las reglas de deduccin utilizados en matemticas.

Una inferencia es deductivamente vlida si y slo si no hay posible
situacin en la cual todas las premisas son verdaderas y la
conclusin falsa.

Por qu es importante el algebra o matemtica

discreta?
El acelerado desarrollo tecnolgico alcanzado en los ltimos aos las
reas de la computacin y telecomunicaciones; campos que han fundamentado
su crecimiento en las ciencias puras siendo una de ellas las matemticas, la
misma que ha aportado con una variedad de temas que se encuentran
incluidos dentro de las Matemticas Discretas. Asignatura de Matemticas
Discretas que forma parte del plan de estudios de Ingeniera de Sistema e
Ingeniera Informtica y que est incluida dentro del pensum de estudios del
Segundo Ciclo, con temas que proporcionan los conocimientos base, necesarios
e indispensables para que los profesionales en formacin puedan conocer y
adentrarse en estas nuevas tecnologas, con un enfoque prctico, aplicado y
computacional, adems de un acentuado carcter formativo. Siendo las
Matemticas Discretas, la ciencia que trata sobre el conocimiento y explicacin
de fenmenos discretos y procesos finitos, que servirn para aplicaciones
posteriores dentro de la formacin de los futuros ingenieros en informtica y al
mismo tiempo permitirn conocer cmo trabajan estas modernas herramientas
que son las computadoras y poder aprovechar su potencialidad para poder
incursionar en reas como de Sistemas y desarrollo de Software.

Qu es un enunciado?
Un enunciado se refiere a una afirmacin u oracin declarativa dada con
el fin de determinar si un proceso es verdadero o falso dependiendo de la
circunstancia y la ejecucin que se plante. Cabe destacar que para
determinar si un proceso es verdadero o falso es necesario analizarlo y si es
posible usar la tabla de la verdad para indicar si es verdadero o falso. Ejemplo
de un enunciado:
Todos los procedimientos se han ejecutado correctamente.

 Qu hora es?.
(x-y)2=x2-2xy+y2.
Menudo rollo de pelcula!.
Esta frase es falsa

A que llamamos razonamiento lgico o valido?

El razonamiento se entiende como la manera de establecer relacin entre
ideas o conceptos distintos para obtener conclusiones o formar un juicio. El
razonamiento lgico es una ciencia auxiliar. Esto significa que proporciona
un conocimiento til al resto de las disciplinas y al saber en general.
La lgica aporta una estructura formal que forma parte de los procesos
mentales del entendimiento. La estructura formal de la lgica se conforma a
partir de una serie de leyes, reglas y principios lgicos, que son considerados
vlidos y sin los cuales el pensamiento racional no tiene sentido. En cuanto a
las reglas de la lgica, las ms conocidas son las siguientes: ley de identidad,
ley de no contradiccin, la ley del medio excluido, reglas de inferencia o el
principio de razn suficiente. Estas reglas y otras ms permiten que podamos
argumentar con un razonamiento lgico. En otras palabras, para que las ideas
tengan coherencia y un cierto orden, es imprescindible que una argumentacin
se base en un razonamiento lgico.
Se dice que los razonamientos pueden ser: vlidos (correctos) o no
vlidos (invlidos, incorrectos, no correctos); mientras las proposiciones
pueden ser: o verdaderos o falsas.
Un razonamiento es vlido cuando su forma lgica es vlida,
independientemente del contenido informativo de las premisas y de la

conclusin. Una forma lgica es vlida cuando la conclusin se deriva

necesariamente de las premisas.
Resumiendo, se puede decir que la validez de un argumento depende
nicamente de su forma lgica: ya que hay razonamientos vlidos que tienen
conclusiones falsas y razonamientos no correctos que tienen conclusiones
verdaderas. Lo mismo se puede afirmar de las premisas. En general, se puede
afirmar que la validez de un argumento es independientemente de la verdad o
falsedad tanto de las premisas como de la conclusin.

Qu es son proposiciones?
Es un concepto con diferentes usos. Puede tratarse de la manifestacin de
algo para que otros individuos conozcan una intencin, de la concrecin de una
propuesta o de un enunciado que puede resultar falso o verdadero.
La matemtica, por otra parte, es la ciencia dedicada al anlisis de las
entidades abstractas, como nmeros, figuras geomtricas y smbolos, y de sus
propiedades. Como adjetivo, el trmino refiere a todo lo vinculado con esta
disciplina deductiva.
Despus de estas aclaraciones, podemos centrarnos en las proposiciones
matemticas. Una proposicin matemtica es una expresin algebraica que
puede acarrear dos valores: ser verdadera o ser falsa, aunque nunca ambas a
la vez

Qu es la Tabla de la Verdad?
Las tablas de verdad se utilizan en lgica simblica para establecer la
validez de las proposiciones. La construccin de tablas de verdad simplifica la
tarea de determinar la verdad o falsedad de una proposicin.

A que llamamos Premisas?

Es un precedente que sirve para iniciar el desarrollo de un razonamiento,
algo que indefectiblemente va al inicio y que sirve de base a partir de la cual se
sacarn conclusiones. Por lo tanto, las premisas son aquellas proposiciones que
anteceden a la conclusin. Esto quiere decir que dicha conclusin deriva de las
premisas, aunque stas pueden ser falsas o verdaderas.

Qu y cules son los Conectivos Lgicos?

En lgica, una conectiva lgica, o simplemente conectiva, es un smbolo
que se utiliza para conectar dos frmulas, de modo que el valor de verdad de la
frmula compuesta dependa del valor de verdad de las frmulas componentes.

En programacin se utilizan para combinar valores de verdad y obtener nuevos

valores que determinen el flujo de control de un algoritmo o programa.
Las conectivas lgicas son, junto con los cuantificadores, las principales
constantes lgicas de muchos sistemas lgicos, principalmente la lgica
- La Negacin No: El valor de verdad de la negacin de una
proposicin es el contrario al valor de la proposicin. Esto es, si la proposicin
es verdadera su negacin es falsa, y si la proposicin es falsa, su negacin ser
verdadera.
- La Conjuncin: La conjuncin de dos proposiciones es una proposicin
compuesta que resulta verdadera cuando lo son las dos proposiciones simples
que la constituyen, y falsa en caso contrario, es decir, cuando alguna de las
dos es falsa
- Condicional: La condicional de dos proposiciones es una proposicin
compuesta que resulta falsa cuando el antecedente es verdadero y el
consecuente falso, y en los dems casos es verdadera
- Bicondicional: La bicondicional de dos proposiciones es una proposicin
compuesta que resulta verdadera cuando ambas son verdaderas o ambas son
falsas, y en caso contrario es falsa.
- Disyuncin O: Se dice que el trmino de enlace o tiene dos
sentidos: Incluyente que es el sentido incluyente hay una tercera posibilidad
de que se cumplan las dos condiciones, y excluyente que vendras siendo que
una de las dos opciones son verdaderas, pero solo una.

Tipos de Proposiciones:
Proposiciones Simples:

Son aquellas que no tienen oraciones componentes afectadas por

negaciones (no) o trminos de enlace como conjunciones (y), disyunciones
(o) o implicaciones (si . . . entonces). Pueden aparecer trminos de enlace
en el sujeto o en el predicado, pero no entre oraciones.
Ejemplos:

La ballena es roja.
La raz cuadrada de 16 es 4.
Gustavo es alto.
Teresa va a la escuela.

Proposiciones Compuestas:
Una proposicin ser compuesta si no es simple. Es decir, si est afectada
por negaciones o trminos de enlace entre oraciones componentes.
Ejemplos:

La ballena no es roja.
Gustavo no es alto.
Teresa va a la escuela o Mara es inteligente.
4 es menor que 8 o 6 es mayor que 10.
El 1 es el primer nmero primo y es mayor que cero.
El 7 es mayor que 5 y 7 es menor que 10.
Si Yolanda es estudiosa entonces pasar el examen.
Si corro rpido entonces llegar temprano.
Terminar rpido si y slo si me doy prisa.
Aprender Matemticas si y slo si estudio mucho.