FUNDAMENTOS DE SEGURIDAD INFORMATICA

A.F. Peralta Portillo

1390-11-3477 Universidad Mariano Gálvez
13902816A Seguridad de Sistemas
angelportillo547@gmail.com
LÓGICA FORMAL: La Lógica Formal es la ciencia que estudia las leyes de inferencia en los
razonamientos. Por medio de la formalización del lenguaje y de sus reglas básicas, proporciona las
herramientas necesarias para poder tratar e intentar resolver rigurosamente problemas que tienen
sus orígenes y aplicaciones en todas las áreas de las ciencias, una de las tareas primordiales de la
lógica formal es el estudio del contenido de nuestra mente a fin de utilizarlo para perfeccionar las
formas deductivas anteriores

LÓGICA SIMBÓLICA: La lógica simbólica es el acto de la creación de un "lenguaje" artificial que hace
uso de símbolos convencionales que representan estructuras para hacer frente a los complejos
argumentos lógicos. Su propósito es ahorrar tiempo en la argumentación y ayudar a prevenir la
confusión, imprecisión y la ambigüedad de la palabra. Se utiliza en lingüística, filosofía, informática
y sobre todo, en matemática.

LÓGICA MATEMÁTICA. La Lógica Matemática es la disciplina que trata de métodos de

razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o
no valido un argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar
teoremas; en ciencias de la computación para verificar si son o no correctos los programas; en las
ciencias física y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en
la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante
el razonamiento lógico para realizar cualquier actividad.

Palabras clave: ciencia, razonamiento, lenguaje, argumentación,

Lógica formal

Comentario 1: Nuestros procederes o actos de una forma determinada obedecen a motivaciones,

impulsos, intencionalidades, voluntades, omisiones, creencias y un sinfín de consideraciones que
guardan una lógica de razonamiento según los propósitos que persigue nuestro accionar. Es decir,
una acción generalmente está acompañada de una lógica para hacerlo.

Comentario 2: cuando muchos nos desmenuzamos la cabeza para encontrar explicaciones del
comportamiento del Ejecutivo en diferentes aspectos y encontrar la estructura lógica de sus
decisiones para hacer posteriormente ejercicios de inferencia, nos encontramos que ni el
pensamiento intuitivo ni el deductivo ayudan a formarnos algunas señales.

Comentario 3: El estudio de la lógica formal nos permite conocer las leyes, reglas y procedimientos
de nuestro pensamiento para saber cuáles tienen carácter objetivo, ya que es la tarea más
importante de este tipo de lógica, es el estudio de nuestra mente para perfeccionar las formas
delictivas y establece otras nuevas.
 FUNDAMENTOS DE SEGURIDAD INFORMATICA
A.F. Peralta Portillo
1390-11-3477 Universidad Mariano Gálvez
13902816A Seguridad de Sistemas
angelportillo547@gmail.com
LÓGICA SIMBÓLICA

Comentario 1: son los símbolos convencionales, estos representan estructura para poder hacer
frente a los argumentos lógicos, el propósito de la lógica simbólica es ahorrar tiempo en la
argumentación lo que ayuda a prevenir la confusión, esto resuelve muchos problemas, se realiza
cualquier actividad con esta lógica.

Comentario 2: la lógica simbólica como su nombre lo dice, utiliza una serie de significantes
llamados símbolos, estos son de orígenes matemáticos y se utilizan para formular argumentos
para cada contexto en el que sean utilizados.

Comentario 3: Se acerca más a lenguaje matemático y se aleja del lenguaje común, es el que por
medio de símbolos te facilita los argumentos, te ayuda a no cometer ningún error al momento de
argumentar, ya que con él se previene la confusión y a la misma vez resuelve los problemas esto
se realiza en actividades de lógica formal.

Lógica matemática

Comentario 1: La lógica matemática también se le llama simbólica, consiste en el estudio

matemático de la lógica, esta lógica tiene estrechas conexiones con la ciencia de la
computación y la lógica filosófica, esto incluye aquellas partes de la lógica que pueden ser
modeladas y estudiadas matemáticamente.

Comentario 2: La lógica matemática estudia los sistemas formales en relación con el

modo en el que codifican o definen nociones intuitivas de objetos matemáticos como
conjuntos, números, demostraciones, y algoritmos, utilizando un lenguaje formal, se
ocupa de sistemas formales que pueden no ser equivalentes en todos sus aspectos, por
lo que la lógica matemática no es método de descubrir verdades del mundo físico real,
sino sólo una fuente posible de modelos lógicos aplicables a teorías científicas, muy
especialmente a la matemática convencional.

Comentario 3: La lógica matemática no se encarga por otra parte del concepto de

razonamiento humano general o del proceso creativo de construcción de demostraciones
matemáticas mediante argumentos rigurosos pero hechas usando lenguaje informal con
algunos signos o diagramas, sino sólo de demostraciones y razonamientos que pueden
ser completamente formalizados en todos sus aspectos.
 FUNDAMENTOS DE SEGURIDAD INFORMATICA
A.F. Peralta Portillo
1390-11-3477 Universidad Mariano Gálvez
13902816A Seguridad de Sistemas
angelportillo547@gmail.com
Conclusión

La lógica formal, simbólica y matemática tienen significados diferentes, pero también tienen cierta
relación la lógica simbólica y matemática tiene en común que se basan en el razonamiento, y la
lógica formal en objetos de estudio y métodos que se emplean para diferenciar el razonamiento
correcto e incorrecto

E-grafía

https://es.slideshare.net/letyibarra/introduccin-a-la-lgica-simblica

https://es.slideshare.net/MelaniePeimbert/logica-simbolica-61559840

https://es.slideshare.net/frank290798/qu-es-la-lgica-matemtica