MATEMÁTICAS

UNIDAD 1: LÓGICA MATEMÁTICA

ECO. DIANA VANESSA DUQUE TORRES

PERIODO: NOVIEMBRE 2018-FEBRERO 2019

NOTACIÓN

• Definición de notación. Notación es la acción y efecto de notar (señalar,

advertir, apuntar). El término proviene del latín y hace referencia al sistema
de signos convencionales que se adopta para expresar algún concepto. ... Los
símbolos permiten representar conceptos, operaciones y todo tipo de
entidades matemáticas.
LÓGICA PROPOSICIONAL

• La lógica proposicional es un sistema formal cuyos elementos más simples representan

proposiciones, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones
sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
• La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o variables
interpretables como entidades. En lógica proposicional si bien no hay signos para variables de
tipo entidad, sí existen signos para variables proposicionales (es decir, que pueden ser
interpretadas como proposiciones con un valor de verdad definido), de ahí el nombre
proposicional. La lógica proposicional incluye además de variables interpretables como
proposiciones simples signos para conectivas lógicas, por lo que dentro de este tipo de lógica
puede analizarse la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener
en cuenta la estructura interna de las proposiciones más simples.
INTRODUCCIÓN

Considérese el siguiente argumento:

• Mañana es miércoles o mañana es jueves.
• Mañana no es jueves.
• Por lo tanto, mañana es miércoles.
Es un argumento válido. Quiere decir que es imposible que las premisas (1) y
(2) sean verdaderas y la conclusión (3) falsa.
Sin embargo, a pesar de que el argumento sea válido, esto no quiere decir que
la conclusión sea verdadera. En otras palabras, si las premisas son falsas,
entonces la conclusión también podría serlo. Pero si las premisas son
verdaderas, entonces la conclusión también lo es. La validez del argumento no
depende del significado de las expresiones «mañana es miércoles» ni «mañana
es jueves», sino de la estructura misma del argumento. Estas premisas podrían
cambiarse por otras y el argumento permanecería válido. Por ejemplo:
• Hoy está soleado o está nublado.
• Hoy no está nublado.
• Por lo tanto, hoy está soleado
La validez de los dos argumentos anteriores depende del significado de las
expresiones «o» y «no». Si alguna de estas expresiones se cambia por otra,
entonces los argumentos podrían dejar de ser válidos. Por ejemplo, considérese
el siguiente argumento inválido:
• Ni está soleado ni está nublado.
• No está nublado.
• Por lo tanto, está soleado.
Estas expresiones como «o» y «no», de las que depende la validez de los
argumentos, se llaman conectivas lógicas. En cuanto a expresiones como «está
nublado» y «mañana es jueves», lo único que importa de ellas es que tengan un
valor de verdad. Es por esto que se las reemplaza por simples letras, cuya
intención es simbolizar una expresión con valor de verdad cualquiera.
A estas letras se las llama variables proposicionales, y en general se toman del
alfabeto latino, empezando por la letra p (de «proposición») luego q, r, s, etc.
Es así que los dos primeros argumentos de esta sección se podrían reescribir así:
•poq
• No q
• Por lo tanto, p
Y el tercer argumento, a pesar de no ser válido, se puede reescribir así:
• Ni p ni q
• No q
• Por lo tanto, p
 CONECTIVAS LÓGICAS
• A continuación, hay una tabla que despliega todas las conectivas lógicas que
ocupan a la lógica proposicional, incluyendo ejemplos de su uso en el
lenguaje natural y los símbolos que se utilizan para representarlas en
lenguaje formal.
• En la lógica proposicional, las conectivas lógicas se tratan como funciones de verdad. Es decir,
como funciones que toman conjuntos de valores de verdad y devuelven valores de verdad.
Por ejemplo, la conectiva lógica «no» es una función que, si toma el valor de verdad V,
devuelve F, y si toma el valor de verdad F, devuelve V. Por lo tanto, si se aplica la función
«no» a una letra que represente una proposición falsa, el resultado será algo verdadero. Si
es falso que «está lloviendo», entonces será verdadero que «no está lloviendo».
• El significado de las conectivas lógicas no es nada más que su comportamiento como funciones
de verdad. Cada conectiva lógica se distingue de las otras por los valores de verdad que
devuelve frente a las distintas combinaciones de valores de verdad que puede recibir. Esto
quiere decir que el significado de cada conectiva lógica puede ilustrarse mediante una tabla
que despliegue los valores de verdad que la función devuelve frente a todas las
combinaciones posibles de valores de verdad que puede recibir.
 LEYES NOTABLES EN LÓGICA
• Entre las reglas de la lógica proposicional clásica algunas de la más notables son
listadas a continuación:
• Ley de doble negación
• Leyes de idempotencia
• Leyes asociativas
• Leyes conmutativas
• Leyes distributivas
• Leyes de De Morgan
LEY DE DOBLE NEGACIÓN
• Dentro de un sistema de lógica clásica, la doble negación, esto es, la
negación de la negación de una proposición p, es lógicamente
equivalente a p. Expresado simbólicamente, ¬(¬p) ⇔ p. En lógica
intuicionista, una proposición implica su doble negación, pero no al
revés. Esto marca una importante diferencia entre la negación
clásica e intuicionista. Algebraicamente, la negación clásica es
llamada una involución de periodo dos.
• Sin embargo, en lógica intuicionista, sí tenemos la equivalencia entre
¬¬¬p y ¬p. Es más, en el caso proposicional, una oración es
demostrable de forma clásica, si su doble negación es demostrable
de manera intuicionista. Este resultado es conocido como el teorema
de Glivenko.
 LEYES DE DE MORGAN:
• En lógica proposicional y álgebra de Boole, las leyes de De Morgan123 son un par de
reglas de transformación que son ambas reglas de inferencia válidas. Las normas
permiten la expresión de las conjunciones y disyunciones puramente en términos de vía
negación.
• Las reglas se pueden expresar en español como:
• La negación de la conjunción es la disyunción de las negaciones.
• La negación de la disyunción es la conjunción de las negaciones.
• o informalmente como:
• "no (A y B)" es lo mismo que "(no A) o (no B)"
• y también,
• "no (A o B)" es lo mismo que "(no A) y (no B)"
• Las reglas pueden ser expresadas en lenguaje formal con dos
proposiciones P y Q, de esta forma:
¬(P∧Q)⟺(¬P)∨(¬Q)
¬(P∨Q)⟺(¬P)∧(¬Q)
donde:
¬ es el operador de negación (NO)
∧ es el operador de conjunción (Y)
∨ es el operador de disyunción (O)
⇔ es un símbolo metalógico que significa "puede ser
reemplazado en una prueba lógica"
LÍMITES DE LA LÓGICA PROPOSICIONAL
La maquinaria de 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 se puede
probar 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:
1. p
2. q
3. Por lo tanto, r
• 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. Otros sistemas formales permiten teorizar sobre otros tipos de argumentos.
Por ejemplo la lógica de segundo orden, la lógica modal y la lógica temporal.
• Dos sistemas formales de lógica proposicional
• A continuación, se presentan dos sistemas formales estándar para la lógica proposicional. El
primero es un sistema axiomático simple, y el segundo es un sistema sin axiomas, de
deducción natural.
SISTEMA AXIOMÁTICO
Alfabeto
El alfabeto de un sistema formal es el conjunto de símbolos que pertenecen al lenguaje
del sistema. Si L es el nombre de este sistema axiomático de lógica proposicional,
entonces el alfabeto de L consiste en:
• Una cantidad finita pero arbitrariamente grande de variables proposicionales. En general se
toma del alfabeto latino, empezando por la letra p, luego q, r, etc., y utilizando subíndices
cuando es necesario o conveniente. Las variables proposicionales representan proposiciones
como "está lloviendo" o "los metales se expanden con el calor".
• Un conjunto de operadores lógicos: ¬ , ∧ , ∨ , → , ↔
• Dos signos de puntuación: los paréntesis izquierdo y derecho. Su única función es
desambiguar ciertas expresiones ambiguas, en exactamente el mismo sentido en que
desambiguan la expresión 2 + 2 ÷ 2, que puede significar tanto (2 + 2) ÷ 2, como 2 + (2 ÷
2).
Gramática
• Una vez definido el alfabeto, el siguiente paso es determinar qué combinaciones de
símbolos pertenecen al lenguaje del sistema. Esto se logra mediante una gramática
formal. La misma consiste en un conjunto de reglas que definen recursivamente las
cadenas de caracteres que pertenecen al lenguaje. A las cadenas de caracteres
construidas según estas reglas se las llama fórmulas bien formadas. Las reglas del
sistema L son:
• 1. Las variables proposicionales del alfabeto de L son fórmulas bien formadas.
• 2. Si ϕ es una fórmula bien formada de L, entonces ¬ ϕ también lo es.
• 3. Si ϕ y ψ son fórmulas bien formadas de L, entonces ( ϕ ∧ ψ , ( ϕ ∨ ψ ), ( ϕ →
ψ ) y ( ϕ ↔ ψ ) también lo son.
• 4. Sólo las expresiones que pueden ser generadas mediante las cláusulas 1 a 3
en un número finito de pasos son fórmulas bien formadas de L.
Según estas reglas, las siguientes cadenas de caracteres son ejemplos de fórmulas bien formadas:
•P
• ¬¬¬q
• (p ∧ q )
• ¬ (p ∧ q)
• (p↔ ¬ p)
• ((p → q ) ∧ p )
• (¬ ( p ∧ ( q ∨ r ) ) ∨ s )

Y los siguientes son ejemplos de fórmulas mal formadas:

Fórmula Error Corrección

(p) Sobran paréntesis p

¬(p) Sobran paréntesis ¬p

(¬p) Sobran paréntesis ¬p

p→q Faltan paréntesis (p→q)

(p∧q→r) Faltan paréntesis ((p∧q)→r)

Por otra parte, dado que la única función de los paréntesis es desambiguar las
fórmulas, en general se acostumbra omitir los paréntesis externos de cada
fórmula, ya que estos no cumplen ninguna función. Así por ejemplo, las
siguientes fórmulas generalmente se consideran bien formadas:
•p∧q
•¬p→q
•(p∧q)∨¬q
•(p↔q)↔(q↔p)
Otra convención acerca del uso de los paréntesis es que las conjunciones y las
disyunciones tienen «menor jerarquía» que los condicionales materiales y los
bicondicionales. Esto significa que dada una fórmula sin paréntesis, las conjunciones y
las disyunciones deben agruparse antes que los condicionales materiales y los
bicondicionales. Por ejemplo:
Fórmula Lectura correcta Lectura incorrecta
p∧q→r (p∧q)→r p∧(q→r)

¬p↔q∨r ¬p↔(q∨r) (¬p↔q)∨r

p∧q↔r∨s (p∧q)↔(r∨s) (p∧(q↔r))∨s

Estas convenciones son análogas a las que existen en el álgebra elemental, donde la
multiplicación y la división siempre deben resolverse antes que la suma y la resta. Así,
por ejemplo, la ecuación 2 + 2 × 2 podría interpretarse como (2 + 2) × 2 o como 2 +
(2 × 2). En el primer caso el resultado sería 8, y en el segundo caso sería 6. Pero como
la multiplicación siempre debe resolverse antes que la suma, el resultado correcto en
este caso es 6, no 8.
VALOR DE LA VERDAD

• En lógica, un valor de verdad es un valor que indica en qué medida una declaración
es verdad. En lógica clásica bivalente los valores de verdad sólo son dos, usualmente
designamos verdadero y falso (y a veces representados por pares como (1,0) o
(V,F), etc.). Sin embargo la lógica polivalente el conjunto de valores de verdad
incluye otras posibilidades, e incluso en lógica modal la descripción del valor de
verdad requiere la noción más compleja de mundos posibles. En lógica difusa el
valor de verdad es cualquier número real en el intervalo cerrado [0,1].
• El conjunto de valores de verdad de un determinado tipo de lógica es el rango de
una interpretación lógica sobre el conjunto de todas las proposiciones posibles.
TABLA DE VERDAD

Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra
el valor de verdad de una proposición compuesta, para cada combinación de
verdad que se pueda asignar.1
Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el
formato más popular es el que introdujo Ludwig Wittgenstein en su Tractatus
logico-philosophicus, publicado en 1921.
 TABLAS DE VERDAD, PROPOSICIONES LÓGICAS Y
ARGUMENTOS DEDUCTIVOS
En realidad toda la lógica está contenida en las tablas de verdad, en ellas se nos manifiesta todo lo que implican las relaciones sintácticas
entre las diversas proposiciones.

No obstante la sencillez del algoritmo, aparecen dos dificultades.

La gran cantidad de operaciones que hay que hacer para una proposición con más de 4 variables.

Esta dificultad ha sido magníficamente superada por la rapidez de los ordenadores, y no presenta dificultad alguna.

Que únicamente será aplicable a un esquema de inferencia, o argumento cuando la proposición condicionada, como conclusión, sea
previamente conocida, al menos como hipótesis, hasta comprobar que su tabla de verdad manifiesta una tautología.

Por ello se construye un cálculo mediante cadenas deductivas:

Las proposiciones que constituyen el antecedente del esquema de inferencia, se toman como premisas de un argumento.

Se establecen como reglas de cálculo algunas tautologías como tales leyes lógicas, (pues garantizan, por su carácter tautológico, el valor V).

Se permite la aplicación de dichas reglas como reglas de sustitución de fórmulas bien formadas en las relaciones que puedan establecerse
entre dichas premisas.

Deduciendo mediante su aplicación, como teoremas, todas las conclusiones posibles que haya contenidas en las premisas.

Cuando en un cálculo se establecen algunas leyes como principios o axiomas, el cálculo se dice que es axiomático.
 NÚMERO DE COMBINACIONES
• Partiendo de un número n de variables, cada una de las cuales puede tomar el valor verdadero: V, o
falso: F, por Combinatoria, podemos saber que el número total de combinaciones: Nc, que se pueden
presentar es:
Nc=2𝑛
el número de combinaciones que se pueden dar con n variable, cada una de las cuales puede tomar uno
entre dos valores lógicos es de dos elevado a n, esto es, el número de combinaciones: Nc, tiene crecimiento
exponencial respecto al número de variable n:
n NC
0 1
1 2
2 4
3 8
4 16
5 32
…. …
n 2𝑛
 EJERCICIO TABLA DE VERDAD
• Si tu hermana no pasa el examen, estarás en graves problemas.
• Como primer paso, identificamos las proposiciones atómicas y les asignamos una variable: P: Tu
hermana pasa el examen Q: Estarás en graves problemas
• De esta manera, podemos formalizar como (~P)⇒Q y construir su tabla de la siguiente manera:
• Se determina el número de combinaciones
22 = 4
Lo que significa que se empieza a distribuir las combinaciones para cada proposición es decir
para la primera proposición se determina dos valores verdaderos y dos falsos y para la segunda
proposición se determina un valor verdadero y uno falso.
• Se construye la tabla de verdad
Se determina la resolución del problema mediante la identificación del conector
principal en este caso es un condicional ⇒ que nos muestra la tabla que
despliegue los valores de verdad a continuación descrita:

P Q (~P)⇒Q
V V V
V F F
F V V
F F F
A partir de la resolución de la tabla de verdad se debe considerar las
siguientes notas:
1. Cuando los resultados el operador principal son verdaderos la resolución
muestra una tautología es decir = 1

2. Cuando los resultados el operador principal son falsos la resolución muestra

una contradicción es decir ≠ 1
3. Cuando los resultados el operador principal tiene por lo menos una verdad
y una falsa la resolución muestra una contingencia o consistencia es decir
>1<
EJERCICIOS DE APLICACIÓN

• 1. p ∧ q
• 2. (p ∧ q) ∧ r
• 3. ¬(p → ¬q) ∧ (p ∧ ¬q)
• 4. (p ∧ q) ∨ (p ∨ ¬q)
• 5. [ (¬p ∨ q) v (p ∧ q)] →[ (¬p ∨ q) v ¬p ]
 RESOLUCIÓN DE EJERCICIOS

1. 2. 3. 4.

• 5.
REFERENCIAS BIBLIOGRÁFICAS

• Bergmann, Merrie (2008). An Introduction to Many-Valued and Fuzzy Logic:

Semantics, Algebras, and Derivation Systems. Cambridge University Press. ISBN 978-
0-521-88128-9. Consultado el 24 de agosto de 2013., chapters 5-9
• Mundici, D. The C*-Algebras of Three-Valued Logic. Logic Colloquium ’88,
Proceedings of the Colloquium held in Padova 61–77 (1989). doi 10.1016/s0049-
237x(08)70262-3
• Calculador lógico proposicional:
http://lidis.usbcali.edu.co/Proyectos/matematicasDiscretas/2016-
1/grupo3/calcLogica.html