Lógica Matemática

1. Reseña histórica
El comienzo del tratamiento riguroso de la lógica se atribuye, en parte, a
Aristóteles, quien escribió un conjunto de obras de lógica, las cuales fueron
posteriormente recopiladas y desarrolladas por diferentes filósofos y científicos,
hasta la Edad Media. Esto se podría considerar como “la lógica antigua”.
La evolución de la lógica está ligada a la evolución intelectual del ser humano,
ya que como ciencia del razonamiento se puede afirmar que su historia
representa la historia misma del hombre. La lógica surge desde el momento en
que el hombre al enfrentarse a la naturaleza empieza a observar, experimentar,
deduce y razona.
2. Definición básica
La lógica matemática o lógica simbólica es un lenguaje matemático que abarca
las herramientas necesarias por medio de las cuales se puede afirmar o negar
un razonamiento matemático.
Es bien conocido que en matemáticas no hay ambigüedades. Dado un
argumento matemático, este es válido o simplemente no lo es. No puede ser
falso y verdadero al mismo tiempo.
3. Proposición
Una proposición es una afirmación que sin ningún tipo de ambigüedad se
puede decir si es verdadera o no.
Ejemplos:
 P “ 52 =35.”
 Q “En el año 1930 hubo un terremoto en Europa.”

4. Tipos de proposiciones
Proposiciones Simples: A una proposición que no posea ninguno de los
conectivos anteriores, se le llama proposición simple (o atómica).
Ejemplos:
 P “El 9 y el 27 son factores del 81.”
 Q “12x12=144”
Proposiciones Compuestas: son aquellas proposiciones que aparecen
mediadas por la presencia de alguna clase de conector.
Ejemplos:
 P “Puedo manejar un auto si tiene dirección hidráulica.”
 Q “Si x > 10, entonces 2x - 3 > 16. “
 5. Operadores lógicos
Son elementos que sirven de enlace entre las proposiciones, para formar otra,
denominada proposición molecular.
Conectivos lógicos más empleados son:

Negación
Es un elemento lógico que actúa independientemente de la proposición.
Se lee no p.
Palabras conectivas: no, no es cierto que, no es verdad que, nunca, carece de,
sin, etc.
Prefijos negativos: a, des, in, i.
REGLA. - La negación de una proposición verdadera es falsa. La negación de
una proposición falsa es verdadera.

Conjunción
Es la unión de dos o más proposiciones mediante el conectivo lógico “y”,
“pero”, “también”, “sin embargo”, “además”, etc.
Se lee p y q.
Palabras conectivas: y, aunque, pero, mas, también, sin embargo, además, etc.
REGLA. - Es verdadera la proposición conjuntiva únicamente cuando las dos
proposiciones son verdaderas (p y q), en cualquier otro caso es falsa.

Disyunción
Une proposiciones mediante el conectivo lógico “o”.
Se lee p o q.
Una, otra o ambas a la vez. (y/o)
REGLA. - Una proposición disyuntiva es verdadera cuando por lo menos uno
de sus componentes es verdadero. Es falsa sólo cuando todos sus
componentes son falsos (p o q).

Conjunción Negativa
Es la unión de dos o más proposiciones por “ni”.
Se lee ni p ni q.
Palabras conectivas:
Ni.... ni.....
No.... ni.....
REGLA. - El resultado es verdadero únicamente cuando las dos proposiciones
son falsas (ni p ni q), en cualquier otro caso es falsa

Disyunción Exclusiva
Es la unión de dos o más proposiciones mediante el conectivo lógico “o”.
Se lee o p o q, pero no ambos.
O una o la otra (NUNCA ambas juntas)
Palabras conectivas:
O ......... o .....
O bien .... o bien
.... a menos que ....
.... salvo que ......
REGLA. - Es verdadera la proposición cuando la primera proposición es
verdadera y la segunda es falsa o cuando la primera proposición es falsa y la
segunda verdadera.
Condicional
Viene a ser la combinación de dos proposiciones con “si… entonces”.
Se lee si p entonces q.
Palabras conectivas: Si ..p.. entonces ..q.. Si ..p.. , ..q.. Cuando
.......p............. , ......q.. Siempre ......p............. , ....q.. Es condición
suficiente..p..para que..q.. .........q........ sólo si ......p....... Es condición
necesaria...q..para que..p..
REGLA. - Una proposición condicional es falsa cuando la primera proposición
es verdadera y la segunda es falsa. Es verdadera en cualquiera de las otras
formas

Bicondicional
Es la unión de dos proposiciones por “si y sólo si”. Se lee p si y sólo si q.
Palabras conectivas: si y sólo si; cuando y sólo cuando; es equivalente a; es
condición suficiente y necesaria para; etc.
REGLA. - Una proposición bicondicional es verdadera cuando, o sus dos
componentes son verdaderos o sus dos componentes son falsos.

6. Tablas de verdad
Es una tabla que muestra el valor de verdad de una proposición compuesta,
para cada combinación de valores de verdad que se pueda asignar a sus
componentes.
Fundamentalmente, una tabla de verdad es un dispositivo para demostrar
ciertas propiedades lógicas y semánticas de enunciados del lenguaje natural o
de fórmulas del lenguaje del cálculo proposicional:
 Sin son tautológicas, contradictorias o contingentes
 Cuáles son sus condiciones de verdad
 Cuál es su rol inferencial, es decir, cuáles son sus conclusiones lógicas y
de qué otras proposiciones se siguen lógicamente.

7. Leyes del álgebra de proposiciones

Las leyes de las proporciones conforman la parte fundamental para demostrar
la equivalencia entre proposiciones o construir y simplificar funciones lógicas
(con propiedades determinadas) de manera consistente; más adelante se
utilizará para construir circuitos digitales óptimos a partir del álgebra booleana.
Sean p, q, r proposiciones cualesquiera, entre otras leyes se tienen
básicamente las siguientes:
 8. Demostración y simplificación de proposiciones
Simplificación
La simplificación de una proposición, o dicho de otra manera, la simplificación
de una expresión lógica consiste en reducir la expresión lógica a una forma
más simple mediante el uso de los axiomas y/o leyes lógicas.
La simplificación consiste en ir desarrollando la expresión paso a paso
mediante la sustitución en cada paso de una expresión lógica equivalente a la
anterior, hasta llegar a una expresión lógica irreducible.
A través de la simplificación podemos también demostrar una equivalencia
lógica sin usar tablas de verdad.
Ejemplo:
[(p p)  q]  [~q  (r  q)]  [p  (p  ~q)] Recuerde Ubicar
la ley que utiliza
 [(~p  p)  q]  [~q  (r  q)]  [~p  (p  ~q)] Condicional
[(~p  p)  q]  [~q  (r  q)]  [(~p  p)  ~q] Asociativa
(V  q)  [~q  (r  q)]  (V  ~q) Forma Normal
V  [~q  (r  q)]  V Forma normal
V  V  [~q  (r  q)] Asociativa
V  [~q  (r  q)] Forma normal
~q  (r  q) Distributiva
(~q  r)  (~q  q) Elemento neutro
(~q  r)  V Forma normal
~q  r

Demostración
Una demostración o bien una prueba es un argumento deductivo para asegurar
la verdad de una proposición matemática.
Método de demostración directa
Aquí se tiene como hipótesis verdaderas las proposiciones P1, P2…,Pn
procediendo a la deducción de que la conclusión Q es verdadera a través de un
proceso lógico deductivo, es decir como una cadena de implicaciones lógicas.
El esquema de demostración en el método directo es de la forma: P1 ∧ P2 ∧ …
∧ Pn → Q
El método de demostración directo tiene como fundamento lógico la regla de
inferencia clásica o esquema argumentativo válido llamado ModusPonens: [ P∧
(P→Q) ] →Q que significa: si la hipótesis P es verdadera y la hipótesis P
implica la conclusión Q entonces la conclusión Q es verdadera.
Métodos de demostración indirectos
 Método de demostración por contrapositiva
Tiene como fundamento la equivalencia lógica entre las proposiciones P→Q y
~Q→~P
Para realizar una demostración por contrapositiva se toma como hipótesis la
negación de la conclusión escrita como ~Q para obtener como conclusión la
negación de la hipótesis escrita como ~P, ello se puede generalizar para el
caso que se tengan varias premisas.
 Método de demostración por reducción al absurdo
Se atribuye al filósofo griego Zenón de Elea, alrededor del siglo V a.C., la
invención del método de reducción al absurdo que utilizaba en sus argumentos
y en sus famosas paradojas, desde entonces es un método ampliamente
aplicado en matemáticas.
El procedimiento general para demostrar indirectamente por reducción al
absurdo una proposición de la forma (P1∧P2∧…∧Pn ) → Q consiste en:1)
Asumimos que la condicional es falsa luego las proposiciones P1, P2,…, Pn
y~Q son verdaderas2) De lo anterior debemos llegar a una contradicción, por lo
que la condicional tiene que ser verdadera. Aristóteles fundamento lógicamente
la demostración por reducción al absurdo en dos principios: principio de no
contradicción ~(p∧~p) considerada ley suprema de la lógica según Kant y
Aristóteles, que significa que una proposición no es verdadera y falsa
simultáneamente y el principio del tercero excluido (p∨~p) que significa que una
proposición es verdadera o falsa.
12. Si no son aceptados los principios anteriores, el método de reducción al
absurdo carece de fundamento lógico.

9. Cuantificadores
Los cuantificadores son símbolos utilizados para indicar cuántos o qué tipo de
elementos de un conjunto dado cumplen con cierta propiedad (por ejemplo,
pertenencia, equivalencia u orden). Existen muchos tipos de cuantificadores,
entre los más utilizados están:
Cuantificadores universales
El cuantificador universal se utiliza para afirmar que todos los elementos de un
conjunto cumplen con una determinada propiedad. Por ejemplo:

Para todo x perteneciente a A, se cumple P(x).

Esta afirmación suele usarse como la equivalente de la proposición siguiente:

Se define el conjunto A, como el de los elementos x de U, que cumplen P(x).

Cuantificador existencial
El cuantificador existencial se usa para indicar que hay uno o más elementos
en el conjunto A (no necesariamente único/s) que cumplen una determinada
propiedad. Se escribe:

Existe x en A que cumple P(x).

Esta proposición suele interpretarse como la equivalente de la proposición
siguiente:

El conjunto de los elementos x de A, que cumplen P(x) es distinto del conjunto

vacío.
Cuantificador existencial única
El cuantificador existencial con marca de unicidad se usa para indicar que hay
un único elemento de un conjunto A que cumple una determinada propiedad.
Se escribe:

Se lee:
Existe una única x elementos de A, que cumple P(x).

10. Circuitos lógicos

Entre algunas aplicaciones de la lógica aparece la construcción de circuitos
lógicos en la Electrónica y al Cibernética. Para cualquier fórmula proposicional
podemos construir un circuito eléctrico basándose en 3 conectores u
operadores: (∧, ∨, ~). Los circuitos eléctricos están formados por
conmutadores o interruptores que son los órganos que impiden o dejan pasar
la corriente eléctrica.

Los interruptores también llamados conmutadores son los elementos que

participan en la instalación eléctrica: son de dos tipos:
• Conmutador cerrado: permite el paso de la corriente eléctrica y equivale a un
dato verdadero que numéricamente toma el valor de 1.
• Conmutador abierto: impide el paso de la corriente y equivale a un dato falso
que numéricamente toma el valor de 0.

TIPOS DE CIRCUITOS

• Circuito en serie: constan de dos o más interruptores, donde un interruptor

esta a continuación de otro y así sucesivamente, el grafico de un circuito en
serie es la representación de una formula proposicional conjuntiva, cuya
expresión mas simple es “p∧q”
Se representa:

• Circuito en Paralelo:consta de dos o más interruptores, donde un interruptor

está sobre otro o en la otra línea y así sucesivamente. El grafico de un circuito
en paralelo es la representación de la fórmula proposicional disyuntiva, cuya
expresión mas simple es: “p∨q”.
Se representa:

Ejemplo:

CIRCUITOS CON COMPUERTAS LÓGICAS

Las compuertas lógicas, son los distintos dispositivos que resumen la

interconexión de conmutadores para procesar las leyes lógicas y ejecutar
cálculos.
Las Compuertas lógicas son bloques de circuitos que producen señales de
salida cuyas entradas solo pueden tomar dos niveles distintos de tensión (1 =
verdadero, 0 = falso)
Esta teoría es la que permite el diseño de las computadoras y utilizaremos el
sistema ASA para representar circuitos lógicos mediante compuertas. Las
operaciones o funciones lógicas que participan en el diseño de compuertas son
solo tres: La negación, la conjunción (incluyente o excluyente). Las demás
formulas proposicionales son representadas mediante sus equivalencias, y las
entradas dependen del número de variables que participan en la formula
directa a diseñar.
Bibliografía
Discretas, M. (23 de Noviembre de 2017). Medium Corporation. Obtenido de Medium
Corporation: https://medium.com/@matematicasdiscretaslibro/6-logica-de-
cuantificadores-d453d859dd20

EcuRed. (17 de Mayo de 2012). EcuRed. Obtenido de EcuRed:

https://www.ecured.cu/Tablas_de_la_verdad

lgicaepn. (25 de Diciembre de 2011). Lógica Matemática. Obtenido de Blogspot:

http://lgicaepn.blogspot.com/2011/12/logica-matematica.html

Tapia, W. (26 de Junio de 2012). SlideShare. Obtenido de SlideShare:

https://es.slideshare.net/filosofico/mtodos-de-demostracin-en-matemtica

Torres, V. J. (15 de Marzo de 2016). Lifeder. Obtenido de Lifeder:

https://www.lifeder.com/logica-matematica/