UNIVERSIDAD DE SAN BUENAVENTURA - CALI

PROGRAMA DE INGENIERIA DE SISTEMAS

MATEMÁTICAS DISCRETAS
GUÍA DE REPASO
TEMA: INTRODUCCIÓN A LA LÓGICA
Profesor: Walter G. Magaña S.

REPASO
INTRODUCCIÓN A LA LÓGICA

Objetivos:

1. Utilizar y aplicar las leyes y la simbología del sistema de la Lógica en

el análisis de argumentaciones y enunciados.

2. Determinar la validez de un razonamiento mediante el análisis lógico,

manejando las reglas de inferencia y las estructuras 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 formal, el cual es la base para entender y realizar los
procesos algorítmicos en cualquier lenguaje de programación. En el
siguiente módulo se construirán los fundamentos de la lógica a partir del
lenguaje, hasta culminar con el análisis de razonamientos con las
estructuras más elaboradas del análisis proposicional.
INTRODUCCIÓN A LA LÓGICA

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.

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 ilustrativo: 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.

Se consideran oraciones declarativas para las que es significativo

asignarles cualquiera de los dos valores de estado: verdadero o falso. Las
preguntas, los ruegos, los mandatos, las exclamaciones o las conjeturas,
aunque son enunciados, no son en sí ni verdaderas ni falsas.

Ejemplo ilustrativo: Los siguientes enunciados no son proposiciones,

porque no es posible asignarles un valor de verdad, esto es, verdadero o
falso:
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. x 2  9  0

Walter G. Magaña S. 2
INTRODUCCIÓN A LA LÓGICA

6. Mañana lloverá.

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 las 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 ilustrativo: 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.
En lo sucesivo se utilizará letras minúsculas para denotar las
proposiciones simples, aunque algunos autores lo hacen con letras
mayúsculas. 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

Walter G. Magaña S. 3
INTRODUCCIÓN A LA LÓGICA

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.

1.2. LA CONJUNCIÓN

Definició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

Walter G. Magaña S. 4
INTRODUCCIÓN A LA LÓGICA

1.3. 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.3.1. Disyunción Incluyente

Definición. Sean p y q dos variables proposicionales, entonces la

proposición 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.

Walter G. Magaña S. 5
INTRODUCCIÓN A LA LÓGICA

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.3.2. Disyunción Excluyente

Definición. 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

Walter G. Magaña S. 6
INTRODUCCIÓN A LA LÓGICA

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.4. LA NEGACIÓN

Definició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.

EJERCICIOS 1.1

1. De acuerdo con la definición, determine 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.

Walter G. Magaña S. 7
INTRODUCCIÓN A LA LÓGICA

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. Determine 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.

3. Considere 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”. Escriba 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.

4. Considere las proposiciones p: Juan es buen estudiante y q: A Juan

le gusta jugar ajedrez. Escriba 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)]

Walter G. Magaña S. 8
INTRODUCCIÓN A LA LÓGICA

1.5. EL CONDICIONAL

Definición. Sean p y q dos variables proposicionales, entonces la

proposición 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. p sólo si q
5. Si p, q 6. Si p también q
7. p es suficiente para q 8. q es necesario para p
9. q con la condición de que p 10. q cuando p
11. q siempre que p 12. q cada vez que p

Walter G. Magaña S. 9
INTRODUCCIÓN A LA LÓGICA

13. q se deduce de p 14. p implica q

1.5.1. 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 simetría. 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. 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
Proposiciones Condicional del recíproca de la Contrarrecíproca
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.

Walter G. Magaña S. 10
INTRODUCCIÓN A LA LÓGICA

 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.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  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. Sean p y q dos variables proposicionales, entonces la

proposición 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.

Walter G. Magaña S. 11
INTRODUCCIÓN A LA LÓGICA

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

El bicondicional es el último de los cinco conectivos que se usarán

en este capítulo. La siguiente tabla muestra un resumen de todos los
conectivos lógicos básicos definidos:

Conectivo Símbolo Definición

Conjunción  “y”
Disyunción
 “o”
(Inclusiva)
Negación  “no”
Condicional  “Si. . . entonces. . .”
Bicondicional  “. . . si y solo si. . .”

EJERCICIOS 1.2

1. Exprésense las siguientes proposiciones a las proposiciones

equivalentes que empleen los términos “si...entonces...”, “...sólo si...”,
“...es necesaria para...”, “...es suficiente para...”. Determine
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.

Walter G. Magaña S. 12
INTRODUCCIÓN A LA LÓGICA

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. Considere las proposiciones p: Te gustan los sistemas de información

y q: Te gusta navegar en Internet. Escriba 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. Escriba 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)]

Walter G. Magaña S. 13
INTRODUCCIÓN A LA LÓGICA

1.7. FUNCIONES PROPOSICIONALES Y CUANTIFICADORES

1.7.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
podemos 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, o bien, 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. 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

p( x) : x  3x  4  0 , donde x  R.
2

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

Walter G. Magaña S. 14
INTRODUCCIÓN A LA LÓGICA

Así el conjunto de verdad de la función proposicional p(x) es:

P = {x / p(x)} = {x  R / x 2  3x  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)
(–2.5)2 = 0.25 – 3 + 9 +9
6.25 = 6.25 (–3.2)2 = 0.04 + 1.2 + 9
10.24 = 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.7.2. CUANTIFICADORES

1.7.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).

Ejemplo ilustrativo: Un ejemplo de este cuantificador se tiene en la

proposición, p(x): x  R, (x – 3)2 = x2 – 6x + 9, que en efecto es verdadera
para todos los reales.

Walter G. Magaña S. 15
INTRODUCCIÓN A LA LÓGICA

1.7.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.

Ejemplo ilustrativo: Un ejemplo de este cuantificador se tiene en la

proposición: p(x):  x  R, x2 + 3x – 4 = 0, que es verdadera para – 4 y 1.

1.7.2.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. Una proposición
con un cuantificador existencial es verdadera si y sólo si el universo de la
variable no es vacío.

Ejemplo ilustrativo: A continuación se establece el valor de verdad de las

siguientes funciones proposicionales 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)

1.7.2.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. 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:

Walter G. Magaña S. 16
INTRODUCCIÓN A LA LÓGICA

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 de la lógica tradicional:

A Contrarias E

Contradictorias

I Subcontrarias O

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:

Walter G. Magaña S. 17
INTRODUCCIÓN A LA LÓGICA

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: Se consideran 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 2  49  x  7x  7 (V)

La negación de cada una de ellas es respectivamente:

A. Algunos números primos no son impares. (V)

B. Todos los profesores no son malos.

Walter G. Magaña S. 18
INTRODUCCIÓN A LA LÓGICA

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)

EJERCICIOS 1.3

1. Escriba 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. Escriba 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.

Walter G. Magaña S. 19
INTRODUCCIÓN A LA LÓGICA

1.8. CALCULO PROPOSICIONAL

1.8.1. FORMULAS.
Con estos cinco conectivos lógicos con los que se han trabajado
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 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 2n, 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:

En este caso, intervienen dos variables proposicionales distintas y se

tienen 22 = 4 combinaciones posibles.

p q pq p (p  q)  ( p) [(p  q)  ( p)]  q.

V V V F F V
V F V F F V
F V V V V V
F F F V F V

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.

Walter G. Magaña S. 20
INTRODUCCIÓN A LA LÓGICA

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

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. Por ejemplo, la ley
de contradicción: p   p.

Ejemplo ilustrativo: Probar que la expresión (p  q)   ( p  q) es

una contradicción:

A B
p q pq p pq  ( p  q) AB
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

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 tautológica ni contradictoria.

1.8.2. REGLAS DEL CÁLCULO PROPOSICIONAL

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.

a. p  p b. p  p
1. Leyes de identidad: c. (p  F)  p d. (p  V)  V
e. (p  F)  F f. (p  V)  p
2. Ley de la doble negación:  ( p)  p
3. Ley de la no contradicción:  (p   p)

Walter G. Magaña S. 21
INTRODUCCIÓN A LA LÓGICA
4. Ley del tercio excluido:
5. Leyes de simplificación:
6. Ley de adjunción o adición:
7. Leyes conmutativas:
8. Leyes asociativas:
9. Leyes distributivas:
10. Leyes transitivas:
11. Leyes de Demorgan:
12. Leyes de implicación:
13. Ley de la contraposición:
(o de la contrarrecíproca)
14. Ley de reducción al absurdo:
15. Ley del razonamiento directo:
(Modus Ponendo Ponens)
16. Ley del razonamiento
indirecto:
(Modus Tollendo Tollens)
17. Ley del silogismo disyuntivo:
(Modus Tollendo Ponens)
18. Leyes de idempotencia:
Walter G. Magaña S.
p  p
a. (p  q)  p
b. (p  q)  q
p  (p  q)
a. (p  q)  (q  p)
b. (p  q)  (q  p)
c. (p  q)  (q  p)
a. p  (q  r)  (p  q)  r
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)
c. p  (q  r)  (p  q)  (p  r)
d. p  (q  r)  (p  q)  (p  r)
a. (p  q)  (q  r)  (p  r)
b. (p  q)  (q  r)  (p  r)
a.  (p  q)  ( p   q)
b.  (p  q)  ( p   q)
a. (p  q)  ( p  q)
b. (p  q)  [ (p   q)]
(p  q)  ( q   p)
[(p   q)  (r   r)]  (p  q)
[p  (p  q)]  q
[(p  q)   q]   p
[(p  q)   p]  q
a. (p  p)  p b. (p  p)  p
22
INTRODUCCIÓN A LA LÓGICA

EJERCICIOS 1.4

1. Elabore las tablas de verdad de cada una de las siguientes leyes del
cálculo proposicional:
A. Ley conmutativa 7. b B. Ley asociativa 8. c
C. Leyes distributivas 9. b y 9. c D. Ley transitiva 10. a
E. Leyes de Demorgan 11. a y b F. Leyes de implicación 12. a y b
G. Ley de la contrarrecíproca 13. H. Ley de reducción al absurdo 14.
I. Ley del razonamiento directo (Modus Ponendo Ponens) 15.
J. Ley del razonamiento indirecto (Modus Tollendo Tollens) 16.
K. Ley del silogismo disyuntivo (Modus Tollendo Ponens) 17.
L. Leyes de idempotencia 18. a y b.

2. Elabore 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).

Walter G. Magaña S. 23
INTRODUCCIÓN A LA LÓGICA

1.9. REGLAS DE INFERENCIA

Llamaremos reglas de inferencias a los siguientes razonamientos

válidos elementales, es decir, razonamientos donde la conclusión es
consecuencia lógica de las premisas.

1. Regla de separación (Modus Ponendo Ponens)

Esta ley significa “modo afirmando afirmo”. El modus ponendo
ponens emplea la regla del condicional; es decir, que si tenemos un
condicional verdadero del cual se afirma que el antecedente es verdadero,
entonces se tiene como conclusión la afirmación del consecuente. La forma
o estructura de esta ley es:

P1: p  q
P2: p
C: q

Ejemplo: Los siguientes casos ilustran el manejo de la ley:

A. B. C. D.
P1 :  m   t P1: k P1: (p  q)  s P1: a  b
P2 :  m P2: k   l P2: p  q P2: b
______________ ____________ _______________ ___________
C:  t C:  l C: s C: ¿?
No se puede afirmar nada

2. Regla de inferencia contrapositiva (Modus Tollendo Tollens)

La ley Modus tollendo tollens significa “modo negando niego”, es decir

dado un condicional verdadero y se tiene la negación de su consecuente
como verdadero, entonces se concluye la negación de su antecedente. La
forma o estructura de la ley es la siguiente:

P1: p  q
P2:  q
C:  p

Ejemplo: Los siguientes casos ilustran el manejo de la ley:

Walter G. Magaña S. 24
INTRODUCCIÓN A LA LÓGICA

A. B. C. D.
P1 :  m   t P1: l P1: (r  s)  t P1: u   v
P2 : t P2: k   l P2:  t P2:  v
______________ ____________ ______________ _____________
C:  ( m) C:  k C:  (r  s) C: ¿?
C: m C:  r   s No se puede afirmar nada

3. Regla de simplificación disyuntiva (Modus Tollendo Ponens)

Esta ley significa “modo negando afirmo”. Establece que dado una
disyunción verdadera y teniendo la negación de cualquiera de las
proposiciones componentes como verdadera, entonces se concluye la
afirmación de la otra proposición. Su forma o estructura es la siguiente:

P1 : p  q P1 : p  q
P2 :  p ó P2 :  q
C: q C: p

Ejemplo: Los siguientes casos ilustran la ley

A. B. C. D.
P1 :  m   n P1:  s P1: (m  s)  t P1 : d   f
P2 : m P2: r  s P2:  (m  s) P2 : d
______________ __________ _______________ ____________
C:  n C: r C: t C: ¿?
No se puede afirmar nada

4. Regla de la cadena de inferencias o Ley del Silogismo Hipotético

Esta ley es la que se conoce como transitividad del condicional y

establece que cuando el consecuente de un primer condicional es el
antecedente de un segundo condicional, entonces se puede concluir el
condicional formado por el antecedente del primero con el consecuente del
segundo. La estructura es la siguiente:

P1: p  q
P2: q  r
C: p  r

Walter G. Magaña S. 25
INTRODUCCIÓN A LA LÓGICA

Ejemplo: Los siguientes casos ilustran la ley

A. B. C. D.
P1 :  m   n P1: s   t P1: (u  v)   t P1 : k  l
P2 :  n  t P2: r  s P2:  t  s P2 : k  m
______________ ____________ ______________ _________
C:  m  t C: r   t C: (u  v)  s C: ¿?
No se puede afirmar nada

5. Regla de inferencia conjuntiva o Ley de la conjunción

Esta ley fundamenta el hecho de que si dos proposiciones son
premisas (que se asumen como verdaderas), entonces se puede inferir la
conjunción de las dos proposiciones. Su estructura es la siguiente:

P1 : p
P2 : q
C: p  q

Ejemplo: Los siguientes casos ilustran la ley

A. B. C. D.
P1 :  m P1: (k  l) P1: s   t P1: a
P2 :  n P2: m P2:  r P2: b  c
______________ _____________ _________________ ______________
C:  m   n C: (k  l)  m C: (s   t)   r C: a  (b  c)

6. Regla de simplificación conjuntiva

Esta regla establece que si se tiene la conjunción de dos

proposiciones, entonces se puede inferir como verdadera cualquiera de las
dos proposiciones que la componen.

P1 : p  q ó bien P1: p  q
C: q C: p

Ejemplo: Los siguientes casos ilustran la ley

A. B. C.
P1 :  m   n P1: (k  l)  m P1: (s   t)   r
______________ _______________ __________________
C:  m C: (k  l) C:  r

Walter G. Magaña S. 26
INTRODUCCIÓN A LA LÓGICA

7. Regla de inferencia por casos

Esta regla establece que dados dos condicionales que tienen el
mismo consecuente, entonces se puede inferir un condicional que tiene
como antecedente la disyunción de los antecedentes de los condicionales
dados implicando el mismo consecuente.

P1: p  q
P2: r  q
C: (p  r)  q

Ejemplo: Los siguientes casos ilustran la regla

A. B. C.
P1 :  m   n P1: (k  l)  m P1: (s   t)   r
P2 : r   n P2: s m P1: q r
___________________ ____________________ _______________________
C: ( m  r)   n C: (k  l)  s  m C: (s   t)  q   r

8. Regla de la adición
Esta regla permite adicionar o agregar cualquier otra proposición a
una dada previamente como premisa y que obviamente es verdadera, si y
solo si se establece la disyunción de las dos proposiciones; esto es válido
porque de esta forma se puede garantizar la veracidad del enunciado
inferido. Esta regla se expresa de la siguiente manera:

P1: p
_________
C: p  q

Ejemplo: Los siguientes casos ilustran la ley

A. B. C.
P1 : s   t P1: (m  n) P1:  k
________________ _______________ ___________
C: (s   t)  r C: (m  n)  t C:  k  l

Walter G. Magaña S. 27
INTRODUCCIÓN A LA LÓGICA

1.9.1 Introducción a la demostración formal

Con las tautologías y las reglas de inferencias podemos especificar

precisamente lo que es una demostración válida en el cálculo
proposicional. Un teorema consiste en algunas proposiciones H1 , H2 ,...,
Hn llamadas hipótesis del teorema, las cuales se asumen como
verdaderas, y una proposición C que será su conclusión. Aquí H1 , H2
,..., Hn y C representan proposiciones. Un teorema con hipótesis H1 , H2
,..., Hn y conclusión C es verdadero siempre que
(H1  H2 ... Hn )  C.

De esta manera el teorema es verdadero si y solo si la fórmula

(H1  H2 ... Hn )  C
es una tautología.

La demostración formal de un teorema consiste en una sucesión

de proposiciones, que termina con la conclusión C, y que se consideran
válidas por alguna de varias razones: por ser una hipótesis, una
tautología conocida, o puede ser derivada de alguna de las proposiciones
anteriores de la sucesión por medio de reglas de sustitución o puede ser
inferida de proposiciones anteriores con las reglas de inferencias.

La forma mas natural de demostración es la demostración directa,

en la cual se muestra que las hipótesis H1 , H2 ,..., Hn implican la
conclusión C : H1  H2 ... Hn  C .

Ejemplo ilustrativo 1: Determinar la validez del siguiente razonamiento:

P1: r   t
P2: s  r
P3: s
P4: r
____________
C:  t

Solución:
Se puede simplemente mostrar que la fórmula, expresada en forma
de condicional, es una tautología de la siguiente manera:
(P1  P2  P3  P4)  C, esto es,

[(r   t)  (s  r)  s  r]  ( t)
V V V V V V V

Walter G. Magaña S. 28
INTRODUCCIÓN A LA LÓGICA

Explicación: Como el antecedente r del condicional r   t verdadero es

verdadero, entonces el valor de verdad de  t es verdadero. En
consecuencia, como el antecedente de la fórmula es verdadero, el
consecuente también lo es y entonces el razonamiento es válido.

La manera formal, más usual, de proceder es mediante las Reglas de

Inferencias y se hace el siguiente razonamiento directo: Por la regla de
inferencia 1, regla de separación (M.P.P.), aplicada a las premisas P1 y
P4 se tiene como consecuencia lógica  t.

Obsérvese que en el razonamiento las premisas P2 y P3 no son

necesarias para establecer la validez del razonamiento. Es preciso anotar
que los razonamientos válidos lo son con independencia del contenido
particular de las proposiciones.

Ejemplo ilustrativo 2: Analicemos este otro ejemplo, en el cual se verifica

la validez del siguiente argumento:

Si estudio entonces no fallaré en

Matemáticas. Si no juego fútbol entonces
estudiaré. Pero fallé en Matemáticas. Por lo
tanto, jugué fútbol.

Solución:
Se simboliza el argumento como sigue, utilizando las siguientes variables:
e: Estudio f: Fallar en Matemáticas j: Jugar fútbol

Entonces el razonamiento tiene la forma:

P1 : e   f
P2 :  j  e
P3 : f
______________
C: j

Método 1. Este razonamiento es válido si, y solo si, la fórmula:

[(e   f)  ( j  e)  f ]  j
es una tautología.

Esto se puede ver en el siguiente análisis:

[(e   f )  ( j  e)  f]  j
F V F F V F V V

Walter G. Magaña S. 29
INTRODUCCIÓN A LA LÓGICA

Explicación: Dado que f es verdadera,  f es falsa y como el condicional

e   f es verdadero, entonces e es falsa. Así en el condicional
verdadero  j  e,  j es falsa, luego se concluye que j es verdadera.
Así, se ha demostrado que la fórmula es una tautología, y por lo tanto que
el razonamiento es válido.

Método 2. El mejor método es el que incorpora a las premisas las

conclusiones lógicas secundarias que de ellas se originan y que por tener
el valor de verdad verdadero, pueden considerarse como premisas
auxiliares. A la derecha se escribe la justificación respectiva:

P1: e   f Hipótesis
P2:  j  e Hipótesis
P3: f Hipótesis
P4:  e Regla 4, Modus Tollendo Tollens (MTT) entre P1 y P3
P5:  ( j) Regla 4, MTT entre P2 y P4
P6 = C: j Ley de la doble negación (Propiedad 2)

Por lo tanto, el razonamiento es válido. En lo sucesivo este será el método

que emplearemos.

EJERCICIOS 1.5

1. En cada uno de los problemas siguientes, represente simbólicamente

cada razonamiento y, empleando reglas de inferencia, decida sobre la
validez de cada uno. En cada combinación de premisas, cítese la regla
de inferencia utilizada. (Recomendación: emplee equivalencias lógicas
del cálculo proposicional).

1.1. Para que valga la pena tomarlo es suficiente que sea un excelente
curso. Las calificaciones no son justas o no vale la pena tomar el curso.
Pero las calificaciones son justas. Por lo tanto, éste no es un excelente
curso.

1.2. Si los precios son bajos, entonces los salarios son bajos. Los
precios son bajos o no hay control de precios. Si no hay control de
precios, entonces hay inflación. No hay inflación. Por lo tanto, los
salarios son bajos.

1.3. La lógica es fácil o les gusta a muchos estudiantes. Si las

matemáticas son difíciles, entonces la lógica no es fácil. Por tanto, si a

Walter G. Magaña S. 30
INTRODUCCIÓN A LA LÓGICA

muchos estudiantes no les gusta la lógica, las matemáticas no son

difíciles.

1.4. Si no me corto el pelo, entonces me quedaré en casa. Voy al cine.

Por lo tanto, me corté el pelo.

1.5. Pedro y Simón son de la misma edad, o Pedro es de más edad que
Simón. Si Pedro y Simón son de la misma edad, entonces Laura y Pedro
no son de la misma edad. Si Pedro es de más edad que Simón, entonces
Pedro es de más edad que Pilar. En consecuencia, o Laura y Pedro no
son de la misma edad o Pedro es de más edad que Pilar.

1.6. Si trabajo, no estudio. Trabajo o apruebo lógica. Aprobé lógica.

Luego, estudié.

1.7. No es cierto que Jorge no es culpable y Juan no está diciendo la

verdad. Juan no está diciendo la verdad y el Juez va a condenar a Jorge.
Por lo tanto, Jorge es culpable.

1.8. Si x > 15, entonces x2 > 125. No es cierto que x  15 o x = 0. Por

lo tanto, x2 > 125.

1.9. Si no trabajo, entonces puedo estudiar. No es cierto que trabaje y

practique un deporte. Pero practico un deporte y leo un libro. Por lo
tanto, puedo estudiar.

1.10. La Computación es fácil o solo la estudian los ingenieros de

Sistema. Si la Lógica es difícil, entonces la Computación no es fácil. La
Computación no solo la estudian los ingenieros de sistemas y
programar es fácil. Por lo tanto, la lógica no es difícil.

2. Verifique, mediante reglas de inferencia, la validez de cada argumento.

En cada combinación de premisas indique la regla de inferencia
empleada.

2.1. P1:  p   q 2.2. P1:  r   q 2.3. P1: p   q

P2 : r  q P2:  p  q P2: q  r
P3 :  p P3: (p  r)  s P3: r   s
______________ _____________ _____________
C:  r C: s C:  s   p

Walter G. Magaña S. 31
INTRODUCCIÓN A LA LÓGICA

2.4. P1: r  s 2.5. P1:  (p  q) 2.6. P1: (p  q)  (r  s)

P2 : p P2: q  p P2: q  s
P3 : p  q ____________ P3: p   s
P4: (p  q)  r C:  q ______________________
______________ C: r  s
C: s
2.7. P1:  l  m 2.8. P1: t  (p  s) 2.9. P1:  (p  q)
P2: k   l P2: q   p P2:  r
P3:  g P3: r   s P3:  p  t
P4:  g  e P4: r  q P4: t  r
P5: m  b _______________ ______________
P6: e  k C:  t C: q
___________
C: b

3. Ricardo argumenta lo siguiente:

“Si la computación es fácil, entonces haré el
programa. La lógica no se entiende o la computación
es fácil. Pero la lógica es entendible.”
Combinando adecuadamente todas las proposiciones dadas, determine
una conclusión válida del argumento de Ricardo.

BIBLIOGRAFÍA

 ROSEN, Kenneth H. Matemáticas discretas y sus aplicaciones.

Quinta Edición. Editorial Mc-Graw Hill Companies, Inc. Madrid,
España. 2004.
 ESCOBAR V., Gustavo. Lógica. Nociones y aplicaciones. Primera
edición. Editorial Mc-Graw Hill Interamericana Editores, S.A. de
C.V. México, D.F. Junio de 1999.
 KOLMAN, Bernard, BUSBY, Robert C. y ROSS, Sharon. Estructuras
de Matemáticas Discretas para la Computación. 3ª edición.
Prentice Hall Hispanoamericana, S.A. 1997.
 TREMBLAY, Jean-Paul y MANOHAR, Ram. Matemáticas Discretas.
Con aplicación a las ciencias de la computación. Primera
edición en español. CECSA. México. 1996.
 BARCO G., Carlos; BARCO G., Germán y ARISTIZABAL B., William.
Matemática Digital. Editorial Mc. Graw-Hill. Bogotá. 1998.
 LIPSCHUTZ, Seymour. Matemáticas para computación. Editorial
Mc. Graw-Hill. 1992.

Walter G. Magaña S. 32
INTRODUCCIÓN A LA LÓGICA

 ROSS, Kenneth A. y WRIGHT, Charles R.B. Matemáticas discretas.

Segunda Edición. Prentice Hall Hispanoamericana, S.A. 1990.

 BUSTAMANTE, Alfonso. Elementos de Álgebra en Ciencias de la

Computación. Serie Textos Universitarios del ICESI. N6. 1988.

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

Walter G. Magaña S. 33