República Bolivariana de Venezuela

Ministerio del Poder Popular para la Educación

Universidad Gran Mariscal de Ayacucho

Núcleo Barcelona-Anzoátegui

2do Semestre de Ingenieria Informática

Principios de La Lógica

Profesor: Estudiante:

Prof. José Cachacote Alejandro Gonzalo

C.I: 30.861.746

Barcelona, febrero del 2023

 Índice
Introduccion III

Lógica Matematica 4-5

Lógica Proposicional 5-6

Lenguaje Formal 6-7

Lenguaje Natural 8

Código Lingüístico 9-10

Proposición Lógica 10

Clasificación de las Proposiciones Lógicas 11

Conectivos Lógicos 12

Conclusión XIII

Bibliografía XIV
 Introduccion
_En la presente investigación se va a profundizar en los pilares que representan los
principios de la lógica y sus elementos dentro de las diferentes áreas que requieren de
este campo, además de entrar en detalles acerca de las relaciones y ejemplos prácticos
que vemos en el día a día, y sus variadas aplicaciones dentro de los ámbitos laborales los
cuales solicitan a la misma como base de sus procesos o resultados a corto o largo plazo,
de manera que tengan sentido las distintas soluciones a los problemas dentro del día a día
de un profesional, un ingeniero, un experto de la salud e incluso una persona que tenga
una problemática en su vida cotidiana.
 Lógica Matematica

_La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística,
es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la
ciencia. Comprende la aplicación de las técnicas de la lógica formal a la construcción y el desarrollo
de las matemáticas y el razonamiento matemático, y conversamente la aplicación de técnicas
matemáticas a la representación y el análisis de la lógica formal. La investigación en lógica
matemática ha jugado un papel crucial en el estudio de los fundamentos de las matemáticas.

La lógica matemática estudia la inferencia mediante la construcción de sistemas formales como la

lógica proposicional, la lógica de primer orden o la lógica modal. Estos sistemas capturan las
características esenciales de las inferencias válidas en los lenguajes naturales, pero al ser
estructuras formales susceptibles de análisis matemático, permiten realizar demostraciones
rigurosas sobre ellas.

La lógica matemática se suele dividir en cuatro áreas: teoría de modelos, teoría de la

demostración, teoría de conjuntos y teoría de la computabilidad. La teoría de la demostración y la
teoría de modelos fueron el fundamento de la lógica matemática. La teoría de conjuntos se originó
en el estudio del infinito por Georg Cantor y ha sido la fuente de muchos de los temas más
desafiantes e importantes de la lógica matemática, desde el teorema de Cantor, el axioma de
elección y la cuestión de la independencia de la hipótesis del continuo, al debate moderno sobre
grandes axiomas cardinales. La lógica matemática tiene estrechas conexiones con las ciencias de la
computación. La teoría de la computabilidad captura la idea de la computación en términos
lógicos y aritméticos. Sus logros más clásicos son la indecidibilidad del Entscheidungsproblem de
Alan Turing y su presentación de la tesis de Church-Turing. Hoy en día, la teoría de la
computabilidad se ocupa principalmente del problema más refinado de las clases de complejidad
(¿cuándo es un problema eficientemente solucionable?) y de la clasificación de los grados de
insolubilidad.

La lógica matemática también estudia las definiciones de nociones y objetos matemáticos básicos
como conjuntos, números, demostraciones y algoritmos. La lógica matemática estudia las reglas
de deducción formales, las capacidades expresivas de los diferentes lenguajes formales y las
propiedades metalógicas de los mismos.

En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido un

argumento dado dentro de un determinado sistema formal. En un nivel avanzado, la lógica
matemática se ocupa de la posibilidad de axiomatizar las teorías matemáticas, de clasificar su
capacidad expresiva, y desarrollar métodos computacionales útiles en sistemas formales. La teoría
de la demostración y la matemática inversa son dos de los razonamientos más recientes de la
lógica matemática abstracta. Debe señalarse que la lógica matemática se ocupa de sistemas
formales que pueden no ser equivalentes en todos sus aspectos, por lo que la lógica matemática
no es un método para descubrir verdades del mundo físico real, sino solo una fuente posible de
modelos lógicos aplicables a teorías científicas, muy especialmente a la matemática convencional.

Por otra parte, la lógica matemática no estudia el concepto de razonamiento humano general o el
proceso creativo de construcción de demostraciones matemáticas mediante argumentos
rigurosos, pero con lenguaje informal con algunos signos o diagramas, sino solo de
demostraciones y razonamientos que se pueden formalizar por completo.

Lógica proposicional

La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo
proposicional, es un sistema formal cuyos elementos más simples representan proposiciones o
enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones
sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
Las lógicas proposicionales carecen de cuantificadores o variables de individuo, pero tienen
variables proposicionales (es decir, que se pueden interpretar como proposiciones con un valor de
verdad definido), de ahí el nombre proposicional. Los sistemas de lógica proposicional incluyen
además conectivas lógicas, por lo que dentro de este tipo de lógica se puede analizar la inferencia
lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de
las proposiciones más simples.

Como las lógicas proposicionales no tienen cuantificadores o variables de individuo, cualquier

secuencia de signos que constituya una fórmula bien formada admite una valoración en la
proposición es verdadera o falsa dependiendo del valor de verdad asignado a las proposiciones
que la compongan. Esto implica que cualquier fórmula bien formada define una función
proposicional. Por tanto, cualquier sistema lógico basado en la lógica proposicional es decidible y
en un número finito de pasos se puede determinar la verdad o falsedad semántica de una
proposición. Esto hace que la lógica proposicional sea completa y con una semántica muy sencilla.

Lenguaje Formal

El lenguaje formal es el que utilizamos en situaciones más serias y formales. Por ejemplo: en una
entrevista de trabajo, en una cita con tu médico o cuando conoces a una persona por primera vez.

Debes usar lenguaje formal cuando hablas con tu profesor, con tu jefe o con alguien que no
conoces, como un dependiente de una tienda.
Puedes seguir estos consejos para usar lenguaje formal:

Utiliza un vocabulario rico y variado

Evita usar abreviaturas y apodos o motes. Por ejemplo, di «autobús» en vez de «bus»

Di «usted» en vez de «tú»

Pronuncia bien

Evita expresiones vulgares. Por ejemplo, ¡Cómo mola!

Evita hablar demasiado lento o demasiado rápido

Usa un tono y volumen medio: ni muy bajo ni muy alto

Ejemplos de lenguaje formal:

Buenas tardes señor Pérez.

Perdone señor, ¿puede decirme dónde coger el autobús 29?

Buenas tardes señor Pérez

Usted tiene muy buen gusto

Agradezco mucho su ayuda

Buenos días ¿Puedo pasar?

 Lenguaje Natural

_El lenguaje natural se entiende como la lengua que usan los individuos para interactuar a través
de alguna forma de comunicación sea escrita, oral o no verbal. Una base para comprender el
lenguaje natural es el idioma que empleamos cuando hablamos (castellano, inglés, chino, entre
otros).

Con el desarrollo de las ciencias exactas, surgieron otros modos de interacción, donde no solo
existe el lenguaje en su forma gramatical y lingüística, sino que se emplean otras formas de
lenguaje denominados «lenguajes formales» centrados en las matemáticas y otras disciplinas
como la robótica o la computación. Por ejemplo, siglas como XML, SQL y PHP refieren a lenguajes
de programación que tienen relación con el funcionamiento adecuado de un un sitio web. En esta
dinámica surgen muchos lenguajes que han permitido el desarrollo tecnológico y su constante
innovación, así como el procesamiento de nuevas formas de lenguaje.

Uno de los términos vinculados en esta lógica* es el concepto de Procesamiento del Lenguaje
Natural (conocido como PLN por sus siglas en español). Este término hace referencia a los
procesos, investigaciones y avances para descubrir mecanismos eficaces computacionalmente
para la comunicación entre personas y máquinas por medio del lenguaje natural. Este campo es
estudiado principalmente por las ciencias de la computación, la inteligencia artificial y la lingüística
y se configura como uno de los escenarios de mayor interés en el mundo tecnológico.
 CÓDIGO LINGÜÍSTICO

Es un código o conjunto de signos que necesita del lenguaje, ya sea oral o escrito. De este modo,
los códigos lingüísticos se dividen, a su vez, en código oral -si utiliza el lenguaje oral- y código
escrito, si utiliza el lenguaje escrito.

Los idiomas que -como ya lo habíamos dicho- son los códigos más comunes, corresponden a
códigos lingüísticos, que pueden ser orales o escrito, si se trata del idioma en esa forma.

Ejemplo:

– Pedro va por la calle caminando, junto a su hermana chica. Ve un letrero en el camino, que dice:
«Peligro – excavación».

– En ese momento, le dice a su hermana: «No te vayas a caer».

– En esta situación, hay un letrero que está transmitiendo el mensaje.

¿Quién emitió el mensaje? No podemos pensar que el letrero es el emisor, ya que el letrero no
puede dar ese mensaje por sí solo. Lo que sucede es que alguien quiso transmitir a la gente ese
mensaje y, por eso, puso el letrero en ese lugar.

En este caso, el emisor sería la persona que puso el letrero, la municipalidad, los encargados de la
excavación, o quien sea. El letrero sólo fue un medio para transmitir el mensaje.

El receptor del mensaje, sin duda, es Pedro. El código que se ha utilizado es lingüístico, ya que el
mensaje está en castellano, que es un idioma. Por lo tanto, emplea el lenguaje y es escrito, ya que
el cartel lo está. En una palabra, decimos que el código es lingüístico escrito.

Pero la situación no termina ahí. Luego, Pedro, haciendo el papel de emisor esta vez, le transmite
un mensaje a su hermanita: «No te vayas a caer». La hermana es, entonces, el receptor de este
mensaje.
En este caso, el código empleado también es lingüístico, ya que se trata de nuestro idioma, pero
esta vez se trata de un código lingüístico oral, ya que el mensaje se ha transmitido de forma
hablada.

Proposición Lógica
La lógica estudia las relaciones entre proposiciones y los mecanismos de razonamiento que
permiten llegar a unas a partir de otras. En sí mismas, las proposiciones se diferencian de los
juicios, ya que las primeras proponen algo sobre la realidad y los segundos afirman o niegan algo
de ello. Es decir, las proposiciones son el producto lógico de los juicios.

La lógica formal representa las proposiciones a través de letras del alfabeto, para así estudiar las
conexiones lógicas entre ellas abstraídas de su contenido semántico: “si p entonces q”.

A partir de dicha la relación, luego puede determinarse en qué casos el contenido expresado es
cierto, y en qué casos es falso, mediante las llamadas “tablas de la verdad”, que asignan valores
verdaderos (V) o falsos (F) a la relación establecida, para estudiar sus resultados posibles.
 Clasificación de las Proposiciones

_La lógica clasifica las proposiciones en dos tipos: simples y compuestas, dependiendo de su
conformación.

Proposiciones simples. Son aquellas que están compuestas por un sujeto y un predicado
directamente relacionados, sin que aparezcan factores de negación (no), conjunción (y),
disyunción (o) o implicación (si… entonces). En términos oracionales, se corresponden con
oraciones simples sin subordinadas. Por ejemplo: “El perro es negro”.

Proposiciones compuestas. Son aquellas de tipo complejo, que incorporan elementos adicionales
a través de factores de negación, conjunción, disyunción o implicación, y que en términos
oracionales consisten en oraciones con subordinadas y otros componentes. Por ejemplo: “Si el
perro es negro, el perro no es azul ni rojo”.
 Conectiva lógica

En lógica, una conectiva lógica, o también conectiva (también llamado operador lógico o
conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien
formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula
compuesta depende del valor de verdad de las fórmulas componentes.

Los conectivos lógicos más comunes son los conectivos binarios (también llamados conectivos
diádicos) que unen dos frases, que pueden ser consideradas los operandos de la función. También
es común considerar a la negación como un conectivo monádico.

Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de
muchos sistemas lógicos, principalmente la lógica proposicional y la lógica de predicados.

En programación se utilizan para combinar valores de verdad y obtener nuevos valores que
determinen el flujo de control de un algoritmo o programa.
 Conclusión

_ Llegando a una conclusión, la lógica como tal es un principio fundamental en toda área
que nos rodea, tanto a nivel general, social, laboral e idiosincrático, en si el aplicarla en
todas estas áreas es muy importante para nosotros, el tomar decisiones en base a una
lógica, o en base a un sistema de proposiciones siempre va a requerir del uso de la misma,
por lo cual hoy en día es indispensable el correcto entendimiento de la lógica al momento
de llevar a cabo nuestras diferentes actividades diarias de manera que podamos
comprender el que podemos o no podemos hacer la mayoría del tiempo, e incluso en
distintas situaciones que podemos ver reflejadas en momentos de carácter profesional
donde incluso nuestros trabajos requieren del uso de estos principios como parte de la
formación del experto y como parte de su preparación al momento de afrontar un
problema, o ratificar el uso de una solución al mismo.
 Bibliografía

https://es.wikipedia.org/wiki/Conectiva_lógica

https://es.wikipedia.org/wiki/Lógica_proposicional

https://es.wikipedia.org/wiki/Lógica_matemática

http://www.matematicas.ciencias.uchile.cl/juaco/section-1.html

https://es.wikipedia.org/wiki/Proposición