TAREA ACADÉMICA 3

ASIGNATURA:
Matemática discreta

DOCENTE:
Pedro Edgardo Valenzuela Felix

Integrante:
Wong Villanueva Leonardo Josué
U24243320

2025
Introducción:

El estudio de la lógica proposicional y las compuertas lógicas constituye un eje

central en las ciencias computacionales y electrónicas. A través de símbolos y
estructuras formales, la lógica proposicional permite representar, analizar y validar
argumentos complejos, ofreciendo una base teórica sólida para el desarrollo del
pensamiento lógico. Estos fundamentos no solo tienen valor académico, sino que
encuentran aplicaciones prácticas en la resolución de problemas reales dentro de
la programación, la inteligencia artificial y el diseño de circuitos digitales.

Por su parte, las compuertas lógicas representan la materialización física de estos

principios abstractos. Implementadas mediante componentes electrónicos, permiten
ejecutar operaciones como la conjunción, disyunción y negación directamente en
hardware. Esta relación entre teoría y práctica se evidencia con claridad en los
circuitos aritméticos utilizados en microprocesadores, calculadoras y sistemas
embebidos, donde cada decisión computacional obedece a reglas lógicas precisas.

En este trabajo se desarrolla un análisis integral de la lógica proposicional —desde

su estructura simbólica hasta su aplicación mediante compuertas lógicas—,
incluyendo ejercicios, demostraciones y una aplicación técnica. Se busca con ello
mostrar cómo las matemáticas discretas, lejos de ser un ejercicio teórico aislado,
son la base operativa de la tecnología que usamos a diario.

Parte A: Definición de lógica proposicional

a) Resumen:

La lógica proposicional es una rama de la lógica formal que se enfoca en analizar

cómo se combinan y transforman enunciados simples (que pueden ser verdaderos
o falsos) para llegar a conclusiones razonadas. Su principal objetivo es facilitar la
evaluación de la validez de argumentos, proporcionando una estructura clara y
precisa para el pensamiento lógico.

Este tipo de lógica resulta especialmente útil para representar razonamientos

complejos de forma ordenada, ayudando a distinguir si una conclusión se deriva
correctamente de sus premisas.

Elementos esenciales de la lógica proposicional

En la lógica proposicional se trabaja con proposiciones, también llamadas
enunciados declarativos, los cuales solo pueden tener uno de dos valores de
verdad: verdadero (V) o falso (F). A partir de estas proposiciones básicas se pueden
construir expresiones lógicas más elaboradas utilizando conectores lógicos.

 Variables proposicionales: Son letras (como p, q, r, etc.) que representan

proposiciones cuyos valores de verdad pueden cambiar.
 Conectores lógicos: También conocidos como operadores lógicos, son
símbolos que permiten unir o modificar proposiciones. Entre los principales
se encuentran:
o ¬ (Negación): Invierte el valor de verdad de una proposición.
o ∧ (Conjunción): La proposición compuesta es verdadera solo si
ambas partes lo son.
o ∨ (Disyunción): Es verdadera cuando al menos una de las
proposiciones lo es.
o → (Condicional): Es falsa solo cuando la primera proposición es
verdadera y la segunda falsa.
o ↔ (Bicondicional): Es verdadera si ambas proposiciones tienen el
mismo valor de verdad.

Estas herramientas permiten formar fórmulas lógicas, que no son más que
combinaciones simbólicas que representan relaciones complejas entre
proposiciones. Para analizar estas combinaciones, se utilizan las tablas de verdad,
que muestran todos los posibles valores de verdad que puede tomar una expresión
compuesta, dependiendo de las combinaciones de sus componentes simples.

Reglas de inferencia

Las reglas de inferencia son principios fundamentales del razonamiento lógico que
permiten derivar conclusiones a partir de ciertas premisas. Son clave para construir
argumentos sólidos y asegurar que las deducciones realizadas sean válidas.

Algunas de las reglas más utilizadas son:

 Modus Ponens: Si sabemos que “si p entonces q” (p → q), y además que p

es verdadero, entonces podemos concluir que q también lo es.
 Modus Tollens: Si “si p entonces q” es verdadero y q resulta ser falso,
entonces p también debe ser falso.
 Silogismo Hipotético: Si se sabe que “si p entonces q” y además “si q
entonces r”, entonces puede concluirse que “si p entonces r”.

Estas reglas tienen aplicaciones en múltiples contextos, desde el razonamiento

lógico puro hasta áreas aplicadas como el análisis financiero, la informática o el
derecho, donde es común deducir consecuencias a partir de condiciones o
normativas específicas.
b) Ejercicios:
i) Determinación de la validez de proposiciones compuestas
Preposición 1:

(p ∧ q) → p

Respuesta: La proposición resulta verdadera en todas las situaciones posibles, por

lo que se considera una tautología. Esto significa que es válida desde el punto de
vista lógico.

Preposición 2:

(p ∨ r) ∧ (¬p ∧ r)
Respuesta: La proposición no es siempre verdadera ni siempre falsa. Por ello, se
clasifica como una contingencia, pues su veracidad depende de los valores
asignados a las variables

ii) Identificación de tautologías y contradicciones en preposiciones

compuestas
Tautología:
¬ (p ∧ ¬p)

Respuesta: El valor de verdad de la proposición es verdadero en todos los casos,

lo que indica que se trata de una tautología, ya que es siempre verdadera sin
depender de los valores que tome la variable p.

Contradicción:
(p → q) ∧ (p ∧ ¬q)
Respuesta: La proposición es falsa en todos los casos. Por lo tanto, se trata de una
contradicción, ya que no hay situación en la que sea verdadera.

iii) Demostración formal de la validez de un argumento lógico utilizando

reglas de inferencia

Argumento 1:

1) p ∨ q

2) ¬p

∴q

Paso 1:
Aplicamos la regla de Silogismo Disyuntivo, dado que “p ∨ q” es verdadero y “p” es
falso (¬p), entonces “q” debe ser verdadero.

Respuesta:
q

Argumento 2:

1) ¬r → ¬q

2) ¬q → ¬p

3) ¬r

∴ ¬p
Paso 1:
De “1)” y “3)” se aplicó Modus Ponens, si “¬r → ¬q” y “¬r” es verdadero, entonces
“¬q” es verdadero.

Paso 2:
Y de “2)” se aplicó aplicamos nuevamente Modus Ponens, si “¬q→ ¬p” y “¬q” es
verdadero, entonces “¬p” es verdadero.

Respuesta:
¬p

iv) Demostración formal de la validez de un argumento lógico utilizando

reglas de inferencia

Justificación del argumento 1:

El argumento aplica la regla del Silogismo Disyuntivo, que establece que, si una
disyunción es verdadera y uno de los disyuntos es falso, el otro debe ser verdadero.
En este caso, se deduce q a partir de las premisas dadas, por lo tanto, el argumento
es válido.

Justificación del argumento 2:

El argumento emplea adecuadamente dos inferencias de tipo Modus Ponens,

enlazando proposiciones condicionales. Desde ¬r se deduce ¬q, y a partir de ¬q se
concluye ¬p. Esto confirma que la conclusión se sigue lógicamente de las premisas,
por lo tanto, el argumento es válido.

Parte B: Compuertas lógicas

a) Resumen y relación con la lógica:
Las compuertas lógicas son pequeños dispositivos electrónicos digitales que
realizan una función booleana con dos entradas y proporcionan una salida. En los
datos son los binarios, el valor lógico 1 es positivo y el 0 lógico es negativo. Según
la compuerta lógica, la operación lógica difiere y la salida varía. Cada compuerta
lógica sigue una tabla de verdad que da las posibles combinaciones de entrada y la
respectiva salida obtenida.

El funcionamiento de cada una de las compuertas lógicas se puede entender

fácilmente. Es idéntica a un interruptor de luz, de manera que se enciende cuando
la salida es 1 y se apaga si es 0. muchos dispositivos electrónicos tienen forma de
compuertas lógicas, y se utilizan junto con diodos, transistores y relés.
Ahora las 7 compuertas lógicas básicas:

1) Compuerta AND (Y)

Se puede incluir la compuerta AND en la lista de compuertas lógicas primarias
porque a partir de ella se pueden realizar algunas de las próximas compuertas
lógicas como la NAND. Realiza la multiplicación o la operación Punto (.) en las
entradas lógicas.
2) Compuerta OR (O)
La compuerta OR es una compuerta esencial a diferencia de la AND, ya que a partir
de ella se pueden realizar XOR y XNOR. La compuerta OR realiza una simple
operación de suma o "+" con las entradas.
3) Compuerta NOT (NO)
La compuerta NOT es la más sencilla de todas las compuertas lógicas. Realiza una
operación de inversión sobre la única entrada.
4) Compuerta NAND (NO Y)
La compuerta AND seguida de una compuerta NOT es el concepto real de la
compuerta lógica NAND, una de las compuertas universales. Cuando se invierte la
salida de la compuerta AND, la resultante es la salida obtenida en el otro terminal.
5) Compuerta NOR (NO O)
NOR es la combinación o inversión de la compuerta lógica OR y es también una
compuerta lógica universal. Cuando cualquiera de las entradas es verdadero, la
salida es falso o 0.
6) Compuerta XOR (O exclusiva)
La compuerta XOR también se conoce como compuerta NOR exclusiva. Cuando se
observa la tabla de verdad de XOR, se puede encontrar que, si una de las entradas
es verdad, el resultado es verdadero o 1.
7) Compuerta XNOR (NO O exclusiva)
La compuerta XNOR o NOR exclusiva basa su funcionamiento en la compuerta
NOR. Cuando hay una inversión en la puerta NOR, se obtiene la puerta XNOR. La
salida es justo lo contrario a la compuerta XOR.

La relación entre las compuertas lógicas y la lógica proposicional es directa y

fundamental, ya que las compuertas lógicas son la implementación física o
electrónica de los operadores lógicos que estudia la lógica proposicional.
Todo dispositivo electrónico moderno (desde un microprocesador hasta una
memoria RAM o un teléfono móvil) está construido sobre la base de compuertas
lógicas que responden a los principios de la lógica proposicional.

b) Aplicación práctica de las compuertas lógicas en el campo de la

informática y/o electrónica

Los circuitos aritmeticos

Los circuitos aritméticos son componentes digitales fundamentales que se encargan
de realizar operaciones numéricas en formato binario, como suma, resta,
multiplicación, división y comparaciones. Estos circuitos forman parte del núcleo
lógico de dispositivos como microprocesadores, calculadoras y sistemas
embebidos, ya que permiten procesar datos binarios de forma rápida y eficiente.
Uno de los ejemplos más simples y representativos es el semisumador (half-adder),
que puede sumar dos bits y generar dos salidas: el resultado de la suma y el bit de
acarreo. A partir de la combinación de dos semisumadores se construye el sumador
completo (full-adder), que además permite propagar el acarreo entre bits
consecutivos, facilitando así la suma de números binarios más grandes.

El diseño de circuitos aritméticos se fundamenta directamente en los operadores de

la lógica proposicional, implementados físicamente por compuertas lógicas:
  Semisumador:
o Sumador (S) = A ⊕ B, implementado con una compuerta XOR
o Acarreo (C) = A ∧ B, implementado con una compuerta AND

 Sumador completo:
Usa dos semisumadores y una compuerta OR para combinar los acarreos
intermedios:
o S = A ⊕ B ⊕ Cin
o Cout = (A ∧ B) ∨ (Cin ∧ (A ⊕ B))
En estructuras más grandes, como los sumadores en cascada, los acarreos se
propagan bit a bit, mostrando cómo la lógica proposicional (tablas de verdad,
operadores lógicos, equivalencias) influye directamente en el diseño del circuito
Más allá de sumadores, los circuitos aritméticos complejos incluyen multiplexores,
decodificadores, y se integran dentro de la Unidad Aritmético-Lógica (ALU), un
circuito combinacional capaz de ejecutar múltiples operaciones basadas en un
código de control
Por lo tanto, el vínculo con la lógica proposicional es directo: lo que estudiamos
simbólicamente (∧, ∨, ¬, ⊕) se materializa en electrónica a través de compuertas
que ejecutan esas mismas funciones. Esta transformación no es meramente
conceptual, sino que se implementa en dispositivos reales mediante circuitos
aritméticos que operan con señales binarias.
Un ejemplo de ello son los microprocesadores modernos, donde se encuentra la
Unidad Aritmético-Lógica (ALU). Esta unidad se apoya en redes de compuertas para
realizar desde simples sumas hasta operaciones lógicas complejas. Cada operación
binaria, ya sea una suma, una comparación o una decisión condicional, se ejecuta
gracias a combinaciones precisas de compuertas como AND, OR, XOR y NOT.
Estas se organizan en estructuras como bit-slices, permitiendo un procesamiento
paralelo eficiente. Tal como detallan los apuntes de la Universidad de Huelva (López
Ahumada, 2005), estos sistemas forman arquitecturas combinacionales que
responden en tiempo real, obedeciendo reglas idénticas a las inferencias de la
lógica formal.
De forma similar, dispositivos como calculadoras electrónicas y microcontroladores
embebidos también se benefician de esta lógica embebida en hardware. Gracias a
su simplicidad, los circuitos construidos con compuertas lógicas pueden ejecutar
cálculos inmediatos, almacenar información temporal o activar funciones
específicas basadas en condiciones lógicas. En sistemas de bajo consumo, como
relojes digitales o sensores automáticos, esta eficiencia es crucial: la lógica
proposicional ya no es solo teoría, sino un lenguaje físico que hace funcionar el
mundo digital.
Conclusiones:
- El análisis de la lógica proposicional permite estructurar el pensamiento de forma
precisa y rigurosa, lo cual es indispensable en la validación de argumentos tanto en
contextos teóricos como prácticos. Su lenguaje simbólico y reglas de inferencia son
herramientas clave en la toma de decisiones dentro del diseño de software,
algoritmos y modelos computacionales.
- La implementación física de la lógica proposicional mediante compuertas lógicas
demuestra cómo conceptos abstractos se traducen en tecnología funcional. Esta
conexión entre lo simbólico y lo electrónico es evidente en los circuitos aritméticos,
donde operaciones básicas como sumas y comparaciones se realizan mediante
estructuras basadas en lógica binaria.
- La comprensión de estos principios fortalece la capacidad de los estudiantes y
profesionales para abordar desafíos del ámbito tecnológico con mayor precisión,
eficiencia y creatividad. La lógica, en sus distintas formas, no solo sustenta el diseño
de sistemas seguros y confiables, sino que también impulsa la innovación en un
entorno digital en permanente evolución.

Fuentes Bibliográficas:
- Billin. (2024, 9 de julio). ¿Qué es lógica proposicional? Ejemplo - Glosario Billin.

[Link]

- EdrawSoft. (s.f.). Qué es una compuerta lógica - Guía para principiantes.

[Link]

- López Ahumada, R. (2004–2005). Fundamentos de lógica: Tema 6 – Lógica

proposicional. Universidad de Huelva.

[Link]

- López Ahumada, R. (1997–1998). Circuitos aritméticos. Universidad de Huelva.

[Link]

.pdf