Universidad de Margarita

Alma Mater del Caribe

Decanato de Ingeniería
Algebra Discreta

Lógica y Razonamiento Matemático

Profesor: Julián Carneiro Alumno:

Tomás Reales, 28.300.640

1
 Índice
1. Introducción……………………………………………………………………..3
2. Desarrollo………………………………………………………………………...4
2.1. Lógica e Informática………………………………………………………..4
2.2. Lógica y Modelos Matemáticos……………………………………………5
2.3. ¿Qué es Lógica Proposicional?............................................................6
2.4. Conectivos Lógicos…………………………………………………………8
2.5. Leyes y límites de la Lógica Proposicional……………………………...10
2.5.1. Ley de doble negación……………………………………………..10
2.5.2. Leyes de idempotencia…………………………………………….10
2.5.3. Leyes asociativas…………………………………………………..10
2.5.4. Leyes distributivas………………………………………………….10
2.5.5. Leyes comunicativas………………………………………………10
2.5.6. Leyes de Morgan…………………………………………………...11
2.5.7. Leyes de la implicación…………………………………………….11
3. Reducción de Conectivas……………………………………………………..12
4. Sistema Axiomático……………………………………………………………12
5. Semántica…….……………………………...…………………………………13
6. Conclusión……………………………………………………………………...15
7. Bibliografía……………………………………………………….……………..16

2
 Introducción
Cuando hablamos del pensamiento formal presenta tres características
funcionales: El mundo de lo posible frente al mundo de lo real, el pensamiento
hipotético deductivo, el uso de la combinatoria y el pensamiento proposicional.
De esta manera, el pensamiento formal es una orientación generalizada para
la resolución de problemas, ya que en él un individuo está en capacidad de
organizar datos, de aislar y controlar variables, de hacer hipótesis y de justificar
y hacer pruebas lógicas. Esto último está relacionado con el manejo de
operaciones lógicas contenidas en datos reales, donde se operan
proposiciones que involucran las distintas formas de conectivos lógicos,
característico del pensamiento proposicional.

En nuestro quehacer diario constantemente hacemos, deducciones. Esto

significa, que cada conclusión que obtenemos se deduce de algo. Este algo o
punto de partida se llama premisa. Por ejemplo si exponemos un trozo de hielo
al calor, se concluye que el hielo se derrite. Este proceso de pasar de un
conjunto de premisas a la conclusión se llama inferencia o deducción.

Cuando la conclusión se deduce correctamente del conjunto de premisas

se dice que la inferencia es válida, en caso contrario la inferencia no es válida.
Sabemos que la conclusión se deriva correctamente de sus premisas porque
hay un conjunto de leyes lógicas que garantizan dicha corrección. Justamente
la lógica estudia el modo de usar estas leyes, con las cuales podemos saber
si una inferencia es válida o no. De ahí que, la lógica es una ciencia que estudia
los métodos y las leyes que determinan la validez de la inferencia.
Así como existe una teoría para realizar cálculos con números (la
aritmética) o con objetos más complejos como diferencial e integral, también
existen reglas precisas para manejar proposiciones. Esto último corresponde
al estudio de la lógica proposicional.

3
 Lógica e Informática
¿Qué relación existe entre la lógica y la informática? Los ordenadores son
máquinas diseñadas para mecanizar trabajos intelectuales, entre otros, los
cálculos basados en operaciones aritméticas o el almacenamiento,
clasificación y búsqueda de datos.
Al intentar mecanizar tareas más complejas entramos en el campo de la
informática conocida como inteligencia artificial, en el que se pretende que el
ordenador sea capaz de realizar ese tipo de razonamientos que el hombre
efectúa de una manera un tanto informal, por lo que es necesario definir y
analizar con precisión dichos razonamientos. En otras palabras, se trata de
formalizar los razonamientos. Y de esto se ocupa la lógica.
También la lógica tiene relación con el mundo de la programación debido a
la denominada crisis del software: los programas son cada vez más complejos,
menos fiables y más difíciles de mantener. Se han propuesto y se utilizan
diversas metodologías para la construcción de programas y su verificación
(métodos para comprobar la coincidencia entre lo que se cree que hace el
programa y lo que realmente hace). En palabras de R. Fairley la verificación
formal es una rigurosa demostración matemática de la concordancia del
código fuente de un programa con su especificación. En esta línea de
acercamiento entre el código fuente de un programa y su especificación están
los denominados lenguajes de programación declarativa (como contraposición
a la visión tradicional conocida como programación imperativa).
Desde esta perspectiva se pretende que los programas no sean una
secuencia de instrucciones que le digan al ordenador, paso a paso, cómo
resolver el problema (programación imperativa), sino más bien una
especificación de lo que se pretende resolver dejando que sea el propio
ordenador el que determine las acciones necesarias para ello. En este sentido
la lógica puede verse como un lenguaje de especificación mediante el cual
podemos plantear los problemas de forma rigurosa.

4
 Por otra parte, desde el punto de vista estrictamente electrónico, el soporte
tecnológico principal de los ordenadores lo constituyen los circuitos de
conmutación o circuitos lógicos, denominados así por tener en común con las
formas elementales de la lógica el modelo matemático conocido como Álgebra
de Boole.
Finalmente, otra relación de la lógica con la informática viene dada por el
hecho de que el estudio matemático de los lenguajes es uno de los pilares de
la informática, entendiendo por lenguaje un sistema de símbolos y de
convenios que se utiliza para la comunicación, sea ésta entre personas, entre
personas y máquinas, o entre máquinas; la Lógica Formal puede considerarse
como un lenguaje, el mejor hecho de los lenguajes, en palabras de Ferrater
Mora.

Lógica y modelos matemáticos

Por otra parte, y planteando ahora las posibles aplicaciones de la lógica
desde una perspectiva más general, las ciencias experimentales se basan en
la observación de la naturaleza y utilizan un razonamiento de tipo inductivo
para poder formular teorías generales. Estas teorías permiten entender y
clasificar los resultados de observaciones particulares y de este modo extraer
conclusiones generales que posibiliten hacer predicciones sobre el resultado
de futuros experimentos.
El conocimiento científico es una representación del mundo real y alcanza
los mayores niveles de precisión y exactitud cuando dichos modelos son de
naturaleza matemática. La utilidad de los modelos matemáticos reside en las
tres características que, según entendemos, configuran su esencia:
1. Por una parte, la necesaria simplificación que se realiza en los modelos;
permite analizar con claridad aspectos y relaciones que se presentan
en el mundo real, prescindiendo de otras relaciones superfluas que
ocultan y complican los aspectos objeto de estudio.

5
 2. La segunda característica se refiere a la facilidad para hacer
deducciones dentro del modelo. Es posible que una de las mayores
dificultades del trabajo científico consista en elegir entre los distintos
modelos o distintas representaciones del fenómeno objeto de estudio
aquel modelo que más facilite la labor de deducción.
3. La última característica esencial de un modelo es extrínseca al mismo,
a diferencia de las dos anteriores, y consiste en su capacidad predictiva,
o lo que es lo mismo, el grado de coincidencia obtenido del contraste
entre lo que estaba previsto dentro del modelo y lo que sucede en el
mundo real. El método científico incorpora la experimentación para
realizar dicho contraste.
Si las ciencias experimentales siguen un modelo inductivo, las matemáticas
siguen un modelo deductivo de razonamiento. Es decir, desde una colección
inicial de verdades (axiomas) se van obteniendo, mediante reglas correctas de
deducción, más hechos verdaderos (teoremas). Se puede decir que el objeto
de la lógica es el estudio sistemático de las condiciones generales de validez
de estas deducciones.

¿Qué es Lógica Proposicional?

Para entender qué es la Lógica proposicional, debemos entender que es
una proposición. Una proposición es una oración enunciativa, es decir, que
afirma o niega algo y que, por lo tanto, puede ser verdadera o falsa. Esta
proposición será representada por las Variables Proposicionales o Letras
Enunciativas que corresponden a letras del alfabeto latino, empezando por la
letra p, luego q, r, s, etc.
Ahora bien, la lógica proposicional es un sistema formal cuyos elementos
más simples representan proposiciones, y cuyas constantes lógicas, llamadas
conectivas, representan operaciones sobre proposiciones, capaces de formar
otras proposiciones de mayor complejidad. En la Lógica proposicional las

6
proposiciones no se analizan, sino que se toman como un bloque y son los
elementos mínimos sobre los cuales opera esta rama de la Lógica.
Una proposición es una sentencia simple, también conocida como
Proposición Simple, que tiene un valor asociado ya sea verdadero (V), o falso
(F). Por ejemplo:
hoy es sábado
hace frío

La lógica proposicional, permite la asignación de un valor verdadero o falso

para la sentencia completa, no tiene facilidad para analizar las palabras
individuales que componen la sentencia. Por este motivo, la representación de
las sentencias del ejemplo, como proposiciones, sería:
hoy_es_sábado
hace_frío

Las proposiciones pueden combinarse para expresar conceptos más

complejos, esto es conocido como Proposición Compleja o Molecular, en la
cual se unen proposiciones simples formando una compleja. Por ejemplo:
hoy_es_sábado y hace_frío.

La proposición anterior recibe el nombre de fórmula bien formada. Una

fórmula bien formada puede ser una proposición simple o compuesta que tiene
sentido completo y cuyo valor de veracidad puede ser determinado. La Lógica
Proposicional suministra un mecanismo para asignar valores de veracidad a
la proposición compuesta, basado en los valores de veracidad de las
proposiciones simples y en la naturaleza de los conectores lógicos
involucrados. Un enunciado complejo será verdadero o falso en función de la
forma en que estén dispuestos los enunciados simples que lo componen.
Lo que diferencia semánticamente las conectivas es el valor de verdad del
enunciado compuesto que se forma con ellas:

7
 Luke es rubio y Leia es morena
Luke es rubio o Leia es morena
Si Luke es rubio, Leia es morena
Luke es rubio, si y sólo si, Leia es morena
Luke no es rubio, ni Leia morena
Cada una de estas afirmaciones es verdadera en condiciones diferentes.
Dichas condiciones vienen dadas por las distintas conectivas lógicas.

Conectivos lógicos
En la lógica proposicional, los conectivos lógicos son tratados como
funciones de verdad. Es decir, como funciones que toman conjuntos de valores
de verdad y devuelven valores de verdad.

Expresión en lenguaje
Conectivo Ejemplo Símbolo
natural
Negación no Luke no es rubio  
Luke es rubio y Leia es
Conjunción Y 
morena
Luke es rubio o Leia es
Disyunción O 
morena
Si Luke es
Implicación si... entonces rubio entonces Leia es 
morena
Luke es rubio sí y solo
Bicondicional sí y sólo sí  
sí Leia es morena

Los conectivos lógicos son funciones que permiten combinar valores de

verdad y entregar valores de verdad, esto se puede visualizar mediante una
tabla que entregue los valores de verdad que la función devuelve con todas
las combinaciones posibles.

8
 Negación Conjunción Disyunción
p p p Q pq p q pq
V F V V V V V V
F V V F F V F V
F V F F V V
F F F F F F

Condicional Bicondicional
p q pq P q pq
V V V V V V
V F F V F F
F V V F V F

Para representar la tabla de verdad cuando se aplica conectores, se

exponen algunos ejemplos:
• Sea p una fórmula cualquiera, ¬ p es verdadero cuando p es falso, y
falso cuando p es verdadero.
• Sean p y q fórmulas cualesquiera, (p Ù q) es verdadero cuando p y q
son verdaderos, y falso en los demás casos.
• Sean p y q fórmulas cualesquiera, (p Úq) es falso cuando p y q son
falsos, y verdadero en los demás casos.
• Sean p y q fórmulas cualesquiera, (p ® q) es falso cuando p es
verdadero y q es falso, y verdadero en los demás casos.
• Sean p y q fórmulas cualesquiera, (p Û q) es falso cuando p y q tienen
distinto valor de verdad, y verdadero cuando tienen el mismo valor de
verdad.
Más que aprender de memoria estas tablas, lo importante es identificar el
efecto que provoca en los valores de verdad cuando se aplica una función.

9
 Leyes y límites de la lógica proposicional
Entre las reglas de la lógica proposicional clásica, algunas de las leyes más
notables son las siguientes:
1. Ley de doble negación: Establece que, si un enunciado está doblemente
negado, equivaldría al enunciado afirmado.
 p  p
2. Leyes de idempotencia: Establece que, si un enunciado se aplica un
conector, de por sí mismo vuelve a obtenerse el mismo enunciado.
(pp)  p

(pp)  p

3. Leyes asociativas: Establece que no importa cómo se agrupen los

enunciados cuando se conectan en forma de conjunción o disyunción.
(pq) r  p  (qr)

(pq) r  p  (qr)

4. Leyes comunicativas: Esta ley, no es válida para la implicación, pero sí para

conjunción y para la disyunción. Una conjunción es afirmar que se dan dos
cosas a la vez, de modo que el orden de sus elementos no cambia este
hecho. Igualmente, una disyunción es presentar una elección entre dos
cosas, sin importar en qué orden se presente esta elección.
(pq)  (qp)

(pq)  (qp)

5. Leyes distributivas: Esta ley distribuye a la proposición fuera del paréntesis

con las que están dentro de este.
p(qr)  (pq)  (pr)

p(qr)  (pq)  (pr)

10
6. Leyes de Morgan: Esta ley permite transformar una disyunción en una
conjunción, y viceversa, es decir, una conjunción en una disyunción.
Cuando se pasa de una a otra, se cambian los valores de afirmación y
negación de los términos de la disyunción/conjunción, así como de la
propia operación en conjunto.
 (pq)  pq

 (pq)  pq

7. Leyes de la Implicación: Esta ley ordena de diversas formas a la

proposición sin alterar el producto.
(pq)  (pq)(qp)
(pq)  (pq)
(qp)  (qp)
(pq)  (pq)

Respecto a los límites, la lógica proposicional permite formalizar y teorizar

sobre la validez de una gran cantidad de argumentos. Sin embargo, también
existen argumentos que son intuitivamente válidos, pero cuya validez no
puede ser probada por la lógica proposicional. Por ejemplo, considérese el
siguiente argumento:
• Todos los hombres son mortales.
• Sócrates es un hombre.
• Por lo tanto, Sócrates es mortal.

Como este argumento no contiene ninguna de las conectivas «no», «y»,

«o», etc., según la lógica proposicional, su formalización será la siguiente:
• p
• q
• Por lo tanto, r

11
 Pero esta es una forma de argumento inválida, y eso contradice nuestra
intuición de que el argumento es válido. Para teorizar sobre la validez de este
tipo de argumentos, se necesita investigar la estructura interna de las
variables proposicionales. De esto se ocupa la lógica de primer orden.

Reducción de Conectivas
Podemos probar para nuestro cálculo que nos basta exclusivamente con
dos conectivas, pudiendo definir las restantes en función de las dos elegidas.
Es decir, que toda la expresividad de nuestro cálculo se puede lograr usando
sólo dos conectivas, definiendo el resto en función de las dos elegidas. De las
cuatro conectivas que acabamos de definir -si tenemos en cuenta que el
bicondicional es la conjunción del condicional en una dirección con el mismo
condicional en la otra- podremos elegir entre los siguientes conjuntos de
conectivas {¬, ∧}; {¬, ∨}; {¬, →}. Es decir: la negación con la conjunción o con
la disyunción o con el condicional. Según el conjunto de conectivas elegidas
las definiciones del resto quedarían de la siguiente manera:

Negación y Negación y Negación y

Conjunción Disyunción Condicional
Conjunción - ¬ (¬ X ∨ ¬ Y) ¬ (X → ¬Y)
Disyunción ¬ (¬ X ∧ ¬ Y) - ¬X→Y
Condicional ¬ (X ∧ ¬Y) ¬X ∨ Y -

Sistema Axiomático
El sistema axiomático está compuesto por un Alfabeto y por una Gramática.
El alfabeto de este sistema es el conjunto de símbolos que pertenecen al
lenguaje del sistema. Consiste en una cantidad finita pero arbitrariamente
grande de variables proposicionales, conjunto de operadores lógicos y los dos
signos de puntuación paréntesis. Este último permite eliminar la ambigüedad
en expresiones ambiguas.

12
 La gramática consiste en un conjunto de reglas que definen un conjunto de
caracteres que pertenecen al lenguaje del sistema. Las cadenas de caracteres
construidos de acuerdo a estas reglas se les llaman fórmulas bien formadas.
De acuerdo a estas leyes podemos decir que las siguientes cadenas de
caracteres son fórmulas bien formadas:
• p
•   p
• pq
• (pq)
• pp

Finalmente, existen jerarquías que se deben respetar al momento de

interpretar una cadena de caracteres, las conjunciones y disyunciones tienen
menor jerarquía que las implicaciones y bicondicionales. Esto es equivalente
a las matemáticas, en las cuales las multiplicaciones y divisiones se realizan
antes que las sumas y restas, siempre y cuando no se utilicen paréntesis para
definir lo contrario.
Los axiomas son un conjunto de fórmulas bien formadas que se toman
como punto de partida para demostraciones ulteriores.

Semántica

Una interpretación para un sistema de lógica proposicional es una

asignación de valores de verdad para cada variable proposicional, sumada a
la asignación usual de significados para los operadores lógicos. A cada
variable proposicional se le asigna uno de dos posibles valores de verdad: V
(verdadero) o F (falso). Esto quiere decir que, si hay n variables
proposicionales en el sistema, el número de interpretaciones distintas es de
2n.
Con esto aparecen las tablas de verdad, que representan todas las posibles
interpretaciones de las variables proposicionales que constituyen una

13
determinada fórmula. A continuación, generaremos la tabla de verdad para la
fórmula: (pq)  (pr)

p q r (pq) (pq) (pr) (pq)  (pr)

V V V V F V V
V V F V F F V
V F V V F V V
V F F V F F V
F V V V F V V
F V F V F V V
F F V F V V V
F F F F V V V

14
 Conclusión
Es tan importante la relación lógica-computación que todo ordenador tiene
una unidad en la cual se realizan las operaciones lógicas; es la unidad
aritmética–lógica. En ella, se efectúan las operaciones lógicas de cualquier
programa. Nos referimos a los operadores lógicos "y", "o", etc., los cuales
trabajan en base a las tablas de verdad.
La lógica se hace presente en los programas. Cada uno de ellos es un
conjunto formal y secuencial de operaciones, las cuales permiten realizar un
trabajo. Decimos "formal " y con ello evidenciamos de la lógica forma, puesto
que teóricamente, un mismo programa puede estar referido a varios
contenidos, siempre y cuando tengan los mismos esquemas.
Como podemos observar la lógica proposicional es una pieza importante
en la informática, ya que para realizar los agentes se necesita de un lenguaje
para representar los hechos que se perciben del mundo real y el utilizar
proposiciones es algo que encaja perfectamente en este ámbito. Es una
manera sencilla para poder resolver este problema ya que a partir de oraciones
o proposiciones sencillas se pueden analizar los hechos y tomar decisiones,
es decir se pueden crear nuevas oraciones que se van aprendiendo o
agregando a la base del conocimiento.
La toma de decisiones a partir del conocimiento aprendido con anterioridad
tiene un papel muy importante y la lógica proposicional es un método que
encaja perfectamente que permite generar el nuevo conocimiento.

15
 Bibliografía
• http://programacionits.blogspot.com/2012/08/logica-proposicional.html
• https://www.monografias.com/trabajos71/logica-proposicional/logica-
proposicional.shtml
• https://www.monografias.com/trabajos-pdf5/logica-proposicional-
filosofia/logica-proposicional-filosofia.shtml
• https://www.slideshare.net/cjgafis/la-logica-proposicional-9314069
• https://sites.google.com/site/sitesagradopythia/impportancia-de-la-logica-
matematica
• https://sites.google.com/site/proflucianagomez/utu/cit/logica

16