INTRODUCCIÓN A LA LOGICA (Revision.2016-1)

UNIVERSIDAD DE SAN BUENAVENTURA - CALI
PROGRAMA DE INGENIERIA DE SISTEMAS
LÓGICA
TEMA: INTRODUCCIÓN A LA LÓGICA
Profesor: Walter G. Magaña S.
CAPÍTULO 1
INTRODUCCIÓN A LA LÓGICA
Objetivos:
1. Utilizar y manejar las leyes y la simbología de los operadores de la

lógica matemática en la simbolización de argumentos y enunciados.
2. Determinar el valor de verdad de una fórmula y/o estructura

aplicando las reglas del cálculo de la lógica proposicional.
La lógica es un área del conocimiento matemático importante en la

construcción de estructuras mentales, conducentes a la adquisición de un
pensamiento lógico-formal, el cual es la base para entender y realizar los
procesos algorítmicos en cualquier lenguaje de programación.
En la siguiente unidad se construirán los fundamentos de la lógica a

partir del lenguaje, hasta culminar con la determinación del valor de
verdad de fórmulas y estructuras más elaboradas del cálculo
proposicional.
1.1. PROPOSICIONES
El hombre ha hecho uso del lenguaje para comunicarse entre sí; usa
conjuntos de palabras del idioma que organizadas “coherentemente” en un
contexto determinado transmiten una idea. Sin embargo, en el lenguaje
común una misma agrupación de palabras puede tener diversas
interpretaciones. Por ejemplo, de la forma o sentido como se expresen: !
Cómo amaneció!, o bien ¿Cómo amaneció?.
También de significado, que depende de la situación, por ejemplo:

¡Haga el ejercicio!, puede significar: que realice un ejercicio indicado, que
termine un ejercicio o que siga las instrucciones de un ejercicio físico
indicado. Sin embargo en la Lógica simbólica un enunciado del lenguaje
tiene un significado bien preciso y se llama proposición.
DEFINICIÓN. Proposición.
Una proposición es un enunciado al que se le puede asignar un valor
de verdad que puede ser verdadero o falso, pero no ambos.
Ejemplo: Los siguientes enunciados son proposiciones:

1. 22 + 45 = 67
2. La naranja es un cítrico.
3. Java es un lenguaje de máquina.
4. El trapecio es un paralelogramo.
5. Gabriel García Márquez es un escritor.
Estas son proposiciones porque enuncian o dicen algo que puede ser
verdadero (V) o falso (F). Así en el ejemplo se tiene que las proposiciones 1,
2 y 5 son verdaderas, mientras que las proposiciones 3 y 4 son falsas.
El valor de verdad de una proposición es verdadero, y se denota por

V, si la proposición es verdadera, o falso, y se denota por F, si la
proposición es falsa.
Las preguntas, los ruegos, los mandatos, las exclamaciones o las

conjeturas, aunque son enunciados, no son en sí ni verdaderas ni falsas.
Se considera que las oraciones declarativas o enunciativas son las
entidades gramaticales a las cuales se les puede asignar cualquiera de los
dos valores de estado: verdadero o falso; es decir sólo afirman o niegan
algo.
Ejemplo: Los siguientes enunciados no son proposiciones, porque no es

posible asignarles un valor de verdad, esto es, verdadero o falso:
Walter G. Magaña S. 2
1. ¿Cuál es su nombre?
2. ¡Buen día!
3. No todo lo que brilla es oro.
4. Un cuadrado es mayor que un círculo.
5. x2  9  0
6. Mañana lloverá.
No obstante, el enunciado “a + 3 = b” no es una proposición, ya que

no es ni verdadera ni falsa; ésta depende de los valores las variables a y b.
En la lógica proposicional se identifican dos tipos de proposiciones:

las simples o atómicas y las compuestas o moleculares. Las
proposiciones simples o atómicas son oraciones declarativas, las cuales
en general contienen un sujeto perfectamente definido dado por el
contexto, un predicado y una inflexión del verbo ser; es decir se le adjudica
cierta cualidad al sujeto. Por lo tanto, no se componen de más
proposiciones simples y carecen de enlaces o conectivos.
Ejemplo: Son ejemplos de proposiciones simples o atómicas las siguientes:

1. La física es una ciencia experimental. (V)
2. El conjunto de divisores enteros de 5 es {1, – 1, 5, –5}. (V)
3. Todos los rectángulos son cuadrados. (F)
Las proposiciones simples se representan usualmente con las letras

minúsculas p, q, r, s, t,. . ., que se denominan variables
proposicionales. Aunque algunos matemáticos prefieren usar letras
mayúsculas para representar las proposiciones. En lo sucesivo en este
documento se utilizarán letras minúsculas para denotar las proposiciones
simples.
Se pueden combinar y enlazar dos o más proposiciones simples

usando ciertos conectores bien definidos, tales como “y”, “o”, “si. . .
entonces. . .”, “a menos que”, “pero”, “ni. . . ni...”, “. . . si y sólo si. . .” entre
otros; que actúan como operadores llamados enlaces o conectivos
lógicos, considerados operadores binarios, porque involucran al menos
dos proposiciones. También se emplea “no” que aunque no opera de
manera estricta sobre dos proposiciones, si actúa sobre una sola; por tal
rezón se le considera un operador unario.
Las proposiciones compuestas o moleculares se forman por la

combinación de proposiciones simples con los operadores o conectivos
lógicos.
Ejemplo ilustrativo: Son ejemplos de proposiciones compuestas o
moleculares las siguientes:
1. El Sol es una estrella si y solo si tiene luz propia.
2. El 2 es un entero par y es primo.
3. No es cierto que el cero no es múltiplo de todo entero.
4. 12 es múltiplo de – 2 o es un entero compuesto.
El valor de verdad de una proposición compuesta es verdadero (V) o

falso (F) y depende solamente de los valores de verdad de sus
proposiciones simples o atómicas componentes. Se determina empleando
la regla de conexión de dichas partes por medio de los enlaces o conectivos
lógicos (operadores) que a continuación se definirán.
EJERCICIOS 1.1
1. De acuerdo con la definición, determinar cuáles de las siguientes

expresiones son proposiciones:
A. ¡Qué hermoso es el mundo!
B. Juan debe estudiar a menos que quiera perder el semestre.
C. La división entre cero no está definida.
D. ¿Está difícil el examen?
E. Si este año es bisiesto, entonces febrero tiene 29 días.
F. Haz el bien y no mires a quien.
G. Todos los primos son impares.
H. Para vivir mejor, hay que ser mejor.
I. La lógica no es tan difícil como yo lo había esperado.
J. Estudias y ganas el semestre.
2. Determinar cuáles de las siguientes expresiones son proposiciones, y

en tal caso, dé su valor de verdad:
A. Algunos mamíferos vuelan.
B. Todos los cuadriláteros son rectángulos.
C. No usarás una computadora para robar.
D. 0 es múltiplo de cualquier número entero.
E. 10 531 es un número primo.
5x
F.  5 , para todo x  Z+.
x
G. a  b  a  b , para todo a, b  R.
H. Todos los números racionales son reales.
12
I. , para algún x  N.
x3
J. Él es el profesor de lógica.
1.2. OPERADORES LÓGICOS
A continuación se definen los operadores básicos que permiten

enlazar o conectar dos o más proposiciones simples. Se da paso al estudio
de las proposiciones compuestas o moleculares.
1.2.1 LA CONJUNCIÓN
DEFINICIÓN. La Conjunción.
Sean p y q dos variables proposicionales, entonces la proposición
compuesta “p y q” , que se simboliza como p  q , se denomina la
conjunción de p y q o proposición conjuntiva de p y q . La
conjunción de p y q sólo es verdadera si p y q son ambas
verdaderas, en cualquier otro caso es falsa.
Ejemplo ilustrativo: Se consideran los siguientes casos:

1. Sean las proposiciones p: Los peces nadan. (V) y q: Los peces
respiran por branquias. (V)
p  q: Los peces nadan y respiran por branquias. (V)
2. Sean las proposiciones p: La naranja es un cítrico. (V) y q: El
banano es una legumbre. (F)
p  q: La naranja es un cítrico y el banano una legumbre. (F)
3. Sean las proposiciones p: 2 es un entero. (F) y q: 2 es un
irracional. (V)
p  q: 2 es un entero e irracional. (F)
4. Sean las proposiciones p: ¼ > ½. (F) y q: 9  3 (F)
p  q: ¼ > ½ y 9  3 . (F)
Así que se define p  q con la siguiente tabla de verdad:
p q pq
V V V
V F F
F V F
F F F
Algunas proposiciones equivalentes a la proposición conjuntiva p 

q son:
1. p y q 2. p pero q
3. p también q 4. p además q
5. p aunque q 6. p sin embargo q
1.2.2 LA DISYUNCIÓN
El conectivo lógico o tiene un significado ambiguo en el lenguaje
cotidiano, como puede verse en los siguientes dos ejemplos:
Ejemplo ilustrativo 1. Dadas las proposiciones: p: Tengo un billete de

$10 000 en mi billetera y q: Tengo un billete de $20 000 en mi billetera.
Al enlazarlas con el operador o se tiene la proposición compuesta:
Tengo un billete de $10 000 o uno de $20 000 en mi billetera
En este caso, parece afirmarse que por lo menos una de las proposiciones
es verdadera, pero también ambas pueden ser verdaderas. Aquí se ilustra
el uso del conectivo o que se denomina o incluyente y se denota por .
Ejemplo ilustrativo 2. Dadas las proposiciones: p: Es de día y q: Es

de noche
Entonces en la proposición compuesta:
O es de día o es de noche
una y sólo una de las proposiciones componentes es verdadera, y no
ambas. En este caso, el uso del conectivo o se llama o excluyente y se
denota por  .
En el lenguaje natural, la disyunción inclusiva se puede diferenciar

de la exclusiva o excluyente, puesto que en la primera se encuentra una “o”
en medio de las dos proposiciones simples que la componen. Mientras que
en la segunda, se encuentra una “o” antes de la primera proposición y otra
en medio de las dos proposiciones simples que la componen.
1.2.2.1. Disyunción Incluyente
DEFINICIÓN. La Disyunción incluyente.

compuesta “p o q”, que se simboliza como p  q, se denomina la
disyunción de p y q o proposición disyuntiva de p y q. En este
caso, el sentido que se emplea es el inclusivo; esto es, la disyunción es
falsa sólo si ambas proposiciones componentes son falsas. La o
incluyente usualmente se expresa en el lenguaje formal como y/o.
Ejemplo ilustrativo: Dadas las proposiciones: p: Juan es estudiante y
q: Juan tiene 15 años. Se hallará la proposición disyuntiva de p y q, y
se analizará las posibilidades de su veracidad:
p  q: Juan es estudiante o tiene 15 años.

1. Si p es verdadera y q es verdadera, entonces la proposición compuesta
p  q es verdadera.
2. Si p es verdadera y q es falsa, entonces la proposición compuesta p 
q sigue siendo verdadera.
3. Si p es falsa y q es verdadera, entonces la proposición compuesta p 
q, también es verdadera.
4. Si p es falsa y q es falsa, entonces la proposición compuesta p  q,
en este caso, es falsa.
Así que se define p  q con la siguiente tabla de verdad:
p q pq
V V V
V F V
F V V
F F F
1.2.2.2. Disyunción Excluyente
DEFINICIÓN. La Disyunción Excluyente.

Dadas las variables proposicionales p y q, la proposición disyuntiva
excluyente de p y q, que se simboliza como p  q sólo es verdadera
si, y solo si lo es cualquiera de las dos proposiciones componentes
pero no ambas.
La tabla de verdad de la o excluyente es la siguiente:
p q pq
V V F
V F V
F V V
F F F
Ejemplo ilustrativo: Se consideran las proposiciones p: Juan está en

Bogotá y q: Juan está en Cali.
Se procede a hallar la proposición disyuntiva excluyente de p y q,
y se analizará las posibilidades de su veracidad:
p  q: O Juan está en Bogotá o en Cali.
La proposición anterior también se puede expresar como:
p  q: Juan está en Bogotá o en Cali, pero no en ambas ciudades.
Es evidente que las dos proposiciones no pueden ser verdaderas

simultáneamente, es decir, la veracidad de una de ellas excluye la otra, por
lo tanto, si p y q son verdaderas, la proposición compuesta p  q es
falsa. Análogamente si las dos proposiciones p y q son falsas, la
proposición compuesta p  q es falsa. Sólo es verdadera en el caso de
que una de ellas lo sea.
1.2.3 LA NEGACIÓN
DEFINICIÓN. La Negación.
Si p representa una variable proposicional, la proposición compuesta
no p, que se simboliza  p ó  p , se llama proposición negativa o
negación de p.
Dada una proposición simple p, la proposición negación de p toma

el valor de verdad opuesto de la proposición simple u original; esto es: si p
es verdadera,  p es falsa, y si p es falsa,  p es verdadera. La tabla de
verdad es la siguiente:
p p
V F
F V
Ejemplo ilustrativo: Dada la proposición p: Pedro está en la clase de

matemáticas.
Entonces la negación de p se puede hacer de las siguientes maneras:
 p: Pedro no está en la clase de matemáticas
 p: Es falso que Pedro está en la clase de matemáticas
 p: No es cierto que Pedro esté en la clase de matemáticas
Algunas proposiciones equivalentes a la negación de la proposición

p son:
1. No p.
2. Es falso que p.
3. No es cierto que p.
4. No es el caso que p.
EJERCICIOS 1.2.1
1. Considerar las proposiciones p: Betty es atractiva y q: Patricia es

atractiva. Suponiendo que feo y atractivo son opuestos; es decir, ser “no
atractiva” es equivalente a ser “fea”. Escribir cada una de las siguientes
proposiciones en la forma simbólica:
A. Tanto Betty como Patricia son feas.
B. No es verdad que tanto Betty como Patricia sean atractivas.
C. Betty es fea o Patricia es atractiva.
D. Betty es fea o Patricia es atractiva, pero no ambas.
E. No es cierto que Betty es fea o Patricia es atractiva.
2. Considerar las proposiciones p: Juan es buen estudiante y q: A Juan

le gusta jugar ajedrez. Escribir cada una de las siguientes proposiciones en el lenguaje
ordinario:
A. p  q B.  p  q C.  (p  q)
D.  p  ( q) E.  ( p   q) F. (p  q)  [ (p  q)]
1.2.4 EL CONDICIONAL
DEFINICIÓN. El Condicional.
compuesta “si p entonces q” , que se simboliza como p  q se
denomina proposición condicional; p se llama antecedente o
hipótesis, y q se denomina consecuente, tesis o conclusión.
Ejemplo ilustrativo: Juan le dice a su esposa: “si me gano la lotería,

entonces te compro un carro”; en este enunciado se tienen las proposiciones
simples: p: me gano la lotería y q: te compro un carro.
Si cumple su promesa se admitirá que la proposición es verdadera,

si la incumple se admitirá que es falsa. Por lo tanto, se tienen cuatro
posibilidades:
1. Juan se gana la lotería (V) y le compra el carro a su mujer (V); en este
caso, cumple su promesa, por tanto, la proposición es verdadera.
2. Juan se gana la lotería (V), pero no le compra el carro a su mujer (F); en
este caso, incumple su promesa; por ende, la proposición es falsa.
3. Juan no se gana la lotería (F), pero le compra el carro a su esposa (V);
cumpliendo su promesa, por lo tanto, la proposición es verdadera.
4. Juan no se gana la lotería (F), y no le compra el carro a su esposa (F);
por lo tanto, no rompe su promesa y la proposición es verdadera.
La proposición p  q es falsa sólo cuando p es verdadera y q es

falsa. La tabla de verdad que define el condicional es la siguiente:
p q pq
V V V
V F F
F V V
F F V
Las proposiciones condicionales son muy importantes en

matemáticas y geometría, y existen varias maneras de enunciar p  q.
Algunas proposiciones equivalentes muy usuales son:
1. Si p, entonces q 2. p  q
3. q si p 4. q sólo si p
5. Si p, q 6. Si p también q
7. p es suficiente para q 8. Una condición suficiente para
q es p
9. q es necesario para p 10. Una condición necesaria
para p es q
11. q con la condición de que p 12. q cuando p
13. q siempre que p 14. q cada vez que p
15. p implica q 16. q se deduce de p
Ejemplo: Se consideran las proposiciones simples:

p: El astro es una estrella y q: El astro tiene luz propia
La proposición p  q se representa con cualquiera de los siguientes
enunciados condicionales:
 Si el astro es una estrella, entonces tiene luz propia.

 El astro es una estrella, solo si tiene luz propia.
 El astro tiene luz propia, si es una estrella.
 Es necesario que el astro tenga luz propia para que sea una estrella.
 Es suficiente que el astro sea una estrella para que tenga luz
propia.
 El astro tiene luz propia cuando sea una estrella.
 El astro es una estrella implica que tiene luz propia.
 El astro tiene luz propia se deduce de ser una estrella.
1.2.5 Proposiciones relacionadas con el condicional: Recíproca,

Inversa y Contrarrecíproca.
El condicional de dos proposiciones difiere de la conjunción y de la
disyunción de las dos en que este no tiene conmutatividad. Es decir, p 
q es equivalente a q  p y p  q equivalente a q  p; pero p  q no es
equivalente a q  p. Esta última proposición, q  p, es llamada la
recíproca o conversa de p  q. Muchas de las falacias más comunes del
pensamiento surgen de una confusión de una proposición condicional con
su recíproca o conversa.
DEFINICIÓN. Recíproca, Inversa y Contrarrecíproca.

Dada la proposición condicional p  q, se definen las siguientes
proposiciones:
i. La recíproca: q  p
ii. La inversa:  p   q
iii. La contrarrecíproca (o contrapositiva):  q   p
Las tablas de verdad del condicional de las proposiciones p y q y

los otros tres condicionales definidos: recíproca, inversa (recíproca de la
contrarrecíroca o contrapositiva) y la contrarrecíproca (o contrapositiva) se
presentan en la siguiente tabla de verdad:
Recíproca Inversa o
Proposicione
Condicional del recíproca de la Contrarrecíproca
s
condicional contrarrecíproca
p q pq qp pq qp
V V V V V V
V F F V V F
F V V F F V
F F V V V V
Ejemplo ilustrativo: Dadas las proposiciones p: Las plantas fabrican su

propio alimento y q: Las plantas generan oxígeno.
Entonces el condicional, su recíproca, su inversa y su

contrarrecíproca, son:
 Condicional, p  q: Si las plantas fabrican su propio alimento,
entonces generan oxígeno.
 Recíproca, q  p: Si las plantas generan oxígeno, entonces fabrican
su propio alimento.
 Inversa,  p   q: Si las plantas no fabrican su propio alimento,

entonces no generan oxígeno.
 Contrarrecíproca,  q   p: Si las plantas no generan oxígeno,
entonces no fabrican su propio alimento.
1.2.6. EL BICONDICIONAL
Una proposición p  q y su recíproca q  p no tiene los mismos

valores de verdad. Sin embargo, suele suceder que se combinen en una
sola proposición: “p  q y también q  p”. En este caso, se escribe “p si
y sólo si q”, que se simboliza p  q, y al conectivo se le llama
bicondicional. Por lo tanto, para determinar los valores de verdad de la
proposición bicondicional, se debe construir la tabla de verdad de la
conjunción:
(p  q)  (q  p)
p q pq qp (p  q)  (q  p)
V V V V V
V F F V F
F V V F F
F F V V V
Finalmente, se puede establecer la siguiente definición:
DEFINICIÓN. El Bicondicional.
compuesta “p si y sólo si q”, que se simboliza como p  q, se llama
el bicondicional de p y q, y es usual abreviarlo “ssi”.
La tabla de verdad que define el bicondicional es la siguiente:
p q pq
V V V
V F F
F V F
F F V
Ejemplo ilustrativo: Al expresar los siguientes enunciados verdaderos:

p  q: Si un polígono tiene cuatro lados, entonces es un cuadrilátero.
q  p: Si un polígono es un cuadrilátero, entonces tiene cuatro lados.
En una sola proposición bicondicional (p  q) se tiene:
Un polígono es un cuadrilátero sí y sólo si tiene cuatro lados.
Las proposiciones condicionales son muy importantes en

matemáticas y geometría; existen varias maneras de enunciar p  q, las
cuales tienen el mismo significado:
1. p si y sólo si q
2. q si y sólo si p
3. Si p, entonces q, y recíprocamente
4. Si q, entonces p, y recíprocamente
5. p es una condición necesaria y suficiente para q
6. q es una condición necesaria y suficiente para p
7. p equivalente con q
8. q equivalente con p
Por lo general, en matemáticas y geometría toda definición es una

proposición de la forma “…si y solo si…” mediante la cual se trata de
exponer de manera unívoca y con precisión la comprensión de un concepto
o término o dicción o –si consta de dos o más palabras– de una expresión o
locución. Se alude a determinar, por escrito u oralmente, de modo claro y
exacto, las cualidades esenciales del tema implicado. (Tomado de
Wikipedia.org).
Ejemplo ilustrativo: Algunos ejemplos de definiciones muy importantes

en este curso son:
 Un entero positivo es primo si y sólo si tiene exactamente dos
divisores positivos: 1 y el mismo entero
 Sean a, b ∈ Z con a ≠ 0, a divide a b si y sólo si existe número entero
c tal que tal que b = ac.
En esta la última definición se puede establecer que “si a divide a b”,

también se dice que “a es un factor de b” o que “a es divisor de b”, o bien
que “b es un múltiplo de a” o “b es divisible por a”.
La definición de un concepto en términos de condición suficiente y

necesaria establece condiciones de inclusión y exclusión en el conjunto de
los elementos caracterizados por el concepto. Así en la segunda definición
de divisibilidad en el conjunto de los enteros si a = 3 y b = 12 se tiene que
3 divide a 12 porque existe el entero 4 tal que tal que 12 = 3  4. También

se puede decir que 3 es un factor de 12 o que 3 es divisor de 12, o bien que
12 es un múltiplo de 3 o 12 es divisible por 3. Si b = 12 se tiene que a
puede tomar del conjunto de los números enteros (Z) exactamente los
valores 1, –1, 2, – 2, 3, – 3, 4, –4, 6, –6, 12, –12, que corresponden a los
divisores de 12. Así, a = 5 no es un divisor de 12, porque no existe un
entero c tal que 12 = 5c.
El bicondicional es el último de los cinco conectivos que se usarán

en esta unidad. La siguiente tabla muestra un resumen de todos los
conectivos lógicos básicos definidos:
Conectivo Símbolo Definición Escritura

Conjunción  “y” pq
Disyunción
 “o” pq
(Inclusiva)
Negación  “No”. “Es falso que …” p
Condicional  “Si ... entonces ...” pq
Bicondicional  “... si y solo si ...” pq
EJERCICIOS 1.2.2
1. Expresar las siguientes proposiciones a la proposición equivalente

“si...entonces...”. Determinar exactamente el antecedente y el consecuente.
A. Ganaré el semestre si estudio.
B. Para que un polígono sea rectángulo, es necesario que sea cuadrilátero.
C. f(x) – L <  siempre que x – a < 
D. Todos lo números primos mayores que 2 son impares.
E. Una condición necesaria para el paralelismo es que las rectas no se
corten.
F. El juez dicta sentencia sólo si conoce todos los hechos.
G. Algunos dispositivos de almacenamiento son magnéticos cuando se
quieren almacenar datos en un PC.
H. Si es un componente físico de un computador, es un componente del
hardware.
I. Cuando se enciende un computador, este busca un sistema operativo
para iniciar.
J. Cada caracter consiste en un byte de datos, cuando es un caracter
ASCCII.
2. Considerar las proposiciones p: Te gustan los sistemas de información
y q: Te gusta navegar en Internet. Escribir cada una de las siguientes
proposiciones en el lenguaje ordinario:
A. p  q B.  p  q C. ( q)  ( p)
D. [(p  q)  ( q)]  ( p) E.  ( p  q)
3. Escribir el condicional, la recíproca, la inversa y la contrarrecíproca de

cada una de las siguientes proposiciones:
A. Es el dispositivo de salida más importante de un PC, si es el monitor.
B. q siempre que p.
C. ( p)  ( q).
D. x =  1 siempre que x2 = 1.
E. Hacer las tareas regularmente es una condición necesaria para que yo
pueda aprobar el semestre.
F. Todos los cuadrados son rectángulos.
4. Si p es V y q es F, determinar el valor de verdad de las siguientes

proposiciones:
A.  ( p  q) B. ( p  q)  ( q)
C. ( p)  [ (p  q)] D. ( p  q)  [( p)  ( q)]
5. Si p es F, q es F y r es V determinar el valor de verdad de las

siguientes proposiciones:
A. [(p  q)  ( r)]  r B. {p  [( q)  ( p)]}  ( r)
C. [(p  q)  ( r)]  ( p) D.  ( p  q)  [( p)  ( q)]
1.3. FUNCIONES PROPOSICIONALES Y CUANTIFICADORES
1.3.1. PROPOSICIONES ABIERTAS Y FUNCIONES PROPOSICIONALES.
Considere el enunciado “Esta ciudad es la capital de Colombia”, ¿es

verdadero o falso? En la forma como está expresado es evidente que no se
puede afirmar nada acerca de su veracidad. El enunciado es una
proposición verdadera si el nombre de la ciudad es “Bogotá” y sustituye al
sujeto “Esta ciudad”. Si el sujeto se sustituye por el nombre de otra
ciudad o cualquier otra palabra diferente a “Bogotá”, el enunciado es,
evidentemente, una proposición falsa. El conjunto de nombres, por
ejemplo de capitales, cuyos elementos son aquellos que se pueden
reemplazar en el sujeto “Esta ciudad” se denomina conjunto universo, o
conjunto de reemplazamiento, también, dominio de la variable,
observando que cualquier otra palabra diferente a “Bogotá” que se
sustituya hace falsa la proposición. Una proposición con estas
características, se conoce como proposición abierta.
El subconjunto de elementos del conjunto de reemplazamiento o

universo que hacen verdadera la proposición, se denomina conjunto de
verdad o conjunto solución de la proposición abierta. Para el ejemplo
arriba mencionado es el conjunto unitario {Bogotá}.
Ejemplo ilustrativo: Sea la proposición “x es un par menor que 10”, con x

 N.
El conjunto universo o dominio de la variable es el conjunto de los
números naturales, N = 1, 2, 3, 4, 5,…. Al sustituir los elementos que
hacen verdadera la proposición se tiene:
“2 es un par menor que 10” (V) “4 es un par menor que 10” (V)
“6 es un par menor que 10” (V) “8 es un par menor que 10” (V)
El conjunto {2, 4, 6, 8} es el conjunto de verdad de la proposición.
Una función proposicional de una variable es un enunciado que

representa una proposición abierta de una variable. Se representan
por P(x), Q(x), R(x), etc.
Ejemplo ilustrativo: Se considera la proposición abierta o función

proposicional P ( x) : x 2  3 x  4  0 , donde x  R.
El conjunto de verdad de la función proposicional P(x) se halla mediante el
siguiente proceso algebraico:
Factorizando la ecuación x 2  3x  4  0 , tenemos  x  4 x  1  0 , por lo
tanto, x = – 4 o x = 1
Así el conjunto de verdad de la función proposicional p(x) es:
P = {x / P(x)} = {x  R / x 2  3 x  4  0 } = {– 4, 1}
Ahora se considera la función proposicional p(x): (x – 3)2 = x2 – 6x + 9,

donde x  R. El conjunto de verdad de la función proposicional P(x) es
verdadero para cualquier valor de R que se reemplace en la proposición.
Algunos casos son:
p(0): (0 – 3)2 = (0)2 – 6(0) + 9 p(–2): (–2 – 3)2 = (–2)2 – 6(–2) + 9

(–3)2 = 0 – 0 + 9 (–5)2 = 4 – (–12) + 9
9 = 9 25 = 25
p(10): (10 – 3)2 = (10)2 – 6(10) + 9 p(¾): (¾ – 3)2 = (¾)2 – 6(¾) + 9

(7)2 = 100 – 60 + 9 (–9/4)2 = (9/16) – (18/4) + 9
49 = 49 81/16 = 81/16
p(0.5): (0.5 – 3)2 = (0.5)2 – 6(0.5) + 9 p(–0.2): (–0.2 – 3) 2 = (–0.2) 2 – 6(–0.2) + 9

(–2.5)2 = 0.25 – 3 + 9 (–3.2)2 = 0.04 + 1.2 + 9
6.25 = 6.25 10.2 = 10.24
Así el conjunto de verdad de la función proposicional P(x) son todos los

reales:
P = {x / p(x)} = {x  R / (x – 3)2 = x2 – 6x + 9} = R.
1.3.2. CUANTIFICADORES
Los cuantificadores permiten afirmaciones sobre colecciones enteras

de objetos en lugar de tener que enumerar los objetos por su nombre.
1.3.2.1. Cuantificador Universal.

En una gran mayoría de situaciones matemáticas es interesante
considerar la posibilidad de que el conjunto de verdad de una función
proposicional sea la totalidad de los elementos del conjunto universo,
llamado también conjunto referencial (que se simboliza por U o R
respectivamente), este se simboliza como x que se lee: “para todo x”,
“todo x”, “para cada x” o “cada x” y se llama cuantificador universal. En
este caso la proposición se simboliza como (x  U) P(x), que se lee: “para
todo x elemento de U, se cumple P(x)”, y si el dominio de la variable está
sobreentendido, se escribe simplemente (x) P(x), que se puede leer como:
“para todo x P(x)”, “para cada x P(x)” o bien “para cualquier x P(x)”.
Ejemplo ilustrativo 1: Se considera el enunciado “todos los tigres son

mamíferos”. El enunciado establece que “si es tigre”, entonces “es
mamífero”. El enlace entre los dos predicados se puede establecer con el
cuantificador universal, una variable del conjunto universo, una
representación en variables de los dos predicados que intervienen en el
enunciado y el conectivo condicional (→). Sea U = Conjunto de los
animales salvajes; y sea x la variable que representa un elemento
cualquiera del dominio; entonces el enunciado se puede escribir como: “Si
x es tigre, entonces x es mamífero”. Luego como esta expresión es
verdadera para todo elemento del dominio se utiliza el cuantificador
universal y se escribe: “Para todo x, si x es tigre, entonces x es mamífero”.
Si se simbolizan los predicados como T(x): x es tigre y M(x): x es mamífero
y, además, se introducen el símbolo del cuantificador universal y el del
condicional, entonces la el enunciado “todos los tigres son mamíferos” se
representa con la fórmula x (T(x) → M(x)).
Ejemplo ilustrativo 2: En matemáticas se consideran proposiciones
como:
A. P(x): x  R, (x – 3)2 = x2 – 6x + 9, que en efecto, es una identidad
verdadera para todo número real x. Luego, la proposición es verdadera.
B. Q(x): x  R, x ≤ 3, que no es verdadera para todo número real x. Por
ejemplo q(5): 5 ≤ 3 es falsa. Por lo tanto, la proposición es falsa.
1.3.2.2. Cuantificador Existencial.

En muchas otras situaciones matemáticas es importante considerar
la posibilidad de que el conjunto de verdad de una función proposicional
contenga al menos un elemento del universo U; es decir, el conjunto de
verdad no es el conjunto vacío. Esto se simboliza como x que se lee:
“para algún x”, “existe x” o “existe al menos un x tal que” y se llama
cuantificador existencial. La proposición se escribe como (x  U) P(x),
o bien (x) P(x) si el dominio de la variable está sobreentendido y que se
lee como: “para algún x P(x)”, “existe x tal que P(x)” o “existe al menos un x
tal que P(x)” o bien “hay un x tal que P(x)”.
Ejemplo ilustrativo 1: Se considera el enunciado “existe al menos un

tigre que es devorador de hombres” significa que significa que un animal
salvaje tiene las propiedades de “ser tigre” y “ser devorador de hombre”. Si
se utiliza la variable x para denotar tal animal salvaje, entonces el
enunciado se puede escribir como “Existe al menos un x tal que x es tigre y
x es devorador de hombres”. Ahora si se simbolizan los dos predicados
como T(x): x es tigre y D(x): x es devorador de hombres y se introducen los
símbolos del cuantificador existencial y de la conjunción, entonces el
enunciado “existe al menos un tigre que es devorador de hombres” queda
representado por la fórmula x (T(x)  D(x)).
Ejemplo ilustrativo 2: Ejemplos de este cuantificador en matemáticas se

tienen en las proposiciones:
A. P(x): x  R, x2 + 3x – 4 = 0, que es una ecuación y que sólo es verdadera
para los valores – 4 y 1; es decir estos son los dos únicos reales que
satisfacen la ecuación. Por lo tanto, la proposición es verdadera.
B. Q(x): x  R, x = x + 1, no existe un número real tal que sumado con 1 se
obtenga el mismo real. En consecuencia, la proposición es falsa.
Observe que mientras que el cuantificador universal utiliza la

implicación, el cuantificador existencial naturalmente utiliza la
conjunción.
1.3.3. Valor de verdad de funciones proposicionales con

cuantificadores.
Cuando una función proposicional se precede de un cuantificador,
ésta se convierte en una proposición simple, y por lo tanto, tiene un valor
de verdad determinado.
Una proposición que contiene un cuantificador universal es

verdadera si y solo si el conjunto universo de la variable es igual al
conjunto de verdad de la función proposicional. Por lo tanto, el
cuantificador universal x afirma que un enunciado es verdadero
para todos los valores de la variable x  U.
Una proposición con un cuantificador existencial es verdadera si y

sólo si el universo de la variable no es vacío. Por lo tanto, el
cuantificador existencial, x, afirma que un enunciado es verdadero
para al menos un valor de la variable x  U.
Ejemplo ilustrativo: A continuación se establece el valor de verdad de las

siguientes proposiciones que contienen un cuantificador:
A.  x  R  x  5  12 (F)
B.  x  R   x  2 2  x 2  4 x  4 (V)
C.   x  R x 2  1  0 (F)
D. Todas las aves vuelan. (F)
E. (x  R), x ≤ 3. (V)
1.3.4. Negación de funciones proposicionales con cuantificadores.

Para analizar la negación de funciones proposicionales que
contienen cuantificadores, es conveniente introducir el cuadro de
oposición de la Lógica Tradicional que presentaba cuatro tipos
fundamentales de enunciados que se conocen como proposiciones
categóricas. Desde tiempos de Aristóteles, interesó examinar ciertas
relaciones lógicas existentes entre estos cuatro tipos de proposiciones
categóricas.
Definición. Una proposición categórica es una proposición que

relaciona dos clases, o categorías. Las dos clases, en cualquier proposición
categórica, se colocan en una relación de sujeto-predicado. Así,
proposición categórica es una proposición que afirma o niega que una
clase o categoría sujeto, S, está contenida, totalmente o en parte, en una
clase predicado, P.
En primer lugar, veamos las cuatro formas de proposiciones
categóricas que se han empleado tradicionalmente y que son importantes
en la lógica matemática, a saber:
Todo S es P A Universal afirmativo x P(x)

Ningún S es P E Universal negativo x  P(x)
Algún S es P I Particular afirmativo x P(x)
Algún S no es P O Particular negativo x  P(x)
En las formas anteriores, S significa un sujeto del cual se afirma o

niega algo, y P es el predicado, esto es, lo que se dice del sujeto. Las dos
primeras proposiciones son universales, siendo la primera afirmativa y la
segunda negativa. Las dos últimas son particulares, siendo la primera
afirmativa y la segunda negativa. Las vocales A, E, I y O provienen de los
verbos latinos AffIrmo y nEgO.
Ejemplo ilustrativo:
A. Todos los hombres son mortales A Universal afirmativo
B. Ningún hombre es mortal E Universal negativo
C. Algún hombre es mortal I Particular afirmativo
D. Algún hombre no es mortal O Particular negativo
Enseguida se muestra el cuadro de oposición que se elaboró desde

Aristóteles y la Lógica Tradicional en el que quedaron reflejadas las
relaciones entre estos cuatro modelos básicos de proposiciones categóricas:
A Contrarias E
Contradictoria
s
I Subcontraria O
s
La distinción entre proposiciones afirmativas y negativas se llama

distinción (u oposición) de cualidad, en tanto que la distinción entre
universales y particulares se denomina distinción (u oposición) de
cantidad. A y E son contrarias, y las proposiciones contrarias se definen
como aquellos pares de proposiciones universales que difieren en cualidad.
I y O son subcontrarias, y se definen como aquellos pares de
proposiciones particulares que difieren en cualidad. A y E son,
respectivamente, las contradictorias de O e I, difiriendo tanto en
cantidad como en cualidad.
Se ha presentado este breve análisis con el fin de mostrar que en la
lógica matemática, la negación de cualquier forma de las cuatro
proposiciones clásicas es sencillamente su contradictoria. Se establece:
La negación de una función proposicional con un cuantificador universal

es equivalente a la negación de la misma función proposicional,
precedida por el cuantificador existencial, y viceversa.
Simbólicamente se puede escribir:
 [(x  U) P(x)]  ( x  U) [ P(x)]
Esta proposición se lee: “No es verdad que para todo x  U, P(x) es

verdadero”, y es equivalente a “Existe un x  U tal que P(x) es falso”.
En igual forma se escribe:
 [( x  U) P(x)]  (x  U) [ P(x)]
La anterior proposición se lee: “No es verdad que existe un x  U, tal

que P(x) es verdadero”, y es equivalente a “Para todo x  U, P(x) es falso”.
La siguiente tabla proporciona algunas de las negaciones comunes

con cuantificadores:
Proposición Negación
Todos... Algunos...no
Algunos... Ningún... (Todos...no)
Algunos...no Todos...
Ningún... Algunos...
Ejemplo ilustrativo 1: Escribir la negación de cada una de las siguientes

proposiciones:
A. Todos los números primos son impares. (F)
B. Algunos profesores son malos.
C.   x  R  tal que x 2  0 (F)
D.  x  R  , x  49   x  7  x  7 
2
(V)
Solución:
A. Algunos números primos no son impares. (V)
B. Todos los profesores no son malos.
C.  x  R  , x 2  0 , o bien  x  R  , x 2  0 (V)
D.   x  R  tal que x 2  49   x  7  x  7  (F)
Ejemplo ilustrativo 2: Determinar la negación de cada uno de los

siguientes enunciados en símbolos y en palabras:
A. Algunos estudiantes no prestan atención a la clase.
B. Hay estudiantes que prestan atención a la clase.
C. Ningún estudiante presta atención a la clase.
Solución:
Se considera la siguiente simbolización:
P(x): x presta atención a la clase.
A. Algunos estudiantes no prestan atención a la clase.
Simbolización: x ( P(x))
Negación: [x ( P(x))]  x P(x)
Negación en palabras: Todos los estudiantes prestan atención a la clase.
B. Hay estudiantes que prestan atención a la clase.

Simbolización: x P(x)
Negación: [x P(x)]  x [ P(x)]
Negación en palabras: Todos los estudiantes no prestan atención a la
clase.
C. Ningún estudiante presta atención a la clase.

Simbolización: x ( P(x))
Negación: [x ( P(x))]  x P(x)
Negación en palabras: Algunos estudiantes prestan atención a la clase.
1.3.5. Simbolización de proposiciones con cuantificadores
Una variable x que se introduce en una expresión lógica por un

cuantificador está unida al más cercano cuantificador envolvente. Una
variable se dice que es una variable libre si no está unido a un
cuantificador. Similarmente en un bloque de lenguaje de programación
estructurado, una variable en una expresión lógica se refiere al más
cercano cuantificador dentro de cuyo ámbito este parece.
Ejemplo 1: Escribir en símbolos el enunciado “Todo ser humano tiene una

madre”.
Solución: Se reescribe la proposición como: “Para todo ser humano, ese
ser humano tiene una madre”. Se introduce la variable x y se consideran
las proposiciones: H(x): x es un ser humano y M(x) x tiene una madre, el
dominio de x consiste en el conjunto de todos los seres vivos.
Entonces el enunciado se lee como: “Para todo ser humano x, x tiene una
madre”, entonces se simboliza como: x(H(x) → M(x)).
Ejemplo 2: Escribir en símbolos el enunciado “Cada estudiante del curso

de Lógica está estudiando Precálculo”.
Solución: Se reescribe la proposición como: “Para todo estudiante del
curso de Lógica, ese estudiante está estudiando Precálculo”. Se introduce
la variable x y se considera la proposición: P(x): x está estudiando
Precálculo. Si el dominio de x consiste en el conjunto de los estudiantes
del curso de Lógica, entonces el enunciado se simboliza como x P(x). Pero
si el dominio es el conjunto de los estudiantes de la universidad, es
necesario introducir la proposición L(x): x es un estudiante del curso de
Lógica. De esta forma el enunciado se expresa como:
“Para todo estudiante x, si x es un estudiante del curso de Lógica,
entonces x está estudiando Precálculo”. Entonces el enunciado se
simboliza como: x(L(x) → P(x)).
Ejemplo 3: Escribir en símbolos el enunciado “Algún estudiante del curso

de Lógica habla Inglés”.
Solución: Se reescribe la proposición como: “Existe algún estudiante del
curso de Lógica que habla Inglés”. Se introduce la variable x y se considera
la proposición: I(x): x habla Inglés. Si el dominio de x consiste en el
conjunto de los estudiantes del curso de Lógica, entonces el enunciado se
simboliza como x I(x). Pero si el dominio es el conjunto de los estudiantes
de la universidad, es necesario introducir la proposición L(x): x es un
estudiante del curso de Lógica. De esta forma el enunciado se expresa
como:
“Existe algún estudiante x, tal que x es un estudiante del curso de Lógica y
x habla Inglés”. Entonces el enunciado se simboliza como: x(L(x)  I(x)).
Ejemplo 4: Escribir en palabras el enunciado que representa la fórmula:

x (Gato(x)  x (Negro(x))), donde el dominio consiste en el conjunto de
todos los animales.
Solución: Aquí, la variable x en Negro(x) está universalmente cuantificada,
mientras que toda la expresión está antecedida por el cuantificador
existencial.
La expresión implica que “Existen gatos y todos son de color negro”.
EJERCICIOS 1.3
1. Escribir V (verdadero) o F (falso) para cada una de las siguientes

proposiciones; modifique cada proposición falsa para convertirla en
verdadera:
A. x  R, | x | > 0
B. x  R, x 2  x .
C.  x  R, x2 ≥ 0
C.  x  R, (x – 5)2 = x2 – 10x + 25
D. No existe ningún número real x tal que | x + 7 | ≤ 0.
E. No existe ningún número real x tal que x2 < 0.
2. Escribir la negación de cada una de las siguientes proposiciones:

A. Todos los libros de matemáticas son difíciles de leer.
B. Algunos enteros son negativos.
C. Ningún entero par es divisible entre 5.
D. Algunos lenguajes de computación no son estructurados.
E. Algunos enteros no son impares.
F. Algunos rectángulos son cuadrados.
G. Algunos rectángulos no son cuadrados.
H. Ningún operador de la Lógica es unario.
I. Algunos sistemas no son abiertos.
J. Ningún programa de computación es peligroso.
3. Escribir en palabras cada una de las siguientes fórmulas; considerando

las siguientes proposiciones: P(x): x es un perro, N(x): x es negro y B(x): x
es bravo, y el dominio es el conjunto de todos los animales.
A. x (P(x)  N(x)) B. x (P(x)  ( N(x)))
C. x (P(x)  x (B(x))) D. x (P(x)  N(x))
E. x (P(x)  N(x)  (B(x))) F. x ((P(x)  (N(x))  B(x)))
G. x (P(x)  (N(x)  B(x))) H. x (P(x)  (N(x)  B(x)))
4. Se consideran las siguientes proposiciones: C(x): x tiene un teléfono

celular; T(x): x tiene una tablet y P(x): x tiene un PC portátil. Escribir cada
uno de los siguientes enunciado en símbolos en términos de C(x), T(x), P(x),
cuantificadores y conectivos lógicos. El dominio para los cuantificadores
consiste en el conjunto de los estudiantes del curso.
A. Un estudiante del curso tiene teléfono celular, una tablet y un PC
portátil.
B. Todos los estudiantes del curso tienen un teléfono celular, una
tablet o un PC portátil.
C. Algún estudiante del curso tiene un teléfono celular y una tablet
pero no un PC portátil.
D. Ningún estudiante del curso tiene un teléfono celular, una tablet y
un PC portátil.
E. Para cada uno de los tres dispositivos electrónicos: teléfono celular,
tablet y PC portátil, hay un estudiante del curso que posee uno de
esos dispositivos electrónicos.
1.4. CÁLCULO PROPOSICIONAL
1.4.1. FÓRMULAS.
Con estos cinco conectivos lógicos con los que se han trabajados
expresiones tales como p  q, p  q, p  q, p  q y  p; se construyen
proposiciones compuestas más complejas, haciendo combinaciones de las
anteriores. Entonces es necesario especificar la manera en que los
símbolos (variables proposicionales y conectores lógicos) pueden colocarse
juntos.
DEFINICIÓN. Fórmula.
Fórmula es una expresión que contiene una secuencia finita o cadena
de variables proposicionales simples o atómicas (p, q, r, etc.) y
conectores lógicos (, , , , , etc.) que satisface las siguientes
reglas:
(1) Cualquier variable proposicional es una fórmula.
(2) Si p es una fórmula, entonces  p es una fórmula.
(3) Si p y q son fórmulas, entonces p  q, p  q, p  q, p  q y 
p son fórmulas.
El valor de verdad de una fórmula dependerá de los valores de

verdad de las variables proposicionales simples o atómicas que la
componen. El número de combinaciones que tengamos en una tabla de
verdad dependerá del número de variables proposicionales distintas que
intervengan en la fórmula, siendo igual a 2 n, donde n es el número de
variables proposicionales diferentes que intervienen en ella.
Ejemplo ilustrativo: Construir la tabla de verdad para la fórmula

[(p  q)  ( p)]  q:
Solución:
En este caso, en la fórmula intervienen dos variables proposicionales
distintas, por lo tanto se tienen 22 = 4 combinaciones posibles.
p q pq  (p  q)  ( p) [(p  q)  ( p)]  q.

p
V V V F F V
V F V F F V
F V V V V V
F F F V F V
DEFINICIÓN. Fórmula tautológica.
Se dice que una fórmula es tautológica o tautología si y sólo si su

valor de verdad es verdadero, independientemente de que los valores
de verdad de sus variables proposicionales componentes sean falsos o
verdaderos. Es decir, una tautología es una proposición compuesta
que siempre es verdadera.
En la Lógica, tenemos varias tautologías que son importantes. Entre

ellas, tenemos:
 La ley del medio excluido: p   p
 La ley de no contradicción:  (p   p)
 La ley de la inferencia contrapositiva (o Modus Tollendo Tollens):
[(p  q)  ( q)]   p
Ejemplo ilustrativo: Mostrar, mediante una tabla de verdad, la veracidad

de ley de la inferencia contrapositiva (o Modus Tollendo Tollens):
[(p  q)  ( q)]   p
Solución:
p q p  (p  q)  ( q)  [(p  q)  ( q)]   p
q q p
V V V F F F V
V F F V F F V
F V V F F V V
F F V V V V V
DEFINICIÓN. Fórmula contradictoria.

Se dice que una fórmula es contradictoria o una contradicción si y
sólo si su valor de verdad es falso, independientemente de que los
valores de verdad de sus variables proposicionales componentes sean
falsos o verdaderos. Es decir, una contradicción es una proposición
compuesta que siempre es falsa.
Ejemplo ilustrativo 1: Mostrar, mediante una tabla de verdad, la ley de

contradicción: p   p.
Solución:
p  pp
p
V F F
F V F
Ejemplo ilustrativo 2: Probar que la expresión (p  q)   ( p  q) es

una contradicción:
Solución:
A B
p q pq  pq  ( p  q) AB
p
V V V F V F F
V F F F F V F
F V V V V F F
F F V V V F F
DEFINICIÓN. Fórmula sintética o contingencia.

Se dice que una fórmula es sintética o contingencia si y sólo si la
misma no es una tautología ni una contradicción.
Ejemplo ilustrativo: Mostrar que la fórmula no es tautología ni

contradicción:
p  ( q  r)  (p  q)  ( r)
Solución:
En este caso, en la fórmula intervienen 3 variables proposicionales
distintas, por lo tanto se tienen 23 = 8 combinaciones posibles.
A B
p q r q qr p  ( q  r) pq r (pq)  ( r) AB
V V V F V V V F V V
V V F F F F V V V F
V F V V V V F F F F
V F F V V V F V V V
F V V F V V F F F F
F V F F F V F V V V
F F V V V V F F F F
F F F V V V F V V V
La expresión p  ( q  r)  (p  q)  ( r) representa una fórmula

sintética o contingencia.
1.4.2. REGLAS DEL CÁLCULO PROPOSICIONAL
DEFINICIÓN. Proposiciones Lógicamente Equivalentes.

Las proposiciones compuestas P y Q son lógicamente equivalentes si y
solo si siempre tienen el mismo valor de verdad; es decir, P  Q es
siempre una tautología. Algunas veces se denota por P ≡ Q. En este
artículo se usa el símbolo  para denotar que P y Q son lógicamente
equivalentes.
Se presenta a continuación una lista de importantes tautologías

seleccionadas por su utilidad. Estas tautologías pueden demostrarse con
tablas de verdad. En la lista V representa una tautología y F una
contradicción.
1. Leyes de identidad: a. (p  F)  p b. (p  V)  p
2. Leyes de dominación: a. (p  V)  V b. (p  F)  F
3. Leyes de Idempotencia: a. (p  p)  p b. (p  p)  p
4. Ley de la doble negación:  ( p)  p
5. Ley de contradicción: (p   p)  F
6. Ley de la no contradicción:  (p   p)
7. Ley de complemento (p   p)  V
8. Ley del tercio excluido: pp
a. (p  q)  (q  p)
9. Leyes conmutativas: b. (p  q)  (q  p)
c. (p  q)  (q  p)
a. p  (q  r)  (p  q)  r
10. Leyes asociativas: b. p  (q  r)  (p  q)  r
c. p  (q  r)  (p  q)  r
a. p  (q  r)  (p  q)  (p  r)
b. p  (q  r)  (p  q)  (p  r)
11. Leyes distributivas:
c. p  (q  r)  (p  q)  (p  r)
d. p  (q  r)  (p  q)  (p  r)
a. (p  q)  (q  r)  (p  r)
12. Leyes transitivas:
b. (p  q)  (q  r)  (p  r)
a.  (p  q)  ( p   q)
13. Leyes de Demorgan:
b.  (p  q)  ( p   q)
a. (p  q)  ( p  q)
14. Leyes de implicación:
b. (p  q)  [ (p   q)]
(Equivalencias del condicional)
c.  (p  q)  (p   q)
15. Ley de la contrarrecíproca:
(p  q)  ( q   p)
(o de la contraposición)
16. Ley de reducción al absurdo: [(p   q)  (r   r)]  (p  q)

17. Ley del razonamiento directo:
[(p  q)  p]  q
(Modus Ponendo Ponens)
18. Ley del razonamiento indirecto:
[(p  q)   q]   p
(Modus Tollendo Tollens)
19. Ley del silogismo disyuntivo:
[(p  q)   p]  q
(Modus Tollendo Ponens)
a. (p  q)  p
20. Leyes de simplificación:
b. (p  q)  q
21. Ley de adjunción o adición: p  (p  q)
22. Ley de inferencia por casos: [(p  q)  (p  r)]  [p  (q  r)]
a. [(p  q)  (p  r)]  [p  (q  r)
23. Equivalencias del condicional: b. [(p  q)  (p  r)]  [p  (q  r)
c. [(p  r)  (q  r)]  [(p  q)  r]
a. (p  q)  (p  q)  (q  p)
b. (p  q)  ( p   q)
24. Equivalencias del bicondicional:
c. (p  q)  (p  q)  ( p   q)
d.  (p  q)  (p   q)
EJERCICIOS 1.4
1. Elaborar las tablas de verdad de cada una de las siguientes leyes del
cálculo proposicional:
A. Ley conmutativa 9. b B. Ley asociativa 10. c
C. Leyes distributivas 11. b y c D. Ley transitiva 12. a
E. Leyes de Demorgan 13. a y b F. Leyes de implicación 14. a y c
G. Ley de la contrarrecíproca 15. H. Ley de reducción al absurdo 16.
I. Ley del razonamiento directo (Modus Ponendo Ponens) 17.
J. Ley del razonamiento indirecto (Modus Tollendo Tollens) 18.
K. Ley del silogismo disyuntivo (Modus Tollendo Ponens) 19.
L. Ley de inferencia por casos 22.
M. Equivalencia del condicional 23. c.
N. Equivalencia del bicondicional 24. c y d.
2. Elaborar la tabla de verdad de cada una de las siguientes proposiciones:

A. ( p  q)  ( q) B. [(p  q)  ( r)]  r
C. (p  q)  [p  ( q)] D. [(p  q)  ( r)]  r
E.  ( p  q)  [( p)  ( q)] F. [(p  q)  ( r)]  [(q  p)  r]
3. Construir una o más proposiciones compuestas que tengan cada una

los valores de las columnas (A), (B) y (C) de la siguiente tabla de verdad:
p q r (A) (B) (C)

V V V V F V
V V F F F V
V F V V F V
V F F F V F
F V V F F V
F V F F F V
F F V V F F
F F F F F V
4. Usando solamente  (conjunción),  (disyunción) y  (negación)

escribir una proposición equivalente a cada una de las siguientes:
A. p  q B. p  q C.  (p  q)
D.  (p  (q)) E.  (p  q)
5. Usando solamente  (disyunción) y  (negación) escribir una

proposición equivalente a p  q. Usar este resultado para probar que
cualquier tabla de verdad puede representarse por el significado de dos
conectivos  (disyunción) y  (negación).
BIBLIOGRAFÍA
 Rosen, Kenneth H. (2004). Matemáticas discretas y sus aplicaciones.

Quinta Edición. Madrid, España: Editorial Mc-Graw Hill Companies,
Inc.
 Bustamante, Alfonso. (2009). Lógica y argumentación: De los
argumentos inductivos a las álgebras de Boole. Primera Edición.
México: Pearson Educación de México, S.A de C.V.
 Escobar V., Gustavo. (1999). Lógica. Nociones y aplicaciones.
Primera edición. México, D.F.: Editorial Mc-Graw Hill
Interamericana Editores, S.A. de C.V.
 Kolman, Bernard; Busby, Robert C. y Ross, Sharon. (1997).
Estructuras de Matemáticas Discretas para la Computación. 3ª
edición. Prentice Hall Hispanoamericana, S.A.
 Tremblay, Jean-Paul y Manohar, Ram. (1996). Matemáticas
Discretas. Con aplicación a las ciencias de la computación. Primera
edición en español. México: CECSA.
 Barco G., Carlos; Barco G., Germán y Aristizabal B., William. (1998).
Matemática Digital. Bogotá: Editorial Mc. Graw-Hill.
 Lipschutz, Seymour. (1992). Matemáticas para computación. Editorial

Mc. Graw-Hill.
 ROSS, Kenneth A. y WRIGHT, Charles R.B. (1990). Matemáticas
Discretas. Segunda Edición. Prentice Hall Hispanoamericana, S.A.
 Bustamante, Alfonso. (1988). Elementos de Álgebra en Ciencias de la
Computación. Cali: Serie Textos Universitarios del ICESI. N6.
RECURSOS DE LA INTERNET
 KEMENY, John G.; J. SNELL, Laurie; THOMPSON, Gerald L. Finite

Mathematics. Versión 4.0A0, 5 de Octubre de 1998. Copyright (C)
1998. Derived from works Copyright (C) 1957, 1966, 1974. This
work is freely redistributable under the terms of the GNU General
Public License as published by the Free Software Foundation.
Disponible en: http://math.dartmouth.edu/
%7Edoyle/docs/finite/fm2/scan/1.pdf
 BILANIUK, Stefan. A Problem Course in Mathematical Logic.

Version 1.6. Copyright c 1994-2003. Permission is granted to copy,
distribute and/or modify this document under the terms of the GNU
Free Documentation License, Version 1.2 or any later version
published by the Free Software Foundation; with no Invariant
Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of
the license is included in the section entitled \GNU Free
Documentation License". Disponible en
http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf

INTRODUCCIÓN A LA LOGICA (Revision.2016-1)

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

INTRODUCCIÓN A LA LOGICA (Revision.2016-1)

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD DE SAN BUENAVENTURA - CALI

PROGRAMA DE INGENIERIA DE SISTEMAS

1. Utilizar y manejar las leyes y la simbología de los operadores de la

2. Determinar el valor de verdad de una fórmula y/o estructura

La lógica es un área del conocimiento matemático importante en la

En la siguiente unidad se construirán los fundamentos de la lógica a

También de significado, que depende de la situación, por ejemplo:

Ejemplo: Los siguientes enunciados son proposiciones:

El valor de verdad de una proposición es verdadero, y se denota por

Las preguntas, los ruegos, los mandatos, las exclamaciones o las

Ejemplo: Los siguientes enunciados no son proposiciones, porque no es

No obstante, el enunciado “a + 3 = b” no es una proposición, ya que

En la lógica proposicional se identifican dos tipos de proposiciones:

Ejemplo: Son ejemplos de proposiciones simples o atómicas las siguientes:

Las proposiciones simples se representan usualmente con las letras

Se pueden combinar y enlazar dos o más proposiciones simples

Las proposiciones compuestas o moleculares se forman por la

El valor de verdad de una proposición compuesta es verdadero (V) o

1. De acuerdo con la definición, determinar cuáles de las siguientes

2. Determinar cuáles de las siguientes expresiones son proposiciones, y

1.2. OPERADORES LÓGICOS

A continuación se definen los operadores básicos que permiten

Ejemplo ilustrativo: Se consideran los siguientes casos:

Así que se define p  q con la siguiente tabla de verdad:

Algunas proposiciones equivalentes a la proposición conjuntiva p 

Ejemplo ilustrativo 1. Dadas las proposiciones: p: Tengo un billete de

Ejemplo ilustrativo 2. Dadas las proposiciones: p: Es de día y q: Es

En el lenguaje natural, la disyunción inclusiva se puede diferenciar

1.2.2.1. Disyunción Incluyente

DEFINICIÓN. La Disyunción incluyente.

p  q: Juan es estudiante o tiene 15 años.

Así que se define p  q con la siguiente tabla de verdad:

1.2.2.2. Disyunción Excluyente

DEFINICIÓN. La Disyunción Excluyente.

La tabla de verdad de la o excluyente es la siguiente:

Ejemplo ilustrativo: Se consideran las proposiciones p: Juan está en

Se procede a hallar la proposición disyuntiva excluyente de p y q,

Es evidente que las dos proposiciones no pueden ser verdaderas

Dada una proposición simple p, la proposición negación de p toma

Ejemplo ilustrativo: Dada la proposición p: Pedro está en la clase de

Algunas proposiciones equivalentes a la negación de la proposición

1. Considerar las proposiciones p: Betty es atractiva y q: Patricia es

2. Considerar las proposiciones p: Juan es buen estudiante y q: A Juan

Ejemplo ilustrativo: Juan le dice a su esposa: “si me gano la lotería,

Si cumple su promesa se admitirá que la proposición es verdadera,

La proposición p  q es falsa sólo cuando p es verdadera y q es

Las proposiciones condicionales son muy importantes en

Ejemplo: Se consideran las proposiciones simples:

 Si el astro es una estrella, entonces tiene luz propia.

1.2.5 Proposiciones relacionadas con el condicional: Recíproca,

DEFINICIÓN. Recíproca, Inversa y Contrarrecíproca.

Las tablas de verdad del condicional de las proposiciones p y q y

Ejemplo ilustrativo: Dadas las proposiciones p: Las plantas fabrican su

Entonces el condicional, su recíproca, su inversa y su

 Inversa,  p   q: Si las plantas no fabrican su propio alimento,

Una proposición p  q y su recíproca q  p no tiene los mismos

Finalmente, se puede establecer la siguiente definición:

La tabla de verdad que define el bicondicional es la siguiente:

Ejemplo ilustrativo: Al expresar los siguientes enunciados verdaderos:

En una sola proposición bicondicional (p  q) se tiene:

Un polígono es un cuadrilátero sí y sólo si tiene cuatro lados.

Las proposiciones condicionales son muy importantes en

Por lo general, en matemáticas y geometría toda definición es una