Republica Bolivariana de Venezuela

Ministerio Del Poder Popular Para La Educación Universitaria

Universidad Pedagógica Experimental Libertador
Instituto Pedagógico Rural El Mácaro "Luis Fermín"

LOGICA DE MATEMATICA

Prof.: Autor:
Jose Chirinos Diego Ojeda
V-.27.820.985

Mayo del 2025

Introduccion

Una tabla de verdad es una herramienta fundamental en lógica que analiza sistemáticamente
todas las posibles combinaciones de verdad o falsedad de proposiciones simples para determinar
el valor de verdad de una proposición compuesta, imagina que cada afirmación puede ser
verdadera (V) o falsa (F). La tabla enumera cada posible asignación de V o F a las proposiciones
individuales y, a partir de eso, muestra si la proposición más compleja resultante es verdadera o
[Link] tienes n proposiciones simples, la tabla tendrá 2n filas, cubriendo cada escenario posible.
Por ejemplo, para dos proposiciones (P y Q), habría 22=4 filas: (V, V), (V, F), (F, V) y (F, F).
Utilizando conectores lógicos como "y" (∧), "o" (∨), "no" (¬), "si... entonces..." (→) o "si y solo
si" (↔), la tabla revela el valor de verdad final de la proposición compuesta para cada
combinación. La utilidad de las tablas de verdad es amplia: permiten analizar la validez de
argumentos lógicos, comprender a fondo cómo funcionan los conectores lógicos, simplificar
expresiones complejas e incluso son cruciales en el diseño de circuitos digitales. Respecto a su
origen, aunque el concepto de analizar la verdad de las proposiciones se remonta a la lógica
antigua, la tabla de verdad moderna fue desarrollada por Charles Sanders Peirce alrededor de
1880. No obstante, Ludwig Wittgenstein la popularizó y consolidó en su obra "Tractatus Logico
Philosophicus" (1921), dándole el formato claro y conciso que usamos hoy.

El trabajo previo de George Boole con su álgebra booleana (mediados del siglo XIX) también
fue esencial, sentando las bases para la lógica matemática que hizo posible el desarrollo de estas
tablas. Aunque no se le atribuye la invención de la tabla de verdad como herramienta visual
(mérito de Peirce y Wittgenstein), el matemático y lógico británico Augustus De Morgan (1806-
1871) es una figura fundamental en la lógica matemática y, por extensión, en la programación.
Sus contribuciones más célebres son las Leyes de De Morgan, estas leyes que rigen la
transformación de proposiciones lógicas, establecen cómo la negación de una conjunción es
equivalente a la disyunción de las negaciones, y viceversa. Por ejemplo: "NO (A Y B)" es igual a
"(NO A) O (NO B)". Estas leyes son pilares del álgebra booleana, la base teórica de las
computadoras. En la programación, las Leyes de De Morgan son esenciales para simplificar
expresiones lógicas complejas, hacer el código más legible y optimizar su rendimiento. Su
trabajo, aunque previo a la era digital, sentó bases cruciales que hoy son indispensables en
cualquier lenguaje de programación.
Conceptos Fundamentales de Lógica
Una proposición se define como una oración declarativa que puede ser calificada como verdadera (V) o
falsa (F). No se consideran proposiciones las preguntas, las órdenes o las exclamaciones, ya que de ellas
no se puede predicar su veracidad o falsedad. Es crucial entender que la proposición reside en el
significado de la oración declarativa, más que en las palabras específicas utilizadas para expresarla.
Diferentes oraciones pueden tener el mismo significado y, por lo tanto, representar la misma proposición.
Esta distinción es fundamental para comprender las equivalencias lógicas y cómo diferentes enunciados
pueden tener el mismo valor de verdad.
Las proposiciones pueden clasificarse en simples (o atómicas) y compuestas (o moleculares). Las
proposiciones compuestas se forman combinando proposiciones simples mediante el uso de conectivos
lógicos. Comprender esta distinción es fundamental para analizar la estructura de los argumentos lógicos
y descomponer enunciados complejos en sus componentes básicos. Identificar los elementos constitutivos
de las afirmaciones lógicas permite un análisis sistemático de sus valores de verdad, basado en los valores
de verdad de sus proposiciones simples y las reglas que rigen los conectivos.

Conectivos y Operaciones Lógicas

La negación: (¬ o ~) es un conectivo unario que actúa sobre una única proposición, invirtiendo su valor
de verdad.7 Si una proposición 'p' es verdadera, su negación '¬p' es falsa, y viceversa. La tabla de verdad
para la negación se presenta a continuación:
p ¬p
V F
F V

La conjunción: (∧ o.) es un conectivo binario que combina dos proposiciones, 'p' y 'q'. La proposición
compuesta 'p ∧q' (leída como "p y q") es verdadera únicamente si ambas proposiciones componentes, 'p'
y 'q', son verdaderas. En cualquier otro caso (si una o ambas son falsas), la conjunción es falsa. La tabla
de verdad para la conjunción es:
p q p ∧q
V V V
V F F
F V F
F F F

La disyunción: (∨ o +) es otro conectivo binario que combina dos proposiciones, 'p' y 'q'. La proposición
compuesta 'p ∨q' (leída como "p o q") es verdadera si al menos una de las proposiciones componentes, 'p'
o 'q', es verdadera (disyunción inclusiva). Solo es falsa cuando ambas proposiciones son falsas. La tabla
de verdad para la disyunción inclusiva es:
p q p ∨q
V V V
V F V
F V V
F F F
La implicación o condicional (⇒o →) combina dos proposiciones, 'p' (antecedente) y 'q' (consecuente),
formando la proposición compuesta 'p ⇒q' (leída como "si p, entonces q" o "p implica q"). Esta
proposición es falsa únicamente cuando el antecedente 'p' es verdadero y el consecuente 'q' es falso. En
todos los demás casos, la implicación es verdadera. La tabla de verdad para la implicación es:
p q p ⇒q
V V V
V F F
F V V
F F V

La doble implicación o bicondicional (⇔ o ↔) combina dos proposiciones, 'p' y 'q', formando la

proposición compuesta 'p ⇔q' (leída como "p si y solo si q"). Esta proposición es verdadera solo cuando
'p' y 'q' tienen el mismo valor de verdad, es decir, ambas son verdaderas o ambas son falsas. Es falsa
cuando tienen valores de verdad diferentes. El bicondicional es equivalente a la conjunción de la
implicación y su recíproca: (p ⇒q) ∧(q ⇒p). Su tabla de verdad es:
p q p ⇔q
V V V
V F F
F V F
F F V

La diferencia simétrica o disyunción exclusiva (⊕ o Δ . ) combina dos proposiciones, 'p' y 'q', formando
la proposición compuesta 'p ⊕ q' (leída como "p o q, pero no ambas"). Es verdadera cuando exactamente
una de las proposiciones, 'p' o 'q', es verdadera. Es falsa si ambas son verdaderas o ambas son falsas. La
diferencia simétrica es equivalente a la negación del bicondicional: ¬(p ⇔q). Su tabla de verdad es:
p q p⊕q
V V F
V F V
F V V
F F F

Condiciones Necesarias y Suficientes

En una implicación verdadera 'p ⇒q', se dice que 'p' es una condición suficiente para 'q', ya que la verdad
de 'p' garantiza la verdad de 'q'. 7 Por otro lado, se dice que 'q' es una condición necesaria para 'p', ya que
si 'q' es falsa, entonces 'p' también debe ser falsa (o, equivalentemente, para que 'p' sea verdadera, 'q' debe
serlo).7 Por ejemplo, "Ser un cuadrado es una condición suficiente para ser un rectángulo", y "Ser un
rectángulo es una condición necesaria para ser un cuadrado". La doble implicación 'p ⇔q' establece que
'p' es tanto una condición necesaria como suficiente para 'q', y viceversa. Esto significa que 'p' es
verdadera si y solo si 'q' es verdadera.
Leyes Lógicas
Una tautología es una proposición compuesta que es siempre verdadera, sin importar los valores de
verdad de las proposiciones simples que la componen. Una contradicción, por el contrario, es una
proposición compuesta que es siempre falsa. Una contingencia es una proposición compuesta que puede
ser tanto verdadera como falsa, dependiendo de los valores de verdad de sus componentes. Reconocer
estas categorías es esencial para evaluar la validez de los enunciados y argumentos lógicos.
Existen varias leyes lógicas importantes que son tautologías y que permiten simplificar y manipular
expresiones lógicas.

Algunas de estas leyes incluyen:

● Doble Negación (Involución): p ⇔¬(¬p).
Negar una negación devuelve la proposición original.
● Leyes Conmutativas: (p ∧q) ⇔(q ∧p) y (p ∨q) ⇔(q ∨p).
El orden de las proposiciones en una conjunción o disyunción no afecta el resultado.
● Leyes Asociativas: ((p ∧q) ∧r) ⇔(p ∧(q ∧r)) y ((p ∨q) ∨r) ⇔(p ∨(q ∨r)).
La forma en que se agrupan las proposiciones en conjunciones o disyunciones múltiples no afecta
el resultado.
● Leyes Distributivas: (p ∧(q ∨r)) ⇔((p ∧q) ∨(p ∧r)) y (p ∨(q ∧r)) ⇔((p ∨q) ∧(p ∨r)).
Estas leyes muestran cómo la conjunción se distribuye sobre la disyunción y viceversa.
● Leyes de De Morgan: ¬(p ∧q) ⇔(¬p ∨¬q) y ¬(p ∨q) ⇔(¬p ∧¬q).
Estas leyes proporcionan una forma de expresar la negación de una conjunción como una
disyunción de negaciones, y viceversa.

Estas leyes lógicas son fundamentales para la manipulación y simplificación de expresiones lógicas, de
manera similar a las identidades algebraicas. Su comprensión es crucial para demostrar la validez de los
argumentos y derivar nuevas verdades lógicas.

Implicaciones y Razonamiento Deductivo

Dado un condicional directo (p ⇒ q), existen otras implicaciones relacionadas: el recíproco (q ⇒ p), el
contrario (¬p ⇒ ¬q) y el contrapositivo (¬q ⇒ ¬p). Es importante destacar que la implicación directa y
su contrapositivo son lógicamente equivalentes, al igual que el recíproco y el contrario. Esta equivalencia
entre la implicación directa y el contrapositivo es una herramienta valiosa en las demostraciones
matemáticas, ya que permite probar un enunciado demostrando su contrapositivo.
La negación de una implicación 'p ⇒q' es lógicamente equivalente a 'p ∧ ¬q'. Entender cómo negar una
implicación es crucial para la prueba por contradicción y para analizar las condiciones bajo las cuales una
implicación no se cumple.
El razonamiento deductivo es el proceso de obtener conclusiones a partir de un conjunto de premisas.
Un argumento se considera válido si, siempre que las premisas sean verdaderas, la conclusión también
debe ser verdadera. La validez es una propiedad de la forma del argumento, no necesariamente de la
verdad de su contenido. Las reglas de inferencia son esquemas de razonamiento válidos que permiten
deducir conclusiones a partir de premisas.
Algunas reglas de inferencia importantes son:
● Modus Ponens: Si se tiene 'p' y 'p ⇒q', se puede inferir 'q'.
● Modus Tollens: Si se tiene '¬q' y 'p ⇒q', se puede inferir '¬p'.
● Silogismo Hipotético: Si se tiene 'p ⇒q' y 'q ⇒r', se puede inferir 'p ⇒r'.
Estas reglas de inferencia proporcionan los pasos lógicos para construir argumentos y demostraciones
válidas en matemáticas.

Funciones Proposicionales y Cuantificación

Una función proposicional o predicado P(x) es un enunciado que contiene una variable 'x' y que se
convierte en una proposición cuando 'x' se sustituye por un valor específico de su dominio (universo de
discurso). Por ejemplo, "x es un número par". El cuantificador universal (∀) se utiliza para afirmar que
una función proposicional es verdadera para todos los elementos de su dominio. La expresión '∀x: P(x)' se
lee como "Para todo x, P(x) es verdadero". El cuantificador existencial (∃) se utiliza para afirmar que
una función proposicional es verdadera para al menos un elemento de su dominio. La expresión '∃x: P(x)'
se lee como "Existe al menos un x tal que P(x) es verdadero".
Existen reglas para negar proposiciones cuantificadas:
● ¬(∀x: P(x)) ⇔∃x: ¬P(x) (No es cierto que para todo x, P(x) es verdadero, si y solo si existe un x
para el cual P(x) es falso).
● ¬(∃x: P(x)) ⇔∀x: ¬P(x) (No es cierto que existe un x para el cual P(x) es verdadero, si y solo si
para todo x, P(x) es falso).
Estas reglas son fundamentales para trabajar con enunciados cuantificados en demostraciones y
argumentos lógicos.

Introducción a los Circuitos Lógicos

Los conectivos lógicos pueden representarse mediante circuitos electrónicos básicos. La negación
corresponde a una puerta NOT, la conjunción a una puerta AND (conexión en serie), y la disyunción a
una puerta OR (conexión en paralelo). También existen representaciones para la implicación, el
bicondicional y la disyunción exclusiva utilizando combinaciones de estas puertas básicas. Esta conexión
entre la lógica y los circuitos electrónicos ilustra el papel fundamental de la lógica en los sistemas
digitales.
Introducción a la Programación.

Aunque no son un lenguaje de programación en sí mismas, son el pilar lógico sobre el que se
construyen prácticamente todos los lenguajes de programación. Su esencia, la lógica booleana, es
fundamental para el funcionamiento de los programas.
Cada lenguaje de programación incluye un tipo de dato booleano (True/False o 1/0), reflejo
directo de los valores "verdadero" y "falso" de las tablas. Además, implementan operadores
lógicos clave:
• AND (&& o and): Verdadero si ambas condiciones son verdaderas.
• OR (|| o or): Verdadero si al menos una condición es verdadera.
• NOT (! o not): Invierte el valor de verdad.
Estos operadores, cuyo comportamiento se define precisamente por las tablas de verdad, son
esenciales para las estructuras de control de flujo. Las sentencias condicionales (if/else) y los
bucles (while, for) evalúan expresiones booleanas para decidir qué partes del código se ejecutan.
Por ejemplo, un if (condicion 1 AND condicion 2) solo procederá si ambas condiciones son
verdaderas, tal como dictaría una tabla de verdad para el operador AND.
La lógica de las tablas de verdad no solo se utiliza en la ejecución, sino también en el diseño y
depuración de algoritmos. Los programadores piensan en todas las posibles combinaciones de
entradas y sus resultados esperados, un proceso análogo a construir una tabla de verdad. Esto
ayuda a crear código robusto y a encontrar errores, es un fundamento universal en todos los
lenguajes de programación modernos. Es una parte intrínseca de cómo funcionan las
computadoras a un nivel muy básico y, por lo tanto, es indispensable en cualquier lenguaje que
se use para instruirlas.
Esto incluye lenguajes muy populares y diversos como:
• Python: Ampliamente utilizado en desarrollo web, ciencia de datos, inteligencia
artificial. Usa True, False, and, or, not.
• JavaScript: El lenguaje principal para el desarrollo front-end web, también usado en
back-end ([Link]). Usa true, false, &&, ||, !.
• Java: Un lenguaje robusto para aplicaciones empresariales, móviles (Android) y sistemas
grandes. Usa true, false, &&, ||, !.
• C#: De Microsoft, para aplicaciones Windows, desarrollo de juegos (Unity) y web
(.NET). Usa true, false, &&, ||, !.
• C++: Utilizado en sistemas operativos, desarrollo de juegos de alto rendimiento, software
embebido. Usa true, false, &&, ||, !.
• PHP: Predominantemente para desarrollo web back-end. Usa true, false, &&, ||, !.
• Ruby: Conocido por su framework web Ruby on Rails. Usa true, false, &&, ||, !.
• Go (Golang): De Google, para sistemas de red y microservicios. Usa true, false, &&, ||,
!.
• Swift: El lenguaje principal para el desarrollo de aplicaciones iOS/macOS de Apple. Usa
true, false, &&, ||, !.
Conclusión
El razonamiento matemático que se desarrollará a lo largo del texto. La comprensión de las
proposiciones, los conectivos lógicos, las tablas de verdad, las leyes lógicas, las reglas de inferencia y la
cuantificación es fundamental para abordar los conceptos algebraicos más complejos en capítulos
posteriores. Este capítulo proporciona el lenguaje y las reglas de la deducción lógica que se utilizarán en
todo el estudio del álgebra. Un dominio sólido de estos conceptos fundacionales es crucial para el éxito en
el resto del curso.

Tabla de Conectivos Lógicos

Conectivo Símbolo(s) Significado
Negación ¬, ~ no p, no es cierto que p
Conjunción ∧,. pyq
Disyunción (Inclusiva) ∨, + p o q (o ambas)
Implicación ⇒, → si p, entonces q
Bicondicional ⇔, ↔ p si y solo si q
Disyunción Exclusiva ⊕, Δ. p o q, pero no ambas

Tabla de Tablas de Verdad para Conectivos Lógicos

p q ¬p p ∧q p ∨q p ⇒q p ⇔q p ⊕q
V V F V V V V F
V F F F V F F V
F V V F V V F V
F F V F F V V F

Tabla de Equivalencias Lógicas Importantes (Leyes)

Ley Equivalencia
Doble Negación p ⇔¬(¬p)
Conmutativa (∧) (p ∧q) ⇔(q ∧p)
Conmutativa (∨) (p ∨q) ⇔(q ∨p)
Asociativa (∧) ((p ∧q) ∧r) ⇔(p ∧(q ∧r))
Asociativa (∨) ((p ∨q) ∨r) ⇔(p ∨(q ∨r))
Distributiva (∧ sobre ∨) (p ∧(q ∨r)) ⇔((p ∧q) ∨(p ∧r))
Distributiva (∨ sobre ∧) (p ∨(q ∧r)) ⇔((p ∨q) ∧(p ∨r))
De Morgan (1) ¬(p ∧q) ⇔(¬p ∨¬q)
De Morgan (2) ¬(p ∨q) ⇔(¬p ∧¬q)
Bibliografia

1. álgebra I - [Link], fecha de acceso: mayo 12, 2025,

[Link]
[Link]
2. Álgebra 1, 18 Ed - Armando Rojo | PDF | Proposición | Consecuencia Lógica - Scribd,
fecha de acceso: mayo 12, 2025, [Link]
18%C2%AA-Ed-Armando-Rojo
3. Álgebra I / Armando O. Rojo - Biblioteca UTN FRCH Koha, fecha de acceso: mayo 12,
2025, [Link]
biblionumber=2&shelfbrowse_itemnumber=2
4. álgebra I - Surcos Sistemas web, fecha de acceso: mayo 12, 2025,
[Link]
%[Link]
5. [Link], fecha de acceso: mayo 12, 2025,
[Link]
6. Resolución Decanato FCEyN N° 700 / 2024 Santa Rosa, 26/12/2024, fecha de acceso:
mayo 12, 2025, [Link]
[Link]
7. Algebra I Armando Rojo Rotated | PDF - Scribd, fecha de acceso: mayo 12, 2025,
[Link]
8. Libro de algebra I Armando Rojo | PPT - SlideShare, fecha de acceso: mayo 12, 2025,
[Link]
9. ALGEBRA I - Rojo - CP 1 y 2 | PDF | Verdad lógica | Razonamiento ..., fecha de acceso:
mayo 12, 2025, [Link]