18CS36 DMS Módulo 1 Notas de VTU 3er Semestre CSE/ISE Matemáticas Discretas

o AJ de Ingeniería y Tecnología, Mangaluru, Instituto AJ de Ingeniería
Notas de lectura
Matemática Estructuras físicas

discreta (18CS36)
Preparado por
Instit
Dra. Shantha Kumari. K.

Departamento de Matemáticas
AJIET, Mangaluru
Módulo 1
Fundamentos de la
lógica
1.1 Proposición
Instituto AJ de Ingeniería y Tecnología, Mangaluru,Instituto AJ de Ingeniería y Tecnología, Mangaluru
Las proposiciones (o afirmaciones) son oraciones declarativas que son verdaderas o falsas, pero no ambas. Por
ejemplo, las siguientes son declaraciones y usamos las letras minúsculas del alfabeto (como p, q y r ) para
representar estas declaraciones.
Ejemplos: 6
p: Combinatoria es un curso obligatorio para Ingeniería en Ciencias de la Computación.
q: Margaret Mitchell escribió Lo que el viento se llevó.
r:2+3=5
No consideramos frases como la exclamación “¡Qué hermosa tarde!” o el comando “Levántate y haz tus
ejercicios”. o la pregunta "¿A dónde vas?" como enunciados ya que no tienen valores de verdad (verdadero o
falso). Además, "El número x es un número entero". no es un enunciado porque su valor de verdad (verdadero o
falso) no se puede determinar hasta que se asigne un valor numérico a x. Si a x se le asignara el valor 7, el
resultado sería una afirmación verdadera. Sin embargo, asignar a x un valor como 1
2 haría que la afirmación
resultante fuera falsa.
1.2 Enunciados primitivos y compuestos
Una proposición que no se puede descomponer en enunciados más simples se llama enunciado primitivo. Además,
una declaración primitiva no contiene conectivas lógicas. La proposición que se obtiene combinando dos o más
enunciados primitivos utilizando conectivos lógicos se denomina enunciado compuesto.
Ejemplo 1.2.1. Determina si cada una de las siguientes oraciones es un enunciado. ¿Cuáles de estas son declaraciones
primitivas?
a) En 2003 George W. Bush era presidente de Estados Unidos. b) x + 3 es un número entero positivo. c) Quince es un
número par. d) Si Jennifer llega tarde a la fiesta, entonces su primo Zachary se enojará bastante. e) ¿Qué hora es?
1
Respuesta: Las oraciones de las partes (a), (c) y (d) son declaraciones. (b) no es un enunciado según su valor de
verdad
2
Apuntes de clase - 18CS36 (Estructuras matemáticas discretas) Página 3
no se puede determinar hasta que se asigne un valor numérico a x . (e) no es una declaración ya que es una
pregunta. Las declaraciones de los incisos (a), (c) y (f) son declaraciones primitivas.
1.3 Negación
La negación de un enunciado generalmente se forma escribiendo la palabra "no" en un lugar apropiado del
enunciado (proposición) o anteponiendo al enunciado la frase "No es el caso que". Si p denota un enunciado
entonces la negación de p se escribe como p o ∼ p y se lee como 'no p'. Si el valor de verdad de p es T entonces
el valor de verdad de p es F. Además, si el valor de verdad de p es F, entonces el valor de verdad de p es T.
La tabla de verdad para la negación es:
1.4 Conjunción
La conjunción de los enunciados p, q se denota por p ∧ q , cuyo se lee ”pyq · El enunciado p ∧ q tiene ise
valor de verdad T siempre que p y q tengan el valor de verdad La tiene valor de verdad F .
tabla de verdad para la conjunción está dada por
t
F
t
F F
1.5 Disyunción
La disyunción de dos enunciados p y q es el enunciado p ∨ q que se lee como 'p o q'. El enunciado p ∨ q tiene el
valor de verdad F sólo cuando p y q tienen el valor de verdad F. De lo contrario, tiene valor de verdad T.
La tabla de verdad para la disyunción es:
pa q p∨q
t t t
t F t
F t t
F F F
Ejemplo 1.5.1. Construya la tabla de verdad para p ∨ ( q∧r)
Solución: Tabla de verdad para p ∨ ( q ∧ r) es:
Dr. Shantha Kumari.K., Departamento de Matemáticas AJIET, Mangaluru

pag q r ( q) ( q∧r) pag ∨ ( q∧r)

F F F t F F
F F t t t t
F t F F F F
F t t F F F
t F F t F t
t F t t t t
t t F F F t
t t t F F t
Ins
titu
to
AJ
1.6 Equivalencia lógica
de
Ing
eni Se dice que dos enunciados compuestos s 1 , s 2 son lógicamente equivalentes, y escribimos s 1 ⇔ s 2 o s 1 ≡ s 2 si
erí
ay tienen los mismos valores de verdad para todas las opciones de valores de verdad para sus componentes
Te
cn primitivos.
Ejemplo 1.6.1. Demuestre que ∼ (p ∧ q) ⇔ (∼ p∨ ∼ q)
olo
gía
,
Ma Solución: Denotemos s 1 :∼ (p ∧ q) y s 2 : (∼ p∨ ∼ q) y las tablas de verdad para s 1 y
ng s2
alu
ru,
.
pq (p∧q) s 1 :∼ (p ∧ q) F ∼ s 2 : (∼ p∨ ∼ q)
Ins
titu t F F
to
AJ t F t t
de
Ing F
eni
erí F
ay
Te
Dado que los valores de verdad de s 1 tener s 1 ⇔ s 2 .
cn
olo
y s 2 son s
gía Ejemplo 1.6.2. Muestra esa (pag ⇔ -p ∧ -q
,
Ma
ng Solución :
alu
ru
pag q (p∨q) (p∨q) ( pag) ( q) ( p∧ q)
F F F t t t t
F t t F t F F
t F t F F t F
t t t F F F F
Dado que los valores de verdad de (p ∨ q) y pag ∧ De acuerdo q estas dos afirmaciones son logicamente
equivalentes.
Ejemplo 1.6.3. Construyendo la tabla de verdad, demuestre que las proposiciones compuestas p ∧ ( q ∨ r) y
pag ∨ (q ∧ r) no son lógicamente equivalentes. (VTU diciembre de
2014)
Solución: La tabla de verdad para las afirmaciones
dadas es:

paq r ∼q ∼q∨r s 1 : p ∧ (∼ q ∨ r) ∼r (q∧∼r) s 2 : p ∨ (q∧ ∼ r)

t t t F t t F F t
t t F F F F t t t
t F t t t t F F F
t F F t t t t F F
F t t F t F F F F
F t F F F F t t F
In F F t t t F F F F
stit
ut F F F t t F t F F
o
AJ Los valores de verdad de los enunciados correspondientes a las columnas s 1 yd s 2 no son los mismos. Por tanto,
de
las afirmaciones dadas no son lógicamente equivalentes.
In
ge
ni
erí
a 1.7 Condicional
y
Te
cn Si p y q son dos enunciados (o proposiciones) cualesquiera, entonces el se lee como, 'Si p,
ol
og enunciado p → se llama enunciado condicional o implicación y el conectivo es entonces q' es nectivo.
ía,
M el condi. El condicional se define mediante la siguiente tabla:
an
ga pag→
lur
u, T
In t F
stit
F
ut
o t
AJ
de
In En este enunciado condicional, p se llama tesis y q se llama consecuencia o conclusión . y una de
ge Nota: También leemos a los estadistas. las formas equivalentes:
ni
erí (i) “ p implica q ” (ii) “Si p, entonces p es suficiente para q ”
a
y (iv) "p es una condición suficiente
Te para
cn (v) “q es necesario para
ol p
(vi) "q es una condición necesaria para p " (vi)” p sólo si q ”
og
ía,
M Ejemplo 1.7.1. Pruebalo
an
ga p → q ⇔∼ p ∨ q
lur
u
Prueba: Construyamos la tabla de verdad para ambos enunciados s 1 : p → q y s 2 : ∼ p ∨ q .
pq s 1 : pag → q ∼pag s2:∼p∨q

TT t F t
TF F F F
PIE t t t
FF t t t

Dado que los valores de verdad de s 2 : p ∨ q y s 1 : p → q están de acuerdo, son lógicamente equivalentes.
Ejemplo 1.7.2. Reescribe cada una de las siguientes afirmaciones como una implicación en la forma si-entonces.
a) Practicar su servicio a diario es condición suficiente para que Darci tenga buenas posibilidades de ganar el torneo de
tenis.
b) Repara mi aire acondicionado o no pagaré el alquiler.
c) A Mary se le permitirá subir a la motocicleta de Larry solo si usa su casco.
Solución :
a) “p es una condición suficiente para q” es el enunciado p → q . Por lo tanto, la afirmación dada puede escribirse
como: "Si Darci practica su servicio a diario, tendrá buenas posibilidades de ganar el torneo de tenis".
La declaración tiene la forma ∼ p∨ q que es equivalente a p → q . Por lo tanto, la declaración dada se puede
b) escribir como: "Si no arreglas mi aire acondicionado, no pagaré el alquiler".

“p sólo si q” es la afirmación p → q . Por lo tanto, una declaración dada

puede realizarse en la motocicleta de Larry, entonces ella debe
C) como: “Si a María se le permite
usar su casco.
Ejemplo 1.7.3. Determine el valor de verdad de cada uno de los siguientes

i) Si 3 + 4 = 12 entonces 3 + 2 = 6
ii)si4 +4=8entonces5+4= 10
111) Si el Dr. Radhakrishnan fue el primer presidente de la (VTU diciembre de
India, entonces 3 + 4 = 7. 2007)
Solución :
e p :3 + 4 = 12 y q :3 + 2 = 6. Dado que tanto p como q son falsos,

(i) La declaración tiene la forma p
declaración p → q es Verdadera.
q donde p :4 + 4 = 8 y q :5 + 4 = 10. Como p es Verdadero y q es Falso,
(ii) El enunciado tiene la forma p
enunciado p → q es falso.
(iii) La declaración tiene la forma p → q donde p : Dr. Radhakrishnan fue el primer presidente de la India y q : 3 +
4 = 7. Dado que p es falso y q es verdadero, la afirmación p → q es verdadera.
Ejemplo 1.7.4. Sean p, q enunciados primitivos para los cuales la implicación p → q es falsa. Determine los valores de
verdad para cada uno de los siguientes: i) p ∧ q ii) p ∨ q iii) q → p iv) q → p (VTU diciembre de 2014, diciembre de 2013,
junio de 2008)
Solución: Dado que p → q es falso. es decir, p es Verdadero y q es Falso. Por tanto i) p ∧ q es Falso. ii) p ∨ q es
falso. iii) q → p es Verdadero. iv) q → p es falso.
Ejemplo 1.7.5. Encuentre los posibles valores de verdad de p, q y r si

i) p → (q ∨ r) es FALSO ii) p ∧ (q → r) es VERDADERO. (VTU junio de 2017, diciembre

de 2007)

Solución: (i) Dado que p → (q∨r) es FALSO. Esto implica que p es Verdadero y (q∨r) es Falso. Ahora (q∨r) es Falso
implica que q es Falso y r es Falso. Por tanto, los posibles valores de verdad de p, q y r son respectivamente
Verdadero, Falso y Falso.
(ii) Dado que p ∧ (q → r) es VERDADERO. Entonces p es Verdadero y q → r es Verdadero.
Ahora, q → r es Verdadero cuando q es Verdadero y r es Verdadero o cuando q es Falso y r es Verdadero o q es
Falso y r es Falso. Por lo tanto, los posibles valores de verdad de p, q y r son respectivamente T, T, T o T, F, T o T,
F, F.
Ins Ejemplo 1.7.6. Construya la tabla de verdad para, [p ∧ (p → q)] → q (enero de 2015, junio de
titu 2014)
to
AJ Solución: la tabla de verdad para el enunciado compuesto dado es
de
In
ge pa q q)] → q
p→q p∧ (p → q) [p∧(p→
nie
ría t t t t
y
t F F F
Te
cn F t t F
olo
gí F F t F
a,
Ejemplo 1.7.7. Construya la tabla de verdad para, {(p → q) ∧ (q → r)} → {(p → r)}
M
an (enero de 2015, junio de 2014)
gal
ur
u, Solución: la tabla de verdad para el enunciado compuesto dado → q) ∧ (q → r)} → {(p → r)} es
Ins
titu {(p → q) ∧ (q → r)} S
to
pag q r (pag → q) (q → r)
AJ t t
t t t t t
de F F t
In t t F t
ge t F t
t F t F FT
nie F t
F
ría t F F F
y t t t
F t t t t
Te
t F t
cn F t F t F
olo t t t
gí F F t t t
a, t t t
F F F t t
M
an
gal
ur
1.8 Bicondicional
u
Si p y q son dos enunciados (proposiciones), entonces el enunciado p ↔ q que se lee como 'p si y sólo si q' y se
abrevia como 'p si q' se llama enunciado bicondicional y el conectivo ↔ es el enunciado bicondicional. conectivo.
Los valores de verdad de p ↔ q vienen dados por la siguiente tabla:

pa q p↔q
t t t
t F F
F t F
F F t
p ↔ q también se puede expresar como “p es una condición necesaria y suficiente para q”.
el bicondicional de dos enunciados p, q, se denota por p ↔ q que se lee "p si y sólo si q " o "p es necesario y
suficiente para q "
Ejemplo 1.8.1. Construya la tabla de verdad para (p → q) ∧ (q → p) y demuestre que es lógicamente equivalente a p↔q
Solución: la tabla de verdad para el enunciado dado es

Dado que los valores de Verdad de s 1 y S 2 son iguales, son lógicamente equivalentes.
pa q p→q q→p s 1 : (p → q) ∧ (q → p) s2:p↔q

t t t t t t
F.
t F F t
A <F
F t t F F
t
F
F F t t
t
Ejemplo 1.8.2. Sean p, q, r, s los siguientes enunciados: p : Termino de escribir mi programa de computadora antes del
almuerzo. P: Jugaré tenis por la tarde. r : El sol está brillando. s : La humedad es baja.
Escribe lo siguiente en forma simbólica.
a) Si brilla el sol, jugaré al tenis esta tarde.
b) Es necesario terminar de escribir mi programa de computadora antes del almuerzo para poder jugar al tenis esta
tarde. c) La poca humedad y el sol son suficientes para jugar al tenis esta tarde.
Solución: Las formas simbólicas de las declaraciones dadas son: (a) r → q (b) q → p (c) (s ∧ r) → q
Ejemplo 1.8.3. Sean p, q enunciados primitivos cuya implicación p → q es falsa. determinar la verdad
valores de los siguientes. (p ∨ q) ↔ (q ∨ p) (VTU - junio de 2015, enero
de 2014)
Solución: El valor de verdad de (p ∨ q) ↔ (q ∨ p) viene dado por la siguiente tabla:
Ejemplo 1.8.4. Sean p, q enunciados primitivos para los cuales la implicación p → q es falsa. Determine los valores de
verdad para cada uno de los siguientes.
pa q p∨q q∨p (p∨ q) ↔ (q ∨p)
t t t t t
t F t t t
F t t t t
F F F F t

(a) p∧q
(b) pag ∨ q
(C) q→p
(d)
q→
pag
Solución : Dado que p → q es falso, el valor de verdad de p es T y el de q es F. Como

In
consecuencia,
stit
ut
o (a) p ∧ q tiene el valor de verdad
AJ F
de (b) p ∨ q tiene el valor de verdad
In F.
ge
ni (C) q → p tiene el valor de verdad
erí T
a (d) q → p tiene el valor de verdad F.
y
Te
Ejemplo 1.8.5. Sean p, q, r los siguientes enunciados sobre un triángulo ABC particular. p : El triángulo ABC es isósceles.
cn
ol q : El triángulo ABC es equilátero. r : El triángulo ABC es equiangular. Traduce cada uno de los siguientes a una oración
og
ía, en inglés.
M
an
ga (a) q→p
lur
u,
(b) pag → q
In
stit (C) q↔r
ut
o
AJ (d) p∧ q
de
In (mi r→p
ge )
ni
erí Solución: Las frases en inglés. Además de las declaraciones dadas se dan a
a continuación.
y
Te (a) q → p : Si el triángulo ABC es equilátero, entonces es
cn isósceles.
ol
og (b) pag → q : Si el triángulo ABC no es isósceles, entonces no es equilátero.
ía,
M (C) q ↔ r : El triángulo ABC es equilátero si y sólo si es equiangular.
an
ga
lur (d) pag ∧ q : El triángulo ABC es isósceles pero no es equilátero.
u
(mi r → p : Si el triángulo ABC es equiangular, entonces es
) isósceles.
Ejemplo 1.8.6.
Sean p, q y r proposiciones que tienen valores de verdad 0, 0 y 1 respectivamente. Encuentre los valores de
verdad de
siguientes proposiciones compuestas. (VTU enero de
2017)
(i) (p∧q) → r

(ii) pag → (q ∧ r)
(iii) pag ∧ (r → q)
(iv) p → (q → ( r))
Solución: Dado que los valores de verdad de p, q y r son 0,0 y 1 respectivamente. Usando estos podemos escribir
los valores de verdad de declaraciones dadas de la siguiente manera.
Ins
titu
to (i) Valor de verdad de (p ∧ q) → r es 1
AJ
de (ii) Valor de verdad de p → (q ∧ r) es 1
In
ge
nie (iii) El valor de verdad de p ∧ (r → q ) es 0
ría
y (iv) Valor de verdad de p → (q → r) es 1
Te
cn
olo Ejemplo 1.8.7. Si el enunciado q tiene el valor de verdad 1, determine todas las asignaciones de valores de
gí
verdad para los enunciados primitivos p , r y s para los cuales el valor de verdad del enunciado:
a,
M (q → [( pag ∨ r) ∧ s]) ∧ [ s → ( r ∧ q)] es 1. ne 2019, enero de 2018,
an diciembre de 2007)
gal
ur Solución: el enunciado dado es una conjunción de dos enunciados ere tu : (q → [( pag ∨ r) ∧ s]) s 1,
u,
u tenemos el valor de verdad de u es 1.
Ins
y ely valor
v : [-s de
→ (-r . Dado
∧ q)] de
verdad v es que
1. el valor de verdad de este conjun
titu
to Como q es Verdadero y u es Verdadero, tenemos rud
AJ a.
de ( p ∨ r) Esto implica ( p ∨ r) es Verdadero y s es (*)
In Verdadero.
ge
nie Claramente s es falso.
ría
Ahora s es Verdadero y v es r ∧ q) es Verdadero. Esto implica que cada uno de r y q son
y
Verdadero. h verdaderos.
Te Por tanto, r es
cn falso. (**)
olo De (*) tenemos p ∨ r es Verdadero. Pero de (**) tenemos r es Falso. Por eso p es
gí verdadero.
Esto implica que p es falso.
a,
M Por tanto, los valores de verdad de p , r y s son
an respectivamente 0, 0 y 0.
gal
ur
u 1.9 Tautología
Un enunciado compuesto se denomina tautología si es verdadero para todos los valores de verdad posibles de los
enunciados que lo componen. Usaremos el símbolo T 0 para denotar cualquier tautología.
Nota: Dos fórmulas de enunciado s 1 y s 2 son equivalentes siempre que s 1 ↔ s 2 sea una tautología. Por el
contrario, si
s 1 ↔ s 2 es una tautología, entonces s 1 y s 2 son equivalentes.

1.10 Contradicción
Si un enunciado compuesto es falso para todos los valores de verdad posibles de los enunciados que lo
componen, entonces se llama contradicción. Usaremos el símbolo F 0 para denotar cualquier contradicción.
Nota: Una fórmula enunciativa que no es ni una tautología ni una contradicción se conoce como contingencia .
Ejemplo 1.10.1. Construya una tabla de verdad para cada uno de los siguientes enunciados compuestos, donde p, q, r
denotan enunciados primitivos. ¿Cuáles de estas afirmaciones son tautologías?
(a) (pag ∨ q) → pag
(b) pag → (q → r)
(c) (p → q) → r
(d) (p → q) → (q → p)
(e) [p∧ (p → q)] → q

(f) (pag ∧ q) → pag
(g) q ↔ ( pag ∨ q)
(h) [(p → q) ∧ (q → r)] → (p → r) (•

6
Solución :
oh
(a) La tabla de verdad de la proposición compuesta. (pag ∨ q) → p es:
Dado que el Enunciado tiene todos los valores de verdad como T, es una Tautología.
pag q q pag∨ q • (pag ∨ q) pag (pag ∨ q) → pag
t t F F F t
t F t t F F t
F t F >F t t t
F F t t F t t
(b) La tabla de verdad para la proposición compuesta p → (q → r) es:
pag q r q→r p→ (q→r)

t t t t t
t t F F F
t F t t t
t F F t t
F t t t t
F t F F t
F F t t t
F F F t t

Dado que no todos los Valores de Verdad son T, la afirmación no

es una Tautología.
(c) La tabla de verdad para la proposición compuesta (p → q) → r es:
pqr p→q (p → q) → r
TTF t F
TFT F t
Ins TFF F t
titu FTT t t
to
AJ FTF t F
de FFT t t
In
ge FFF t F
nie
ría Dado que no todos los Valores de Verdad son T, la afirmación no
y es una Tautología.
Te
cn (d) La tabla de verdad para la proposición compuesta (p → q) → (q → p) es:
olo
gí pa (p → )
a, pq (pag → q) (q → g) q) →
M
TT t t
an
gal TF F t
ur
u, PIE t F
t
FF t t
Ins
titu Como no todos los Valores de Verdad son T, el ogía
to enunciado es n .
AJ
de (e) La tabla de verdad para la proposición compuesta [p ∧ (p → q)] → q es:
In
ge
nie pag q p→q p∧ (p → q) [p∧ (p→ q)] → q
ría
t t t t t
y
Te t F F F t
cn
olo F t t F t
gí F F t F t
a,
M Dado que el Enunciado tiene todos los valores de verdad como
an T, es una Tautología.
gal
ur (f) La tabla de verdad para la proposición compuesta (p ∧ q) → p es:
u
pq p∧q (p∧q) →p
TT t t
TF F t
PIE F t
FF F t
Dado que el Enunciado tiene todos los valores de verdad como

T, es una Tautología.
(g) La tabla de verdad para la proposición compuesta q ↔ ( pag ∨ q) es:

pag q ∼pag ∼q (∼p∨∼q) q ↔ (∼ p∨ ∼ q)

t t F F F F
t F F t t F
F t t F t t
F F t t t F
Dado que no todos los Valores de Verdad son T, la afirmación no

Ins es una Tautología.
titu (h) La tabla de verdad para la proposición compuesta [(p → q) ∧ (q → r)] → (p → r) es:
to
AJ
de pag q r s 1 : (pag → q) s 2 : (q → r) s 3 : (p→ r) {s 1 ∧ s 2 } {(s 1 ∧ s 2 ) → s 3 }
In
ge t t t t t t t t
nie
t t F t F F F t
ría
y t F t F t t F t
Te
cn t F F F t F F t
olo F t t t t t t t
gí
a, F t F t F t t
M
an F F t t t t t
gal t
F F F t t t t
ur -----------•—---------
u, Dado que la Declaración [(p → q) ∧ (q → r)] → (p → Valores de verdad como T, es una
tautología.
Ins
titu Ejemplo 1.10.2. Demuestre que el enunciado (p ∧ q) →
to
AJ
de Solución :
In
ge
∧q (p∧q) →p
nie
ría t t
y
Te F F t
cn PIE F t
olo
gí FF F t
a,
M
an Dado que el Enunciado tiene todos los valores de verdad como T, es una
gal Tautología.
ur
u Ejemplo 1.10.3. Demuestre que (p∧ ∼ q) ∧ (∼ p ∨ q) es una contradicción.
Solución: Preparemos la tabla de verdad para (p∧ ∼ q) ∧ (∼ p ∨ q )
pag q ∼ q (p∧∼q) ∼pag (∼p∨q) (p∧ ∼ q) ∧ (∼ p ∨ q)

t t F F F t F
t F t t F F F
F t F F t t F
F F t F t t F

La última columna muestra que (p∧ ∼ q) ∧ (∼ p ∨ q) siempre es falsa, sin importar cuáles sean los valores de
verdad de py q. Por tanto (p∧ ∼ q) ∧ (∼ p ∨ q ) es una contradicción.
Ejemplo 1.10.4. Demuestre que p → (p ∨ q) es una tautología.
Solución: Construyamos la tabla de verdad para el enunciado dado.
pa q p∨q p → (p∨q)
Ins
titu t t t t
to t F t t
AJ
de F t t t
In
ge F F F t
nie
Dado que el Enunciado tiene todos los valores de verdad como
ría
T, es una Tautología.
y
Te Ejemplo 1.10.5. Determine si p ∧ ( p ∧ q) es una tautología
cn
olo
Solución :
gí
a, 1p∧q pag ∧ ( pag ∧
pa q pag
q
M
an 0 0 1 0 0
gal 0
ur 0 1 1 1
u, 1 0 0 0 0
Ins 1 1 0 0
titu Dado que la afirmación no siempre es verdadera, no gy. Por otro lado, todos sus valores de verdad
to son 0.
AJ puede ser (es decir, falsa). Por tanto es una
de
contradicción.
In Ejemplo 1.10.6. Demuestre que para cualquier ,q,r la proposición compuesta
ge
nie proposición [(p∨q) ∧{(p→r) ∧(q→r)}] autología.
ría
y
Te Solución: Construyamos la T. e para la proposición dada.
cn
olo
gí
a, pag q r s1:p∨q s2:p→r s3:q→r s2∧s3 s 4 : s 1 ∧ (s 2 ∧ s 3 ) s4→r
M
an t t t t t t t t t
gal
ur t t F t F F F F t
u t F t t t t t t t
t F F t F t F F t
F t t t t t t t t
F t F t t F F F t
F F t F t t t F t
F F F F t t t F t
Dado que la Declaración (en la última columna) tiene todos los valores de verdad
como T, es una Tautología.
Ejemplo 1.10.7. Demuestre que (p ∧ (p → q)) → q es independiente de sus componentes. (VTU junio de
2017)

Solución: Construyamos la tabla de verdad para la proposición dada.
pag q p→q s : p ∧ (p → q) s→q

t t t t t
t F F F t
F t t F t
F F t F t
Dado que el Enunciado (en la última columna) tiene todos los valores de verdad como T, es independiente de sus
componentes (es decir, es una Tautología).
Ejemplo 1.10.8. Demuestre que, para cualesquiera proposiciones p, q, r las proposiciones compuestas, las siguientes proposiciones
son tautologías.
(i) {(p → q) ∧ (q → r)} → {(p → r)} (VTU junio de 2015, 2010, diciembre de 2012)
(ii) {p → (q → r)} → {(p → q) → (p → r)} (VTU junio de 2019, junio de 2018, junio de 2012)
(iii) (p → (q ∨ r)) ↔ ((p ∧ q) → r) (VTU junio de

2016)
(iv) Determina si el siguiente enunciado compuesto
[(p ∨ q) → r]↔[ r → (p ∨ q)]
(VTU enero de 2019, enero
de 2016)
(v) [(p → r) ∧ (q → r)] → [ (p ∨ q) → r]
(vi) [(p ∨ q) ∧ (p → r) ∧ (q → r)] → r (VTU diciembre de 2016, 2011, 2009, 2007)

Un
Solución :
(i) Construyamos la tabla de verdad para la proposición {(p → q) ∧ (q → r)} → {(p → r)}
(ii) Construyamos la tabla de verdad para la proposición, {p → (q → r)} → {(p → q) → (p → r)}
pag q r p→q q→r s1 : (p → q) ∧ (q → r) s2:p→r s1→s2

t t t t t t t t
t t F t F F F t
t F t F t F t t
t F F F t F F t
F t t t t t t t
F t F t F F t t
F F t t t t t t
F F F t t t t t
Dado que la Declaración (en la última columna) tiene todos los valores de verdad
como T, es una Tautología.

pag q r q→r s 1 : p → (q → r) (pag → q) (p→r) s 2 : (p → q) → (p → r) s1→s2

t t t t t t t t t
t t F F F t F F t
t F t t t F t t t
t F F t t F F t t
F t t t t t t t t
Ins
titu F t F F t t t t t
to
AJ F F t t t t t t t
de F F F t t t t t t
In
ge Dado que la Declaración (en la última columna) tiene todos los valores de verdad
nie como T, es una Tautología.
ría (iii) Construyamos la tabla de verdad para la proposición dada. (p → (q ∨ r)) ↔ ((p ∧ q) → r)
y
Te
cn
olo
gí pqr (q∨r) s 1 : p → (q ∨ r) ∼q (p∧∼q) s 2 : (p∧ ∼ q) → r t1↔t2
a, t
TTT t t F F t
M toneladas
an TTF t t F F.A.A. 3 t
gal
TFT t t t t t t
ur
u, TFF F F t t F t
Ins FTT t t F F t t
titu FTF t t F F t t
to
AJ FFT t t t F t t
de
In FFF F t t F t t
ge Dado que la Declaración (en la última columna) tiene todos los valores de verdad como T, es una
nie Tautología.
ría
y
(iv) Construyamos la tabla de verdad para la proposición dada. [(p ∨ q) → r]↔[ r → (p ∨ q)]
Te
cn
olo
gí pqr (p∨q) s 1 : (p ∨ q) → r ∼r ∼ (p∨q) s 2 :∼ r →∼ (p ∨ q) t1↔t2
a,
M TTT t t F F t t
an TTF t F t F F t
gal
ur TFT t t F F t t
u
TFF t F t F F t
FTT t t F F t t
FTF t F t F F t
FFT F t F t t t
FFF F t t t t t
Dado que la Declaración (en la última columna) tiene todos los valores de verdad como T, es una
Tautología.
(v) Construyamos la tabla de verdad para la proposición dada. [(p → r) ∧ (q → r)] → [ (p ∨ q) → r] Sugerencia:
Pruébelo usted mismo. Es una tautología.
(vi) Construyamos la tabla de verdad para la proposición [(p ∨ q) ∧ (p → r) ∧ (q → r)] → r Denotemos

S : (p ∨ q) ∧ (p → r) ∧ (q → r)
pag q r (p∨q) (p → r) (p → q) ∧ (p → r) (q → r) S S→r

t t t t t t t t t
t t F t F F F F t
t F t t t t t t t
Ins
titu t F F t F F t F t
to F t t t t t t t t
AJ
de F t F t t t F F t
In
ge F F t F t F t F t
nie F F F F t F t F t
ría
y Dado que la Declaración (en la última columna) tiene todos los valores de verdad
Te como T, es una Tautología.
cn
olo Ejemplo 1.10.9. Examinar si la proposición compuesta (p ∨ (q ∧ r)∨ ∼ (p ∨ (q ∧ r)) es una
gí Tautología. A (VTU enero de
a, 2017)
M
an Solución: La tabla de verdad para el enunciado dado
gal es:
ur
u, pqr (q∧r) s1:p∨(q∧r) ∨ (q ∧ r)) s1∨s2
Ins t t t t t F t
titu F F
t t F t t
to
AJ t F F F t F t
de
In t F t F F t
ge F t t t F t
nie
ría F t F F F t t
y t t
F F t F
Te
cn F F F F t t
olo
gí
a, Dado que la Declaración (en la última columna) tiene todos los valores de verdad
M como T, es una Tautología.
an
gal Ejemplo 1.10.10. Demuestre que (p ↔ q) ⇔ (p → q) ∧ (q → p)
ur
u Solución :
pa q p→q q→p (p → q) ∧ (q → p) p↔q
0 0 1 1 1 1
0 1 1 0 0 0
1 0 0 1 0 0
1 1 1 1 1 1
Dado que los valores de verdad de (p ↔ q) y (p → q) ∧ (q → p) son iguales, son lógicamente equivalentes.

Ejemplo 1.10.11. Demuestre que p → (q → r) y (p ∧ q) → r son lógicamente equivalentes.
Solución:
pag q r q→r pag → (q → r) p∧q (pag ∧ q) → r

t t t t t t t
t t F F F t F
Ins
t F t t t F t
titu
to t F F t t F t
AJ
de F t t t t F t
In F t F F t F t
ge
nie F F t t t F t
ría
F F F t t F t
y
Te
cn Dado que los valores de verdad de p → (q → r) y (p ∧ q) → r son los mismos para cada conjunto de valores de
olo verdad de p; q y
r, podemos concluir que p → (q → r) y (p ∧ q ) → r son lógicamente equivalentes
gí
a,
M Ejemplo 1.10.12. Sean s, t y u las siguientes proposiciones primitivas:
an
s: Phyllis sale a caminar. t: Ha salido la luna. u: Está nevando. e posibles traducciones para lo dado
gal
ur Declaraciones compuestas (simbólicas). (yo) (t ∧ u) → s (ii) t → s) (iii) (s ↔ (u ∨ t))
u,
Además, proporcione la notación simbólica para la siguiente frase en
Ins inglés (iv) “Phyllis saldrá a caminar si y solo si sale la luna”. (v) "Si está nevando y no sale la luna,
titu
to Entonces Phyllis no saldrá a caminar”. (vi) "Es Phyllis seguirá saliendo a caminar”.
AJ
de
In Solución: (i) (t ∧ u) → s : Si la luna y no nieva, entonces Phyllis sale a caminar.
ge No nieva. Phyllis sale a caminar. (iii) (s ↔
nie (ii) t → ( u → s): Si la luna es (u ∨ t)): No
ría es el caso que Phy. Ahora la nota lógica Sale a caminar si y sólo si está nevando o hay luna. r tres
y
Te (o simbólica) oraciones dadas en inglés:
cn (iv) "Phyllis saldrá a caminar si y sólo si sale la luna". s ↔ t
olo
gí (v) "Si está nevando y no sale la luna, entonces Phyllis no saldrá a caminar". La forma simbólica es: (u ∧ t) → s
a,
M vi) "Está nevando, pero Phyllis todavía saldrá a caminar". tu ∧ s
an
gal
ur
u Ejemplo 1.10.13. Utilice tablas de verdad para verificar, [pag → (q ∧ r)] ⇐⇒ [(pag → q)
∧ (pag. → r)] (VTU enero
2018)
Solución: La tabla de verdad para s 1 : [p → (q ∧ r)] y s 2 : [(p → q) ∧ (p → r)] se puede construir de la siguiente
manera.

pag q r (q∧r) s 1 : p → (q ∧ r) (pag → q) (p → r) s 2 : (p → q) ∧ (p → r)

t t t t t t t t
t t F F F t F F
t F t F F F t F
t F F F F F F F
F t t t t t t t
F t F F t t t t
F F t F t t t t
F F F F t t t t
Dado que los valores de verdad de s 1 y s 2 concuerdan, son lógicamente equivalentes.
Ejemplo 1.10.14. Usando la tabla de verdad demuestre que [ pag ∧ ( q ∧ r)] ∨ [(q ∧ r) ∨ (p ∧ r)] ⇐⇒ r (VTU enero de 2016,
diciembre de 2009)
Solución: construyamos la tabla de verdad para s : [ pag ∧ ( q ∧ r)] ∨ [(q ∧ r) ∨ (p ∧ r)] y compararlo con la columna r
Ejercicio 1
pa q r ∼q ∼q∧r ∼pag A :∼ p ∧ (∼ q ∧ r) q∧r (pag ∧ r) B: (q ∧ r) ∨ (p ∧ r) s:A∨B

t t t F F F F t t (VTU
t diciembre de t
2009)
t t F F F F F F F F F
F
(6
t F t t t F F t t t
t F F t F F F F F F
F t t F F t F t F t t
F
F
t
F
F
t
F
t
F
t
t
t
Ft F
F
F
F
F
F
F
t
F F F t F t F F F F F
Dado que los valores de verdad de Sin embargo, son lógicamente

ambos s an equivalentes.
1. Utilice tablas de verdad para verificar, [(p ∨ q) ⇒ r] ⇐⇒ [(p → r) ∧ (q → r)]
2. Utilice la tabla de verdad para establecer lo siguiente:

[(p↔q) ∧ (q ↔ r) ∧ (r ↔ p)] ⇔ [(p → q) ∧ (q → r) ∧ (r → p)] (VTU junio de 2008)
3. Pruebalo [p ∧ q] ⇔ [ pag ∨ q]
4. Demuestre que (p ↔ q) ∧ [ q ∧ (r ∨ q)] ⇔ [q ∨ p] (VTU enero de 2016)
5. Pruebalo ( p ∨ q) ∧ (p ∧ (p ∧ q)) ⇔ p ∧ q (VTU diciembre de 2013)

1.11 Las leyes de la lógica
Una equivalencia lógica se puede demostrar usando una tabla de verdad o usando una cadena de equivalencias lógicas
conocidas (leyes de la lógica). También se puede demostrar una tautología utilizando una tabla de verdad o utilizando una
equivalencia lógica. lentes. La siguiente lista proporciona algunas leyes de la lógica que pueden usarse para simplificar o
probar la equivalencia lógica de enunciados compuestos.
1. Ley de la doble negación:

( pag) ⇔ pag
2. Leyes idempotentes:
(p ∨ p) ⇔ p (p ∧ p) ⇔ p
3. Leyes de identidad:
(p∨ F 0 ) ⇔ p
1.2 Enunciados primitivos y compuestos........................................................................................................1

1.4 Conjunción................................................................................................................................................3
1.5 Disyunción................................................................................................................................................3
1.6 Equivalencia lógica...................................................................................................................................4
1.7 Condicional...............................................................................................................................................5
1.8 Bicondicional.............................................................................................................................................7
1.10 Contradicción........................................................................................................................................11
1.11 Las leyes de la lógica.............................................................................................................................20
1.13 Inverso, Inverso y Contrapositivo.........................................................................................................29
1.14 Dual de enunciado lógico......................................................................................................................30
1.14.1 El principio de dualidad..............................................................................................................33
1.15 Los conectivos Exclusive-OR, NOR y NAND.....................................................................................34
1.16 Implicación lógica.................................................................................................................................35
1.17 Validez de los argumentos....................................................................................................................36
1.19 Declaración abierta.............................................................................................................................50
1.20 Universo del discurso.........................................................................................................................50
1.22 Cuantificador existencial....................................................................................................................50
1.23 Cuantificador universal......................................................................................................................52
1.24 Negación de cuantificadores.................................................................................................................55
1.25 Inversa inversa y contrapositiva de declaraciones abiertas...................................................................58
1.26 Vari libre y atada...................................................................................................................................59
1.27 Declaraciones abiertas con más de una variable...................................................................................60
1.27.1 Regla EE. UU. (Especificación universal):.................................................................................61

1.27.2 Regla UG (Generalización Universal) :......................................................................................61

1.27.3 Regla ES (Especificación Existencial):.......................................................................................61
1.27.4 Regla EG (Género Existencial....................................................................................................61
1.28 Definiciones y demostraciones de teoremas.........................................................................................67
.60
4. Leyes de dominación:
(p∨T 0 ) ⇔ T 0
(p∧ F 0 ) ⇔ F 0
5. Leyes conmutativas:
(p∨ q) ⇔ (q ∨p)
(p∧ q) ⇔ (q ∧p)
6. Leyes de absorción:
[p∨ (p∧q)] ⇔p
[p∧ (p∨q)] ⇔p
7. Leyes de De Morgan:
(pag ∨ q) ⇔ pag ∧ q
(pag ∧ q) ⇔ pag ∨ q

8. Leyes asociativas:
1.2 Enunciados primitivos y compuestos 1
1.4 Conjunción 3
1.5 Disyunción 3
1.6 Equivalencia lógica 4
1.7 Condicional 5
1.8 Bicondicional 7
1.10 Contradicción 11
1.11 Las leyes de la lógica 20
1.13 Inverso, Inverso y Contrapositivo 29
1.14 Dual de enunciado lógico 30
1.14.1 El principio de dualidad 33
1.15 Los conectivos Exclusive-OR, NOR y NAND 34
1.16 Implicación lógica 35
1.17 Validez de los argumentos 36

1.19 Declaración abierta 50
1.20 Universo del discurso 50
1.22 Cuantificador existencial 50
1.23 Cuantificador universal 52
1.24 Negación de cuantificadores 55
1.25 Inversa inversa y contrapositiva de declaraciones abiertas 58
1.26 Vari libre y atada 59
1.27 Declaraciones abiertas con más de una variable 60
1.27.1 Regla EE. UU. (Especificación universal): 61
1.27.2 Regla UG (Generalización Universal) : 61
1.27.3 Regla ES (Especificación Existencial): 61
1.27.4 Regla EG (Género Existencial 61
1.28 Definiciones y demostraciones de teoremas 67
pag ∧ (q ∨r) ⇔(pag ∧ q)∨ (pag ∧ r)(p → q) ⇔ ( pag ∨ q)
9. Equivalencia de condicional:
(p → q) ⇔ ( q → pag)
(p → q) ⇔ ( p ∨ q) (p ↔ q) ⇔ (p → q) ∧ (q → p)
Ejemplo 1.11.1. Demuestre usando las leyes de la lógica. (pag → q) ∧ [q ∧ (r ∨ q)]

⇔ (q∨pag) (VTU junio
2018)

Solución: A.
(p → q) ∧ [ q ∧ (r ∨ q)] ⇔ (p → q) ∧ [ q ∧ ( q∨r) AC (ley conmutativa)

⇔ ( pag ∨ q) ∧ q 60
⇔ q ∧ ( pag ∨ q) ( Ley de absorción)
⇔ ( q ∧ pag) ∨ ( q ∧ q) (Ley conmutativa)
⇔ ( q ∧ pag) ∨ F 0 (Ley distributiva)
⇔ ( q ∧ pag) ( ∵ tu ∧ tu ⇔ F 0 )
⇔ (q ∨ p) (ley de De Morgan)
( ∵ tu ∨ F 0 ⇔ tu )
Ejemplo 1.11.2. Demuestre sin usar la tabla de verdad.
[∼ p ∧ (∼ q ∧ r)] ∨ [(q ∧ r) ∨ (p ∧ r)] ⇔ r
Solución:
[∼ p ∧ (∼ q ∧ r)] ∨ [(q ∧ r) ∨ (p ∧ r)]
⇔ [(∼ p∧ ∼ q) ∧ r)] ∨ [(r ∧ q) ∨ (r ∧ p)]
⇔ [(∼ p∧ ∼ q) ∧ r)] ∨ [(r ∧ (q ∨ p)]

(conmutativo)
⇔ [(∼ (p ∨ q) ∧ r)] ∨ [(r ∧ (p ∨ q)]
(Distributivo)
⇔ [r∧ ∼ (p ∨ q)] ∨ [r ∧ (p ∨ q)]
(De Morgans y conmutativo)
⇔ [r ∧ {∼ (p ∨ q) ∨ (p ∨ q)}]
(conmutativo)
⇔ r ∧T 0
⇔r (Distributivo)
( ∵ ∼ u ∨ u ⇔ T 0 . Aquí u : (p ∨ q)

Ejemplo 1.11.3. Demuestre que (p ∨ q) ∧ (p ∧ (p ∧ q)) ⇔ (p ∧ q) , utilizando reglas de lógica.
Solución :
LHS ⇔ (p ∨ q) ∧ ((p ∧ p) ∧ q) (Regla asociativa)
⇔ (p∨q) ∧ (p∧q) ⇔ (p∧q) (Ley idempotente)
∧ (p∨q) ⇔p∧ [q∧ (p∨q)] (ley conmutativa)

Ins (Derecho
titu ⇔ p ∧ [q ∧ (q ∨ p)] ⇔p
asociativo)
to
AJ ∧q (ley conmutativa)
de
In (Ley de absorción)
ge
nie
ría
y Ejemplo 1.11.4. Pruebalo ( p ∧ q) ∨ (p ∨ q) ⇔ pag .
Te
cn
olo Solución :
gí
a,
( pag ∧ q) ∨ (p ∨ q) ⇔ ( pag ∧ q) ∨ ( pag ∧ q) gan 0
M
ensalada)
an
pag ∧ (q ∨ q)
gal
ur pag ∧ T 0 (Inversa ley) (Ley
u,
pag de identidad)
Ins
titu
to
AJ
de Ejemplo 1.11.5. Demuestre lo siguiente utilizando las leyes de la lógica: p → (q → r) ⇔ (p ∧ q) → r (VTU
In enero
2017, diciembre de 2009)
ge
nie
ría Solución :
y
Te
cn p → (q → r) ⇔ p → ( q ∨ (Equivalencia del Condicional)
olo
gí ⇔ pag ∨ ( q ∨ r) ⇔ ( (Equivalencia del Condicional)
a,
M pag ∨ q) ∨r (Ley asociativa) (Ley de De
an
gal ⇔ (pag ∧ q) ∨ r Morgans)
ur
u ⇔ (p ∧ q) → r (Equivalencia del Condicional)
Ejemplo 1.11.6. Simplificar [ {(p ∨ q) ∧ r} ∨ q]

Solución :
[ {(p ∨ q) ∧ r} ∨ q] ≡ [ {(p ∨ q) ∧ r} ∨ q] ≡ {(p∨q) ∧r)} ∧q, ≡ {q∧ usando la ley de demorgan
(p∨q)} ∧r, usando la ley de la doble negación
≡ {q ∧ (q ∨ p)} ∧ r, usando la ley
≡ q ∧ r, asociativa ley
Ins conmutativa
titu
to usando la ley de absorción
Ejemplo 1.11.7. Escribe la negación del enunciado: “Si x no es un número real, entonces no es un número racional ni un
AJ
de número irracional”.
In
ge
nie Solución: La declaración dada tiene la forma p → (q ∧ r) donde p : x no es un número real, q : x no es un número
ría racional, r : no es un número irracional.
y
Te Su negación es:
cn
olo
gí
a, [p → (q ∧ r)] ⇔ [ pag ∨ (q ∧ r)] de condicional)
M
an [ pag ∧ (q∧r)] ley de
gal Morgan)
(Doble ion y ley de De Morgan)
∧(q
ur
∨ r)]
[pag
u,
[(pag ∧ q) ∨ (p ∧ r)] ( Distributivo)
Ins
titu Por lo tanto, la negación del enunciado dado es: número pero un número racional o x no es un
to número real
AJ ""número x pero es un número irracional"
de
In Ejemplo 1.11.8. Demuestre las siguientes equivalencias lógicas sin utilizar las tablas de verdad: p∨[p∧(p∨q)] ⇔ p
ge
nie
ría Solución :
y
Te p ∨ [p ∧ (p ∨ q)] ⇔ p ∨ p, por Ley de
cn Absorción
olo por ley idempotente.
⇔
gí
pag,
a,
M Ejemplo 1.11.9. Pruebalo [( pag ∨ q) -→ (p ∧ q ∧ r) ⇐⇒ p ∧ q (VTU junio de 2019, enero de 2014, junio
an 2013)
gal
ur
u Solución :
( pag ∨ q) → (p ∧ q ∧ r) ⇔ ( pag ∨ q) ∨ (p ∧ q ∧ r), (Equivalencia del condicional)
⇔ ( pag ∨ q) ∨ (p ∧ q ∧ r), (Ley de De

Morgan)
⇔ (p ∧ q) ∨ [(p ∧ q) ∧ r], Doble Negación y Derecho Asociativo
⇔p∧q, por Ley de

Absorción
Ejemplo 1.11.10. Usando las leyes de la lógica, demuestre que (p → q) ∧ ( q ∧ (r ∨ q)) ⇔ [q ∨ p] (VTU
enero de 2019, junio de 2015, diciembre de 2012)

Solución:
(p → q) ∧ [ q ∧ (r ∨ q)]
⇔ (p→ q) ∧ [ q∧ ( q ∨ r)], (por ley conmutativa) (por ley de
absorción) porque (tu → v) ⇔ tu

⇔ (p → q) ∧ q,
∧ v Derecho conmutativo)
⇔ ( p∨q) ∧ q,
Ins (Derecho distributivo)
⇔ q ∧ ( pag ∨ q)
titu
to ⇔ ( q ∧ pag) ∨ ( q ∧ q)
AJ
de ⇔ ( q ∧ pag) ∨ F 0
In
ge ⇔ ( q ∧ pag)
nie
ría ⇔ [(q∨pag)
y
Te Ejemplo 1.11.11. Demuestre usando las leyes de la
cn Lógica:
[ pag ∧ ( q ∧ r)] ∨ [(q ∧ r) ∨ (p ∧ r)] ⇐⇒ r (VTU junio de 2018, enero de
olo 2017)
gí
a, Solución:
M
an
gal [ pag ∧ ( q ∧ r)] ∨ [(q ∧ r) ∨ (p ∧ r)]
ur
u, ( pag ∧ q) ∧ r ∨ [(r ∧ q) ∨ (r ∧ p) {[ (p ∨ q)] ley social y ley conmutativa)
Ins ∧ r} ∨ [(r ∧ (p ∨ {r ∧ [ (p ∨ q)]} ∨ [(r ∧ r ∧ [ e Ley de Morgan y ley distributiva)

titu
to (p ∨ q) ∨ (p ∨ q)] r∧T 0 (ley conmutativa)
AJ
de ( distributivo)
In ( ∵ tu ∨ -u ⇔ T 0 ) ⇔ r
ge
nie
ría
y
Te Ejemplo 1.11.12. Sin uso ble Demuestre que [( pag ∨ q) ∧ (F 0 ∨ p) ∧ p] ⇔ (p ∧ q)
cn (VTU enero de 2019)
olo
gí
a,
Solución:
M
an
gal [( pag ∨ q) ∧ (F 0 ∨ p) ∧ p] ⇔ [( pag ∨ q) ∧ p ∧ p] ( ∵ F 0 ∨ p ⇔ p)
ur
u ⇔ [( pag ∨ q) ∧p] ( ∵ p ∧ p ⇔ p)
⇔ pag ∧ ( pag ∨ q) (Conmutativo)
⇔ (p ∧ p) ∨ (p ∧ q) (Distributivo)
⇔ F 0 ∨ (p ∧ q) ( ∵ pag ∧ pag ⇔ F 0 )
( ∵ F 0 ∨ u ⇔ u, Aquí u : (p ∧ q))
⇔ (p∧ q)
Ejemplo 1.11.13. Establezca la siguiente equivalencia lógica. (pag ∨

q) ∨ ( pag ∧ q ∧ r) ⇔ (p ∨ q ∨ r) (VTU junio 2019, junio 2017)

Solución:
(pag ∨ q) ∨ ( pag∧ q ∧ r) ⇔ (pag ∨ q) ∨ ( pag ∧ q) ∧r,

por Derecho Asociativo
⇔ (pag ∨ q) ∨ [ (p ∨ q) ∧ r]
por la ley De Morgan.
⇔ [(p ∨ q) ∨ (p ∨ q)] ∧ [(p ∨ q) ∨ r] (Distributivo)
⇔ T 0 ∧ [(p ∨ q) ∨ r] ( ∵ tu ∨ tu ⇔ T 0 , Aquí , tu : (p ∨ q))
Ins
⇔ (p ∨ q) ∨r ( ∵ T 0 ∧ v ⇔ v, Aquí v : (p ∨ q) ∨ r)
titu
to Ejemplo 1.11.14. Demuestre que (p → r) ∨ (q → r) ≡ (p ∧ q) → r
AJ
de
In Solución :
ge
nie
ría (p → r) ∨ (q → r) ⇔ ( pag ∨ r) ∨ ( q∨r) (Equivalencia de condicional)
y
Te ( pag ∨ q) ∨ (r ∨ r) (asociativo)
cn
( pag ∨ q) ∨r ( ∵ r ∨ r ⇔ r)
olo
gí (pag ∧ q) ∨ r ley de de morgan)
a,
M (p ∧ q) → r (Equivalencia de condicional)
an
gal
ur
u,
Ejemplo 1.11.15. Utilizando las leyes de la lógica, demuestre que - y pag ∧ q son logicamente equivalentes.
Ins (pag ∨ (
titu
to Solución :
AJ
de
In (pag ∨ ( pag ∧ q)) ⇔ 1p∧
( p∧q), Ip ∧ [ ( (por la ley de De
ge Morgan)
pag) ∨ (Ley de Morgan)
nie
ría Ip∧(p (ley de la doble
y negación)
Te ( pag ∧ pag pag ∧ q) (Ley distributiva )
cn
olo F 0 ∨ ( pag ∧ q) ( pag ∧ q) ( ∵ pp ∧ p ⇔ F 0 )
gí
( ∵ F 0 ∨ tu ⇔ tu )
a,
M
an
gal
ur
Como consecuencia, (pag ∨ ( p ∧ q)) y pag ∧ q son logicamente equivalentes.
u
Ejercicio 2
1. Sin construir la tabla de verdad, demuestre que p → (q → r) ⇔ (p ∧ q) → r
2. Sin construir la tabla de verdad, demuestre que p → (q → p) ≡ pag ∨ (pag → q)
3. Demuestre que [(p ∨ q) ∧ ( pag ∧ ( q ∨ r))] ∨ ( pag ∧ q) ∨ ( pag ∧ r) es una tautología que utiliza leyes.

1.12 Redes de conmutación
Una red de conmutación es una disposición de cables e interruptores que conecta dos terminales. Un interruptor
cerrado permite el flujo de corriente, mientras que un interruptor abierto lo impide.
Considere una red con un conmutador p como se muestra en la figura.
Ins T1 Ti
titu
to
AJ La corriente fluye de T 1 a T 2 si el interruptor p está
de cerrado.
Considere una red con dos conmutadores p y q como se muestra en la
In
figura.
ge
nie
ría
y
Te
cn
olo
gí En la primera red, la corriente fluye de T 1 a T 2 si cualquiera de los interruptores sed. Por lo tanto, la red
a, puede
M p se denota por p ∨ q . En la segunda red, la corriente fluye de T 1 a T 2 si la red las brujas están cerradas.
an Por eso
puede denotarse por p ∧ q .
gal
ur
u, Ejemplo 1.12.1. Simplifique la siguiente red. (VTU julio de
2015)
---------pag-------- -------pag------- -------------pag-------
Ins
titu
to
AJ
de
In
ge
nie
ría
y Solución: La red dada ca diez como (p ∨ q ∨ r) ∧ (p ∨ t ∨ q) ∧ (p ∨ t ∨ r)
Te
cn
olo (p ∨ q ∨ r) ∧ (p ∨ t ∨ q) ∧ (p ∨ t∨r)
gí
a, ⇔ p ∨ [(q ∨ r) ∧ (t ∨ q) ∧ ( t∨r)] (Ley distributiva aplicada a los tres términos)
M
an ⇔p ∨ [(t ∨ q) ∧ {(q ∨ r) ∧ ( t ∨ r)}] (De
gal asociación)
⇔p ∨ [(t ∨ q) ∧ {(r ∨ q) ∧ (r ∨ t)}]
ur
u (conmutativo)
⇔ p ∨ [(t ∨ q) ∧ {r ∨ (q ∧ t)}]
(Distributivo)
⇔p ∨ [{(t ∨ q) ∧ r} ∨ {(t ∨ q) ∧ (q ∧ t)}]
(Distributivo)
⇔p ∨ [{(t ∨ q) ∧ r} ∨ {(t ∨ q) ∧ (t ∨ q)}]
(Ley de De Morgan)
⇔p ∨ [{(t ∨ q) ∧ r} ∨ F0]
( ∵ tu ∧ tu ⇔ F 0 )
⇔p ∨ {(t ∨ q) ∧r}
( ∵ v ∨ F 0 ⇔ v)
Por tanto, la red simplificada es

Ejercicio 3
1. Simplifique la siguiente red.
Pista :
[pag ∧ ( r ∨ q ∨ q)] ∨ [(r ∨ t ∨ r) ∧ q]
⇐⇒ [p ∧ ( r ∨ T 0 )] ∨ [(T 0 ∨ t) ∧
⇐⇒ (p ∧ T 0 ) ∨ (T 0 ∧ q) ⇔
2. Simplifique la
siguiente red.
- pag-
0-------a
—p — Q--r
Pista :
[p ∨ (p ∧ q) ∨ (p ∧ q ∧ r)] ∧ [(p ∧ r ∧ t) ∨ t] ⇐⇒
p ∧ t por la Ley de Absorción.
1.13 Inverso, Inverso y Contrapositivo
La proposición condicional q → p se llama proposición inversa de p → q

La proposición condicional q → p se llama proposición contrapositiva de p → q .
La preposición condicional pag → q se llama proposición inversa de p → q .
Ejemplo 1.13.1. Escribe el inverso, inverso y contrapositivo de “Si haces los deberes no te castigarán”
Solución: Lo inverso de la afirmación dada es "Si no haces tu tarea, serás castigado".

Inverso: “Si no te castigan, entonces no haces los deberes”.

El contrapositivo es: si te van a castigar, entonces haz tu tarea”.
Ejemplo 1.13.2. Escribe el inverso, inverso y contrapositivo de (1) Si un cuadrilátero es un paralelogramo, entonces sus
diagonales se bisecan entre sí.
(2) Si un número real x 2 es mayor que cero, entonces x no es igual a cero.
(3) Si un triángulo no es isósceles, entonces no es equilátero.
(4) Si dos rectas son paralelas, entonces son equidistantes. (VTU enero de
2017)
Solución :
(1) recíprocamente: si las diagonales de un cuadrilátero se bisecan, entonces es un paralelogramo. inversa: si un

cuadrilátero no es un paralelogramo, entonces sus diagonales no se bisecan entre sí. contrapositivo: Si las
diagonales de un cuadrilátero no se bisecan, entonces no es un paralelogramo. (2) recíprocamente: si un número
real x no es igual a cero, entonces x es mayor que cero.
2
inversa: Si un número real x no es mayor que cero, entonces x es igual a cero.

contrapositivo: Si un número real x es igual a cero, entonces x no es

2
mayor que cero.

(3) recíprocamente: si un triángulo no es equilátero, entonces no es
isósceles.
Inversa: si un triángulo es isósceles,
Solución:
entonces es equilátero.
Trabaja duro y serás recompensado”
contrapositivo: si un triángulo es equilátero,
entonces es isósceles.
Ejemplo 1.13.3. Escribe el inverso, entonces trabajarás duro
inverso, contra positivo de '
Si no serás recompensado, entonces no
trabajarás duro.
Sea p: trabajarás duro. Trabaja duro entonces no serás
recompensado
P: Serás recompensado.
La declaración dada tiene la forma: p → Lo contrario es q → p,. es decir, si será contrapositivo es q → pag . es
decir, si es inverso: pag → q . es decir, si quieres
Ejemplo 1.13.4. Reemplace la siguiente afirmación con su contrapositiva: "Si xey son racionales, entonces x + y es
racional".
Solución: Esta afirmación tiene la forma (p ∧ q) → r . donde p: x es racional, q: y es racional y r: x + y es racional.

Su enunciado contrpositivo es ∼ r →∼ (p ∧ q)
Usando la ley de De Morgan, esto se puede escribir como ∼ r → (∼ p∨ ∼ q)
Por lo tanto, es contrapositiva la afirmación "Si x + y es irracional, entonces x es irracional o y es irracional".
1.14 Dual de enunciado lógico
Dada cualquier proposición compuesta s que incluya solo los conectivos denotados por ∧, ∨ , el dual de s

denotado como s d se obtiene reemplazando ∧, ∨, T 0 , F 0 respectivamente con ∨, ∧, F 0 y T 0

Ejemplos:
(i) Si s: p ∨ q entonces s d : p ∧ q
(ii)El dual de (p ∧ q)∨ ∼ pis(p ∨ q)∧ ∼ p.
(iii) El dual de (p ∨ F 0 ) ∧ qis(p ∧ T 0 ) ∨ q .
Ejemplo 1.14.1. Escribe el dual de los siguientes enunciados lógicos: (VTU enero de 2019,
diciembre de 2012)
In (i) (p ∨ T) 0 ) ∧ (q ∨ r) ∨ (r ∧ s ∧ T 0 )
stit
ut (ii) (p∧q) ∨T 0
o
AJ
de (iii) [ (p ∨ q) ∧ {p ∨ (q ∧ s)}]
In
ge (iv) (pag ∧ q) ∨ [( pag ∨ q) ∧ ( r ∨ s)] ∨ (r ∧ s)
ni
erí (v) (pag ∧ q) ∨ (r ∧ T 0 )
a
y
Te
cn (vi) p → (q → r)
ol
og (vii) [(p ∨ T 0 ) ∧ (q ∨ F 0 )] ∨ [ (r ∧ s) ∧ T 0 ]
ía,
M
an
ga Solución :
lur
u,
(i) Dado S : (p ∨ T 0 ) ∧ (q ∨ r) ∨ (r ∧ s ∧ T 0 ) . t p ∧ F 0 )) ∨ (q ∧ r) ∧ (r ∨ s ∨ F 0 )
In
stit
(ii) S : (p ∧ q) ∨ T 0 . Entonces S d : (p ∨ q) ∧ F 0
ut
o
AJ (iii) El dual de s : -(p ∨ q) ∧ [p ∨ - e
de s
In S : -(p ∧ q) ∨ [p ∧ -(q ∨
d
ge
ni (iv) El dual de s : (p∧q) ∨ [( ∨s)]∨(r∧s) es s d : (p∨q) ∧ [( p∧q) ∨ ( r∧s)] ∧ (r∨s)
∨
erí
a
y (v) El dual de s : (p ∧ q) ∨ ∧ T 0 ) es Dakota del Sur : (pag
Te ∨ -q) ∧ (r ∨ F0)]
cn
(vi) El enunciado dado es S : p → (q → r) Entonces
ol
og
ía, s : [p → (q → r)] ⇔ [ pag ∨ (q → r)] ⇔ [ pag ∨ (
M
an q∨r)]
ga
lur ∴ S d ≡ pag ∧ ( q∧r)
u
(vii) Dado s : [(pag ∨ T 0 ) ∧ (q ∨ F 0 )] ∨ [(r ∧ s) ∧ T 0 ]

Entonces : d
[(pag ∧ F 0 ) ∨ (q ∧ T
0 )] ∧ [(r ∨ s) ∨F0]

1.14.1 El principio de dualidad
Considere dos declaraciones s 1 y s 2 . El principio de dualidad establece que, si dos proposiciones son
lógicamente equivalentes, también lo son sus duales. es decir, si s 1 ⇔ s 2 entonces s d ⇔ s d 2 .
Ejemplo 1.14.2. Verifique el principio de dualidad para la equivalencia lógica:

∼ (p ∧ q) →∼ p ∨ (∼ p ∨ q) ⇐⇒∼ p ∨ q (VTU diciembre de 2016, junio de 2014,
diciembre de 2009)
Solución: Sea s 1 : ∼ (p ∧ q) →∼ p ∨ (∼ p ∨ q) y s 2 :∼ p ∨ q Dado que s 1 ⇔ s 2 . Encontremos s d 1 y s d 2

Ahora
s 1 :∼ (p ∧ q) →∼ p ∨ (∼ p ∨ q)
⇔∼∼ (p ∧ q)∨ ∼ p ∨ (∼ p ∨ q)
⇔ (p ∧ q) ∨ [(∼ p∨ ∼ p) ∨ q]
⇔ (p ∧ q) ∨ [∼ p ∨ q]
:⇔ (p ∨ q) ∧ [∼ p ∧ q]
Ahora s [∼p∧q] ∧ (p∨q)
d
1
{[∼ p ∧ q] ∧p} ∨ {[∼ p ∧ q] ∧ q} (p∧ ∼ p ∧
q) ∨ [∼ p ∧ (q ∧ q]
F 0 ∨ (∼ p ∧ q) (∼p∧q) re
S2
Ejemplo 1.14.3. Verifique el principio

p∨q)] ⇔ (∼p∨q).
Solución: Sea u = (pag ∧ q) → ( pag calidad para la siguiente equivalencia lógica [∼ (p∧ q) →∼ p∨ (∼
∨ ( p ∨ q)) y v = pag ∨ q
tu ⇔ (pag ∧ q) ∨ ( pag ∨ ( pag ∨ q))
Tenga en cuenta que
⇔ (p ∧ q) ∨ ( pag ∨ ( pag ∨ q))
Por lo tanto
u d ⇔ (p ∨ q) ∧ ( pag ∧ ( pag ∧ q)) ⇔ (pag ∨ q) ∧ ( pag ∧q) ⇔ [p ∧ ( pag ∧q)] ∨ [q ∧ ( pag ∧q)]
⇔ (F 0 ∧ q) ∨ (q ∧ p) ⇔ F 0 ∨ (q ∧ pag) ⇔ q ∧ pag
También
v d ⇔ pag ∧ q ⇔ q ∧ pag
Podemos observar que
ud⇔vd
Ejercicio 4

Escriba dual, negación, inverso, inverso y contra positivo de los enunciados que se indican a
continuación:
(i) Si Kabir usa pantalón marrón, entonces usará camisa blanca. (VTU junio de
2012)
(ii) Si un triángulo no es isósceles entonces no es equilátero.
(VTU junio de
(iii) Si Ram puede resolver el rompecabezas, entonces Ram puede 2013)
resolver el problema.
(VTU junio de
Ins 2016)
titu
to 1.15 Los conectivos Exclusive-OR, NOR y NAND
AJ
de
In
Si p y q son dos enunciados primitivos, entonces el conectivo O exclusivo entre p y q denotado por p Y q es
ge
nie verdadero sólo cuando p o q son verdaderos, pero no cuando ambos son verdaderos. Su tabla de verdad tiene la
ría
y forma:
Te pag q pyq
cn
olo t t F
gí
a, t F t
M F t t
an
gal F F F
ur
u, El conectivo NOR entre p y q denotado por p ↓ q es la forma st :
en el
tabla
”. Su
p∨q)
verd
está
de
ad
Ins
titu
to
AJ
de p↓q
In
ge TT F
nie
TF F
ría
y PIE F
Te
cn FF
olo
gí El conectivo NOR entre la pyq denotados por p ↑ q es la afirmación “ ∼ (p ∧ q) ” . Su tabla de verdad está en
a,
forma :
M
an
gal
ur pq p↑q
u TT F
TF t
PIE t
FF t
1. Defina (p ↑ q) ⇐⇒∼ (p ∧ q) . Representa p ∨ q y p → q usando NAND únicamente. (VTU junio de 2012)
Respuesta: p ∨ q ⇔ pag ∨ q ⇔ ( pag) ↑ ( q) ⇔ (p ↑ p) ↑ (q ↑ q)

p∨q ⇔ (pag ∨ q) ⇔ ( pag ∧ q) ⇔ (p↓q) ⇔ (p↓q) ↓ (p↓q)
pag → q ⇔ (p∧ q) ⇔p ↑ ( q) ⇔p ↑ (q ↑ q)

p → q ⇔ ( pag ∨ q) ⇔ ( pag ↓ q) ↓ ( p ↓ q), usando la expresión anterior
⇔ {(p ↓p) ↓ q} ↓ {(p ↓ p) ↓ q}
2. Para cualquier enunciado p, q , demuestre que i) (p ↓ q) ⇔ ( pag ↑ q) ii) (p ↑ q) ⇔ ( pag ↓ q) Solución:

(p↓q) ⇔ { (pag ∨ q)}
⇔ ( pag ∧ q) ⇔ ( pag) ↑ ( q)
(p ↑ q) ⇔ { (pag ∧ q)}
Ins ⇔ ( pag ∨ q), ⇔ ( pag) ↓ ( q)
titu
to
AJ
de 3. Escribe el contrapositivo de [p → (q → r)] con i) solo una aparición del conectivo →
In
ge ii)no ocurrencia del conectivo → (VTU junio de
nie 2014)
ría Solución: el contrapositivo de [p → (q → r)] es [ (q → r) → ( pag)]
y
⇔ { (q → r)} ∨ pag
Te
cn (q → r) ∨ p solo una ocurrencia de del conectivo →) solo una ocurrencia de del conectivo →) ( q∨r)∨ p no
olo
gí ocurrencia de del conectivo →)
a,
M
an
gal 1.16 Implicación lógica
ur
u,
Si s 1 y s 2 son dos proposiciones, decimos que s 1 lógicamente 2 (o s 2 está lógicamente implícito en s 1 )
Ins si
s 1 → s 2 es una tautología. Denotamos esto por s 1 ⇒ s 2 .
titu k 67
to
AJ Ejemplo 1.16.1. Demuestre que [p ∧ (p → q) ∧ r] ⇒ (p ∨ q) → r (VTU diciembre de
de 2009)
In
ge Solución: Sea 1 : [pag ∧ (pag → q) ∧ r] y t 2 : (pag ∨ q)
nie → r.
ría s 1 ⇒ s 2 si s 1 → s 2 es una tautología. verifique esto usando una tabla de
y verdad.
Te
cn
olo pq (p→q) p∧ (p → q) s 1 : [p∧ (p → q) ∧r] (p∨q) s 2 : (p ∨ q) → r s1→s2
gí
t t t t t
a, t t t
M t F t F t
an t t F
gal F F t t t
t F t F
ur F F t F t
u t F F F
F F t t t
F t t
F F t F t
F t F
F F F t t
F F t
F F F t t
F F F
Aquí, s 1 → s 2 es una tautología. Por lo tanto s 1 ⇒ s 2
Ejemplo 1.16.2. Demuestre que (P → Q) ∧ (Q → R) ⇒ (P → R) [Pruébelo usted mismo)]

1.17 Validez de los argumentos
Podemos utilizar las ideas de tautología e implicación para describir lo que entendemos por argumento válido. En
general, un argumento comienza con una lista de enunciados llamados premisas (o hipótesis) y un enunciado
llamado premisa. conclusión del argumento. Así, si tenemos premisas p 1 , p 2 , p 3 , . . . , p n , y una conclusión q ,
entonces el argumento es válido si (p 1 ∧ p 2 ∧ p 3 ∧ · · · ∧ p n ) → q es una tautología. ( o (p 1 ∧ p 2 ∧ p 3 ∧ · · · ∧ p
n ) ⇒ q ) Significa que “siempre que p 1 , p 2 , p 3 , . . . , p n son todos verdaderos, entonces el enunciado q también
es verdadero”. Aquí la hipótesis es la conjunción de las n premisas. El símbolo “ ∴ ”, (léase por tanto) se coloca
antes de la conclusión.
Ejemplo 1.17.1. Pruebe si el siguiente es un argumento válido:

Si Sachin Tendulkar cumple un siglo, obtendrá un coche gratis. Sachin Tendulkar cumple un siglo. ∴ Sachin Tendulkar
obtiene un coche gratis.
Solución: este argumento tiene la forma:

p→q
pag
∴q
El argumento será válido si [(p → q ) ∧ p] → q es un

Tauto. Verifiquemos esto mediante la siguiente tabla
pag q (pag → q) (p [(p → q) ∧p] → q

ag
t t t t t
t F F F t
F t F t
F F F t
de verdad.
Dado que el enunciado [(p → q) ∧
Ejemplo 1.17.2. Pruebe la validez del siguiente argumento:

Si eres ingeniero, entonces eres inteligente.
Eres inteligente y rico.
Por lo tanto, si eres rico entonces eres ingeniero.
Solución: Defina: p: Usted es Ingeniero.

q: Usted es inteligente.
r: Tu eres rico.
Las premisas son: p → q y q ∧ r
La conclusión es: r → p .
Debemos probar si [(p → q) ∧ (q ∧ r)] → (r → p) es una tautología.

pag q r p→q q∧r (p → q) ∧ (q ∧ r) r→p [(p → q) ∧ (q ∧ r)] → (r → p)]

t t t t t t t t
t t F t F F t t
t F t F F F t t
t F F F F F t t
F t t t t t F F
F t F t F F t t
F F t t F F F t
F F F t F F t t
En la última columna vemos que [(p → q) ∧ (q∧ r)] → (r → p) no es una tautología y, por tanto, el argumento no es
válido.
1.18 Reglas de inferencia

A3
Al validar un argumento utilizando la tabla de verdad, si hay más premisas, entonces necesitamos más columnas
en la tabla de verdad. En tales casos, este método resulta tedioso y largo. Un método alternativo para validar un
argumento consiste en construir una secuencia de proposiciones comenzando con las premisas. propuesta Luego
se pueden agregar proposiciones a la secuencia, pero sólo si su verdad está garantizada por la verdad de las
proposiciones ya incluidas en la lista.
La siguiente es una lista de argumentos válidos útiles que se pueden utilizar para sumar proposiciones y construir
Ah. j Instalaciones Conclusión
nombre de la regla
Simplificación conjuntiva P∧Q ∴P
Regla de amplificación disyuntiva) PAG ∴P∨Q
Regla de conjunción P, Q ∴P∧Q
Regla del silogismo disyuntivo (DS) P ∨ Q, ∼ P ∴Q

Modus ponens (MP) P, P → Q ∴Q
Modo de peaje (MT) P → Q, q ∴ PAG
Regla del silogismo hipotético (HS) P → Q, Q → R ∴P →R
argumentos válidos. A menudo se las denomina " reglas de inferencia ".
Nota: Con las reglas anteriores, también podemos usar las siguientes reglas.
• Una premisa dada (es decir, una afirmación que se considera verdadera en el problema) se puede utilizar
en cualquier etapa del argumento.
• Una declaración puede ser reemplazada por una declaración equivalente. Por ejemplo, la declaración p →
q se puede reemplazar por p ∨ q o por q → pag .
• Si la conclusión es condicional, en la forma p → q y si no se da nada sobre la naturaleza de p , entonces

podemos introducir una premisa adicional p en el problema (es decir, asumir que p es verdadera) y llegar a
la conclusión q
Ejemplo 1.18.1. Pruebe si el siguiente es un argumento válido:

Si Sachin Tendulkar cumple un siglo, obtendrá un coche gratis. Sachin Tendulkar cumple un siglo. ∴ Sachin Tendulkar
obtiene un coche gratis.

Ins
titu
to
p→q
AJ
de
In
ge
nie ∴q
ría
y
Te Esto tiene la forma de la regla Modus Ponens. Por tanto es
cn válido.
olo
Ejemplo 1.18.2. Establezca la validez del siguiente argumento.
gí
a,
M
an p→q
gal p∧r
ur
u,
Ins
titu
to Solución :
AJ
de
In Paso No. Estado
un
hij
o
ge
(1) (premisa)
nie
ría (2) (premisa)
y (3) ((2), Simplificación conjuntiva)
Te
cn (4) (Paso (1) y (3), Modus ponens)
olo
gí Ejemplo 1. Probar la validez de
a,
M "Si tiene una contraseña, puede iniciar sesión en la red"
an "Tienes una contraseña"
gal
Por lo tanto "Puedes iniciar sesión en la red"
ur
u
p→q
∴q
Usemos las reglas de inferencias paso a paso.

Paso No. Declaración Razón

1. p→q (premisa)
pag
2. (premisa)
3. ∴q (Paso 1. y 2., Modus ponens)
Este es el Modus Ponens y, por tanto, válido.
Ejemplo 2. Pruebe la validez del argumento:

In
stit No puede iniciar sesión en la red. Si tiene una contraseña, puede iniciar sesión en la red. Por lo tanto no tienes
ut contraseña.
o
AJ
de Solución :
In
ge
ni
erí Paso No. Declaración Razón
a 1. ∼q (premisa)
y
Te 2. p→q (premisa)
cn
ol 3. ∴ ∼p (Paso 1. y 2., Modus Peaje
og Ejemplo 3. Proporcionar una prueba formal de la validez del siguiente
ía, artículo.
M
an Premisas : p →∼ q ; q → r
ga Conclusión : p → r
lur
u,
Solución :
In
stit Paso No. Declaración Motivo
ut
o 1. p →∼ (premisa
AJ iso)
de
2. qq∨r
In 3. p Premisa médica, hipótesis de conclusión)
ge
1 y 3, Modus Ponens
ni
erí
4. a∴∼ Pasos 2 y 4, regla del silogismo disyuntivo
a 5,
y g
Te Ejemplo 4. Construya una prueba formal del siguiente argumento. Premisas : p → q; r → s; ∼q; r Conclusión
cn
sión : ∼ p ∧ s
ol
og
ía,
M
an Solución :
ga
lur
u
1. p→q (premisa)
2. r→s (premisa)
3. ∼q (premisa)
4. r (premisa)
5. ∼pag (1; 3.
MONTE)
6. s (2; 4.
diputado)
7. ∼p∧s
(5; 6.
conjunto)

Ejemplo 5. Dé una prueba formal del siguiente argumento: Premisas: p ∧ (q ∨ r) ; ∼ p∨ ∼ q Conclusión : r∨q
Solución :
Ejemplo 1.18.3. Determine si el siguiente argumento es lógicamente válido. Si me esfuerzo y tengo talento, me

1. pag ∧ (q ∨ r)q (premisa)
2. ∼ p∨ ∼q (premisa)
3. (p ∧ q) ∨ (p ∧ r) (1. dist.)
4. p∧q (2. de m)
5. p∧r (3. Bobo)
6. r∧p (5.
Comunicacion
7. r (6. Bobo)
8. r∨s (8. Agregar)
convertiré en músico. Si me convierto en músico seré feliz. No me he vuelto feliz. Por eso no me esforcé mucho o no
tengo talento.
Solución: Primero estableceremos las siguientes afirmaciones

simples, a saber, p: Me esfuerzo mucho, q: Tengo talento, r: Me
convierto en músico y s: Me volví feliz. Entonces las premisas dadas pueden escribirse en forma simbólica como
(p ∧ q) → rr→s
∴ ( pag ∨ q)
s
Podemos establecer la validez de la

siguiente manera.
Ejemplo 1.18.4. Determine si el
Paso N Declaració Razón

n
(1) (pag ∧ q) → r Premisa
(2) r→s Premisa
(3) s Premisa
(4) ∴r (2) y (3), Modus Tollens

(5) ∴ (p∧q) (1) y (4), Modus Tollens
(6) ∴ pag ∨ q (5), Regla de De Morgan.
siguiente argumento es lógicamente válido.
“Si inviertes en el mercado de valores, te harás rico. Si te haces rico, serás feliz. Por lo tanto, si inviertes en el mercado
de valores, serás feliz”.
Solución: estableceremos: p: inviertes en el mercado de valores, q: te harás rico

r: Serás feliz.
Entonces, el problema puede formularse simbólicamente como
p→q
q→r
∴ p→r
Esto tiene la forma de regla de silogismo. Por tanto, este argumento es válido.
Ejemplo 1.18.5. Determine si el siguiente argumento es lógicamente válido. “Si me esfuerzo y tengo talento, me
convertiré en músico.
Si me convierto en músico seré feliz.
No me he vuelto feliz.
Por eso no me esforcé mucho o no tengo talento.

. Entonces las premisas dadas

pueden ser
∴ ( pag ∨ q)
podemos establecer la validez

como fo
Solución: denotemos las declaraciones simples como:
(1) (pag ∧ q) → r Premisa
(2) r→s Premisa
(3) s Premisa
(4) ∴r (2) y (3), Modus Tollens
(5) ∴ (pag ∧ q) (1) y (4), Modus Tollens
(6) ∴ ( pag∨ q) (5), ley de De Morgan
p: Me esfuerzo mucho, q: Tengo talento, r: Me convierto en músico y s: Me escribiré en forma simbólica como
Ejemplo 1.18.6. Probar la validez de las siguientes afirmaciones: i) Si hay huelga del estudiante, se pospondrá el
examen. El examen no fue pospuesto.
∴ No hubo huelga de estudiantes. (VTU enero de
2019)

Solución: Sea p: hay huelga de estudiantes, q: el examen se pospondrá. Este argumento tiene la forma:

p→q
∼q
∴ ∼p
La validez se puede establecer de la

siguiente manera.
Ins Paso No. Declaración Motivo
titu
to 1. p→q (premisa)
AJ (premisa)
2. ∼q
de
In 3. ∴ ∼p (Paso 1. y 2., Modus Tollens)
ge
nie Ejemplo 1.18.7. Me haré famoso o no seré músico. Me convertiré en músico. ∴ Me haré famoso.
ría
y
Te Solución: Sea p: Me haré famoso. q: Me convertiré en músico.
cn
olo Entonces el argumento dado tiene la forma:
gí
a,
M
an
gal
ur pag∨ q
u,
Ins
titu
to
AJ
de
In Este argumento tiene la forma de regla de Por tanto el argumento es
ge disyuntiva. válido.
nie Ejemplo 1.18.8. Pruebe la validez de: Si
ría
y estudio, entonces no reprobaré el
Te examen. Si no veo televisión por la n estudiaré.
cn
olo noche, reprobé el examen.
gí
a,
M ∴ Debí haber visto la televisión por la noche. (VTU enero de
an 2019)
gal
ur Solución: Denotemos p: estudio. q: No aprobé el examen. r: Veo televisión por las noches. Entonces el
u
argumento dado tiene la forma:
pag→ q r
→ pq “


(1) pag→ q premisa
(2) r → pag premisa
(3) q premisa
(4) ∴r→q Pasos (1), (2) Regla del silogismo

(5) ∴r
Pasos (4), (3) Regla del Modus
Tollens
Ins Ejemplo 1.18.9. Considere el siguiente argumento:
titu Obtendré una calificación A en este curso o no me graduaré. Si no me gradúo, me alistaré en el ejército. Obtuve la
to calificación A.
AJ
de ∴ No me uniré al ejército.
In ¿Es este un argumento válido? Demuestre usando reglas de inferencia.
ge
nie
ría Solución: Sea p: obtendré la calificación A.
y P: Me graduaré.
Te
cn R: Me uniré al ejército.
olo Las premisas dadas son, p∨ ∼ q , ∼ q → r , p y la conclusión es ∼ r .
gí
a, Paso No. Declaració un
M n hijo
an pag Premisa
gal ∨
(2) ∼ Premisa
ur Podemos establecer la validez de la siguiente manera. Del paso (3),
u, comenzarcentro Premisa de verdad
(3)
→∼ q
Ins (4)
titu ∴∼p→r
to
El valor de p es T. Por tanto, el valor de verdad de ∼ 5), ∼ p → r es Verdadero. De esto queda claro que r
AJ
p es F. Fr
de puede tomar el Valor de Verdad T o F. Por tanto, el argumento gi n no es
In válido.
ge Ejemplo 1.18.10. Demuestre que r ∨ s sigue c ∨ re, c ∨ re → h, h → (a ∧ b), un ∧ b → r ∨ s (VTU diciembre de
nie
ría 2014, diciembre de 2013, junio de 2009)
y
Te
cn Solución: Podemos establecer la v. como
olo sigue.
gí
a, Paso No. Declaración Razón
M
an (1) c∨d Premisa
gal
ur (2) c∨ re → h Premisa
u (3) h → (a ∧ b) Premisa
(4) (un ∧ b) → (r ∨ s) Premisa
(5) ∴h (1) y (2), Modus Ponens
(6) ∴ (un ∧ b) (3) y (5), Modus Ponens

(7) ∴ (r ∨ s) (4) y (6), Modus Ponens
Ejemplo 1.18.11. Establezca la validez del siguiente argumento utilizando reglas de inferencia. Si la banda no hubiera
podido tocar música rock o los refrigerios no se hubieran servido a tiempo, entonces la fiesta de año nuevo habría sido
cancelada y Alica se habría enfadado. Si la fiesta se hubiera cancelado, se habrían realizado reembolsos.
No se realizaron reembolsos. ∴ La banda podría tocar música rock. (VTU junio de
2017)
Solución: Denota p: La banda podría tocar música rock.

q : Los refrigerios se entregaron a tiempo.
r : La fiesta de Año Nuevo fue cancelada.
s: Alicia estaba enojada.
t: Hubo que hacer reembolsos.
El argumento en forma simbólica es:
(-p ∨ -q) → (r ∧ s)
r→t
-t ]] ∴p
Podemos establecer la validez de la siguiente manera.
Pasos Declaraciones Razones
(1) r→t Premisa

(2) t Premisa A,,

(3) r paso (1) y (2), Modus Tollens)
(4) r∨s Paso (3) y regla de amplificación disuntiva
(5) ( pag ∨ q) → (r ∧ s)
Premisa 0
(6) (r∧s) Paso (4) y leyes de DeMorgan
( 7) ( pag ∨ q) Pasos (5) y (6) y Modus Tollens
( 8) pag ∧ q Paso (7) Leyes de De Morgan
(9) p∧q paso (8), la Ley de la Doble Negación
(10) ∴p Paso (9) y la regla de simplificación conjuntiva
Ejemplo 1.18.12. Escriba lo siguiente en forma simbólica y establezca si el argumento es válido: Si A

consigue el puesto de supervisor y trabaja duro, obtendrá un aumento. Si consigue un aumento, se comprará
un coche nuevo. No compró un auto nuevo. ∴ A no ocupó el puesto de supervisor o no trabajó duro. (VTU
diciembre de 2011, diciembre de 2007)
Solución: Denotemos p: A obtiene el puesto de supervisor. P: A trabaja duro. r: A obtiene un aumento. s: A compra
un auto nuevo.
Por tanto, el argumento dado tiene la forma:
(pag ∧ q) → r
r→s
∼s
∴ ∼ p∨ ∼ q
Podemos establecer la validez de la siguiente manera.

1. (pag ∧ q) → r Premisa
2. r→s Premisa
3. (p∧q) → s Pasos 1 y 2, Regla del silogismo

4. ∼s Premisa
5. ∴ ∼ (p∧ q) Pasos 3 y 4, Modus Tollens

Ins 6. ∴ ∼ p∨ ∼ q Paso 5, ley de De Morgan
titu Ejemplo 1.18.13. Establecer la validez del siguiente Argumento.
to
i) p, p → q, s ∨ r, r →∼ q ∴ s ∨ t (VTU enero de 2017, junio de 2011, 2010,
AJ 2008)
de
In
Solución:
ge
nie
ría Razón
y Paso No. Declaración
Te pag premisa
(1)
cn premisa
olo (2) p→q
gí (1) y (2), Modus Ponens
a, (3) ∴q
premisa
M
(4) r →∼q
an (4) y (3), modo de peaje
gal (5) ∴r
ur (6) s∨r premisa
u,
(6) y (5), Regla del silogismo disyuntivo
(7) ∴s
Ins Regla de amplificación disjtiva
titu (8) ∴ s∨t
to Ejemplo 1.18.14. Establecer la validez de lo siguiente. umento
AJ .
(∼ p ∨ ∼ q) → (r ∧ s)
de
In r→t
ge
nie ∼t
ría
∴p (VTU junio 2019, junio 2018)
y
Te
cn Solución :
olo
gí
a,
M
an (1) r→t premisa
gal (2) ∼t premisa
ur
u (3) ∴ ∼r (1) y (2), regla del modus tollens
(4) ∴ ∼ r∨ ∼ s Regla de amplificación disyuntiva
(5) ∴ ∼ (r ∧ s) (4) Regla de De Morgan
(6) (∼ p∨ ∼ q) → (r ∧ s) premisa
(5) ∴ ∼ (∼ p∨ ∼ q) (6) y (5), regla del modus tollens
(6) (p∧q) (5) Regla de De Morgan

(7) ∴p Regla de simplificación conjuntiva
Ejemplo 18.1.15. Establecer la validez del siguiente Argumento. p → q, q
→ (r ∧ s), r ∨ ( t ∨ tu), p ∧ t, ∴ tu (VTU, enero de
2018)

Solución :

(1) p→q Premisa
(2) q → (r ∧ s) Premisa
(3) ∴ p → (r ∧ s) (1) y (2), Ley del silogismo

(4) p∧t Premisa
In
stit (5) ∴p Paso (4), simplificación conjuntiva
ut (6) ∴ (r ∧ s) Pasos (3) y (5), Modus Ponens
o
AJ (7) r Paso (6), simplificación conjuntiva
de
In (8) r ∨ ( t ∨ tu) Premisa
ge
ni (9) r → ( t ∨ tu) (8), Equivalencia de condicional
erí
a (10) ( t ∨ tu) (9) y (7), Modus ponens
y (11) t Paso (4), simplificación conjuntiva
Te
cn (12) ∴ tu Paso (10) y (11), silogismo disyuntivo
ol Ejemplo 1.18.16. Establecer la validez del siguiente Argumento.
og
ía, u→r
M
an (r ∧ s) → (p ∨ t) q →
ga
(u ∧ s)
lur
u, ∼t
In
stit
ut
o ∴p (VTU junio de
AJ 2019)
de
In Solución :
ge
ni
erí Paso No. tement Razón
a o
y
(1) u→r premisa
Te
cn (2) ∼t premisa
ol
og (3) (r ∧ s) → (p ∨ t) premisa
ía, (4) q → (tu ∧ s) Premisa
M
an (5) q Premisa
ga
lur (6) ∴ (tu ∧ s) Pasos (4) y (5), Modus Ponens
u
(7) ∴ tu Paso (6), simplificación conjuntiva
(8) ∴r Pasos (1) y (7), Modus Ponens
(9) ∴s Paso (6), simplificación conjuntiva
(10) ∴ (r ∧ s) Pasos (8) y (9), Regla de conjunción
(11) (p∨t) Pasos (3) y (10), Modus Ponens
(12) ∴p Pasos (11) y (2), silogismo disyuntivo
Ejemplo 1.18.17. Establecer la validez del siguiente Argumento. (VTU junio de
2018)

(-p ∨ q) → r
r → (s ∨ t)
-s ∧ -u
-u → -t
∴p
Ins
titu Solución :
to
AJ
Razón
de Pasos Declaración
In Premisa
ge 1) s ∧ tu
nie paso (1), premisa de simplificación
2) tu
ría conjuntiva
y 3) tu → t
Te paso (2) y (3), Modus Ponens paso
4) t
cn
(1), simplificación conjuntiva (4) y
olo 5) s
gí s∧t (5), regla de conjunción paso (6), ley
6)
a,
M de De Morgans
an 7) (s∨t)
Premisa
gal 8) r → (s ∨ t)
ur Pasos (8) y (7), Premisa del Modus
u, 9) ∴r
r Tollens
10) ( p∨q) →
Ins pasos ) y (9), Modus Tollens,
titu 11) ∴ ( p∨q) (1
to ley de De Morgan
AJ 12) pag ∧ q Paso 1
Ste 3), simplificación conjuntiva
de 13) ∴p
In
ge
nie Ejercicio 5
ría
y
Te
cn 1. Demuestre que s ∨ r es mentido por p ∨ q, p → r y q → s
olo tautólogo
gí 2. Determine todas las asignaciones de valores de verdad para los enunciados primitivos del argumento válido
a, p ∧ (q ∧ r) →
M (s∨t)
an
gal 3. Demuestre que r ∧ (p ∨ q) es una conclusión válida a partir de las premisas p ∨ q, q → r, p → my metro
ur
u
4. Traducirlo a forma simbólica y probar la validez del argumento. Si trabajo, entonces no puedo estudiar. O
estudio o apruebo mi clase de Matemáticas. Trabajo. ∴ Paso mi clase de matemáticas.
5. Pruebe la validez del argumento:

Si Ravi estudia, aprobará DMS.
Si Ravi no juega al cricket, estudiará. Ravi falló en DMS.
∴ Ravi jugaba al (VTU enero de

cricket. 2019)

∴q
11.
r→S (VTU junio-2016)
12.
(VTU junio de
2012)
(VTU diciembre de 2011, junio

de 2011)
ii) p↔q

6. Pruebe si el siguiente argumento es válido: si las tasas de interés bajan, el mercado de valores subirá. El
mercado de valores no subirá. ∴ Los tipos de interés no bajarán.
7. Demuestre que las hipótesis "Si me envía un mensaje de correo electrónico, terminaré de escribir el
programa", "Si no me envía un mensaje de correo electrónico, me iré a dormir temprano" y "Si me voy a
dormir temprano". , entonces me despertaré sintiéndome renovado” lleva a la conclusión “Si no termino de
escribir el programa, me despertaré sintiéndome renovado”. (VTU junio-2015)
8. Cuando se dice que una conclusión q se sigue de las premisas H1, H2, H3, ......... , Hn ? Sean p, q, r
las declaraciones primitivas, p: Raghu estudia q: Raghu juega tenis r: Raghu aprueba en matemáticas
discretas. Sean H 1 , H 2 , H 3 las premisas.
H 1 : Si Raghu estudia, aprobará matemáticas discretas.
H 2 : Si Raghu no juega tenis, estudiará.
H 3 : Raghu falló en matemáticas discretas y demuestra que q se sigue de H 1 , H 2 y H 3 . ( VTU

diciembre
2009)
9. Demuestre que el siguiente argumento no es válido dando un contraejemplo: h (p∨ ∼ q) ∧( p → (q → r)] →∼ r
10. Establecer la validez del siguiente Argumento.

p∨q s tevadtyo te oowngArgument.
∼ (p∨r) ao
∼r 4
(VTU junio de 2012)
Establecer la validez de los siguientes (q∨ ∼ r)∨s, ∼ q ∨ (r∧ ∼ q),
Establecer la validez del siguiente Argumento.

p, p → r, p → (q∨ ∼ r), ∼ q∨ ∼ s ∴ s
13. Demuestre que cada uno de los siguientes argumentos es inválido proporcionando un contraejemplo: es decir,
una asignación de valores de verdad para los enunciados primitivos dados de modo que todas las premisas
sean verdaderas mientras que las
la conclusión es falsa. i) p∧ ∼q
(VTU junio de 2011)
p → (q → r) q → r ∴ ∼ r, r ∨ s, ∼ s → q ∴ S
14. Pruebe la validez de “Si me gustan las matemáticas, entonces estudiaré”. No estudiaré. O me gustan las
matemáticas o me gusta el fútbol. Por eso me gusta el fútbol”.
15. Deducir la conclusión del argumento a partir de la hipótesis que explica cada paso.
-p ∨ q → r
s ∨ -q

-t
p→t
-p ∧ r → -s
∴ -q
1.19 Declaración abierta
Una declaración o predicado Abierto es una expresión con una o más variables definidas en algún dominio
específico cuyo valor de Verdad depende del valor de las variables presentes en ella. Un predicado con variables
se puede convertir en una proposición asignando un valor a la variable o cuantificando la variable.
Los siguientes son algunos ejemplos de declaración abierta:
p(x, y): “ x = y ”
q(x, y) : “ x es hermano de y ”
3
Yo TT «
1.20 Universo del discurso
A3
Si p(x) es una declaración abierta que contiene la variable x , entonces el dominio de la variable x (es decir, el
alcance de la variable x ) se denomina Universo del discurso o universo. Puede ser el conjunto de los números
reales, el conjunto de los números enteros, el conjunto de todos los coches en un aparcamiento, el conjunto de
1.21
Cuantificadores:
todos los st.
un°
Cuantificador es una expresión, como “para todos”, “para cualquiera” o “para algunos”, que indica la cantidad de
una proposición. La lógica de predicados se ocupa de predicados (declaraciones abiertas), que son proposiciones
que contienen variables. La variable de predicados se cuantifica mediante cuantificadores. (VTU enero de
2018)
Hay dos tipos de cuantificadores en lógica de predicados, a saber, el cuantificador universal y el cuantificador
existencial.
1.22 Cuantificador existencial
Dado un enunciado abierto P (x), el enunciado “para algún x, P (x)” (o “hay algún x tal que p(x)”), representado por
“ ∃xP (x) ”, tiene un enunciado definido valor de verdad, por lo que es una proposición en el sentido habitual. El
símbolo ∃ se llama cuantificador existencial.
Ejemplo 1: Sea P (x) : “ x + 2 = 7 ” con los números enteros como universo del discurso, entonces ∃xP (x) es
verdadero, ya que efectivamente existe un número entero, es decir 5, tal que P (5) es una declaración verdadera.

Ejemplo 2: Sea Q(x) : “2x = 7” con los números enteros como universo de discurso, entonces ∃xQ(x) es falso. Pero
∃xQ(x) es cierto si ampliamos el universo del discurso a los números racionales.

1.23 Cuantificador universal
El cuantificador universal establece que las afirmaciones dentro de su alcance son verdaderas para cada valor de
la variable específica. Se denota con el símbolo ∀xp(x) y se lee como para cada valor de x, P(x) es verdadero.
De manera análoga, la oración “para todo x, P (x)”, “para cualquier x, P (x)”, “para cada x, P (x)”, “para cada x, P
(x)”, representaba “ ∀xP(x) ”, tiene un valor de verdad definido. Ejemplo 1: Sea P (x) : “x + 2 = 7” y el universo del
discurso son los números enteros, entonces ∀xP (x) es falso. Sin embargo, si Q(x) representa “ (x + 1) = x + 2x + 2 2
1 ”, entonces ∀xQ(x) es verdadero. El símbolo ∀ se llama cuantificador universal.
Problema 6.
Sean p(x) : x ≥ 0 , q(x) : x 2 ≥ 0 y r(x) : x 2 - 3x - 4 = 0 , s(x) : x 2 - 3 > 0 . universo que comprende

Entonces para el
todos los números reales, encuentre los valores de verdad de, (i) ∃x, [p(x) ∧ q(x)]
(VTU enero de
2019)
(iv) ∀x, [q(x) → s(x)] (v) ∀x, [r(x) → p(x)] (vi) ∀x, [r(x)∨q(x) ] (VTU
(ii) ∀x, [p(x) → q(x)] (VTU enero de
2019)
(iii) ∃x, [p(x) ∧r(x)] (VTU enero de
2019)
diciembre de 2012, junio de 2009)
. Alabama
Solución :
(i) Observamos que existe un número real x para el cual ambos p. Por lo
son verdaderas; por ejemplo x
tanto, ∃x, p(x) ∧ q(x) es un enunciado verdadero; su valor de verdad i = 1.
(ii) Observamos que, para todo número real x , el
verdadero; es decir , q(x) no puede ser falso
enunciado x. Por tanto, p(x) → q(x) no puede ser
para ningún real, por lo tanto, ∀x, p(x) → q(x) es
falso para cualquier r es 1.
verdadero; su valor de verdad
son verdaderas. Por lo tanto, ∃x, p(x) ∧ r(x) es
(iii) Observamos que, para x = 4, ambos p(x) verdadero; es verdad
El valor es 1.
(iv) Observamos que s(x) es falso mi para x = 1. Por tanto, q(x) → s(x) es falso para x = 1 . Es decir,
y q( el enunciado q(x) → s(x) es n es cierto. Por tanto ∀x, [q(x) → s(x)] es Falso y su valor de verdad es F.
(v)
Problema 7. Sean p(x), q(x) y r(x) los siguientes enunciados abiertos: p(x) : x 2 - 7x + 10 = 0 , q(x) : x 2 –2x–3 = 0 , r (x) : x
< 0 . Determine la verdad o falsedad de las siguientes afirmaciones cuando el universo contiene solo los números
enteros 2 y 5. Si una afirmación es falsa, proporcione un contraejemplo o explicaciones. i) ∀x, [p(x) →∼ r(x)] ii) ∀x,
[q(x) → r(x)] iii) ∃x, [q(x) → r(x)] iv) ∃x, [p(x) → r(x)] (VTU
junio de 2019, enero de 2016)
Solución :
(i) El enunciado dado puede leerse como “Para cada número entero x ∈ 2, 5 , si x - 7x + 10 = 0 entonces x ≥ 0
2
(resolviendo x - 7x + 10 = 0 obtenemos x = 2, 5 .), es decir, p(x) es Verdadero. Además ∼ r(x) es Verdadero. Por
2
eso
∀x, [p(x) →∼ r(x)] es Verdadero.
(ii) La afirmación dada se puede leer como “Para cada número entero x ∈ 2, 5 , si x –2x–3 = 0, entonces x < 0 .
2

(Resolviendo
x 2 –2x–3 = 0 obtenemos x = 3, -1 ). es decir, p(x) es falso y q(x) es falso. Por tanto, ∀x, [q(x) → r(x)] es Verdadero.

(iii) La afirmación dada se puede leer como “Existe un número entero x ∈ 2, 5 tal que si x –2x–3 = 0 entonces
2
x < 0 . Aquí tanto p(x) como r(x) son falsos. Por tanto, la afirmación ∃x, [q(x) → r(x)] es verdadera.
(iv) La afirmación dada se puede leer como "Existe un número entero x ∈ 2, 5 tal que "si x - 7x + 10 = 02
entonces x < 0 . Para x ∈ 2, 5 tenemos que p(x) es Verdadero. Pero r(x) es falso. ∃x, [p(x) → r(x)]
Problema 8. Considere las siguientes afirmaciones abiertas con el conjunto de todos los números reales como el
universo, p(x) : x ≥ 0 , q(x) : x 2 ≥ 0, r(x) : x 2 - 3x - 4 = 0 y s (x) : x 2 - 3 > 0 luego encuentre los valores de verdad de lo
siguiente: (VTU enero de 2019,
diciembre de 2007)
(i) ∃x, [p(x) ∧r(x)]

(ii) ∃x, [p(x) ∧ q(x)]
(iii) ∀x, [p(x) → q(x)]
(iv) ∀x, [q(x) → s(x)]
(v) ∀x, [r(x) → p(x)]
Solución: (i) El enunciado dado se puede leer como “Existe algún número real x tal que x ≥ 0 y
x2
- 3x - 4 = 0 . (Resolviendo x 2 - 3x - 4 = 0 obtenemos x = 4, - es miembro del universo,
donde tanto p(x) como r(x) son Verdaderos, la afirmación ∃x, [p(x) ∧ q
(ii) La afirmación dada se puede leer como “Existe algún número real x
suc x ≥ 0 y x ≥ 0 . Dado que x = 2 es miembro del universo, donde tanto p(x) como q(x) son verdaderos, la
2
afirmación ∃x, [p(x) ∧ q(x)] es verdadera .

(iii) La declaración dada puede leerse como “Para x ≥ 0 entonces x 2 ≥ 0 . La afirmación es
todos los realmente insensibles verdadera .
er x, si x 2 ≥ 0 entonces x 2 - 3 > 0 . Cuando
(iv) La declaración dada puede leerse como “Por
cada ) → s(x)] es Falso .
(v) “Para todos los números reales x si x x
2
- 3x = 1 , p(x) es Verdadero Pero s(x) es Falso. Por lo tanto ∀x, [
Cuando x = -1 , r(x) es Verdadero y p(x gallina x ≥ 0 . La afirmación es falsa. Ejemplo de contador:
ence ∀x, [r(x) → p(x)] es falso. enteros, sean p(x), q(x), r(x), s(x) y t(x) los siguientes números abiertos
Problema 9. Para el universo de declaraciones:

p(x) : x > 0 , q(x) : x es par, r(x) : x es un cuadrado perfecto, s(x) : x es divisible por 3, t(x) : x es divisible por 7 .
Escribe las siguientes afirmaciones en forma simbólica: i) Al menos un número entero es par.
ii) Existe un número entero positivo que es par.
iii) Si x es par, entonces x no es divisible por 3.
iv) Ningún número par es divisible por 7.
v) Existe un número entero par divisible por 3.
Solución : (i) ∃x, q(x) (ii) ∃x, [p(x) ∧ q(x)]
(VTU diciembre de
2009)

(iii) ∀x, q(x) →∼ s(x)

(iv) Esta proposición es lógicamente equivalente a "Para cualquier x, si x es un número entero par, entonces x no
es divisible por 7". En forma simbólica, esto se lee ∀x, q(x) → t(x)
(v) ∃x[q(x) ∧ s(x)]
Ejercicio 6
1. Para el universo de todos los números enteros, defina las siguientes declaraciones abiertas:
p(x) : x > 0Z , q (x) : x es par, r(x) : x es un cuadrado perfecto, s(x) : x es divisible por 4 y t(x) : x es divisible por
5.
Escribe las siguientes afirmaciones en forma simbólica y determina si cada una de ellas es verdadera o
falsa. Para cada afirmación falsa, proporcione un contraejemplo.
i) Al menos un número entero es par. A)
ii) Existe un número entero positivo que es par.
iii) Si x es par, entonces x no es divisible por 5.
iv) Si x es par y un cuadrado perfecto, entonces x es divisible por 4. (VTU diciembre de
2008)
2. Sea p(x) el enunciado abierto “ x = 2x ”, donde el universo consta de todos los números enteros. Determine
2
si cada una de las siguientes afirmaciones es verdadera o falsa: i) p(0) ii) p(-2) iii) ∃x, p(x) ( VTU junio
2008)
3. Para la siguiente afirmación indique lo inverso, inverso y contra positivo. Determine los valores de verdad
del enunciado dado y los valores de verdad de su inverso, inverso y contra positivo. El universo consta de
todos los números enteros: “si m divide a n y n divide a p, entonces n divide a p” (VTU diciembre de
2007)
4. Para el universo de todos los polígonos con 3 o 4 lados definidos por las siguientes declaraciones abiertas:
i(x): todos los ángulos interiores de x son iguales h(x): todos los lados de x son iguales s(x): x es un
cuadrado t(x): x es un triángulo, traduzca cada uno de los siguientes a una oración en inglés y determine su
valor de verdad: i)
∀x, [s(x) ↔ (i(x) ∧ h(x))] ii) ∃x, [t(x) → (i(x) ↔ h(x))] Escriba las siguientes afirmaciones simbólicamente y
determinar sus valores de verdad. iii) Cualquier polígono con tres o cuatro lados es un triángulo o un
cuadrado iv) Para cualquier triángulo, si todos los ángulos interiores no son iguales, entonces todos sus
lados no lo son
igual. (VTU junio de 2012)
1.24 Negación de cuantificadores
∼ ∀xP (x) ⇔ ∃x ∼ P (x) y ∼ ∃xQ(x) ⇔ ∀x ∼ Q(x)

Ejemplo 1.24.1. Negar y simplificar:
(i) ∀x, [p(x) ∧ q(x)]
(ii) ∃x, [(p(x)∨q(x)) → r(x)]
(iii) ∀x, [p(x)∨q(x)]

(VTU diciembre de 2014, 2012, 2011, junio de
2014, 2010)
Solución :
In
stit
ut
o
(i)
AJ
de
In {∀x, [p(x) ∧ q(x)]} ⇔ ∃x, [p(x)∧ q(x)]
ge
ni ⇔ ∃x, [ pag(x) ∨ q(x)]
erí
a ⇔ ∃x, [ p(x) ∨ q(x)]
y
Te
cn
ol
og (ii)
ía,
M
an {∃x, [(p(x)∨q(x)) → r(x)]} ⇔ ∀x, [(p(x)∨q(x)) ⇔ ∀x, [ (p(x)∨
ga
lur ∨r(x)]
u,
⇔ ∀x, [ (pag )] ∧ r(x)
In
stit ⇔ ∀x, ∧ q(x))] ∧ r(x)
ut
o
AJ (iii)
de
In
ge [∀x, [p(x)∨q(x)]] ⇔ ∃x,
ni
erí ⇔ (x) ∧ q(x))
a
y
Te
cn
ol Ejemplo 1.24.2. Negar lo siguiente:
og Todos los triángulos equiláteros son
ía, isósceles.
M
an
Solución: En forma simbólica podemos escribir ∀x ∈ T, p(x) donde p(x) : x es isóceles. y T : Conjunto de todos
ga
lur los triángulos equiláteros. Su negación es ∃x ∈ T, p(x) . que dice "Para algún triángulo equilátero x, x no es
u
isósceles" o "Algunos triángulos equiláteros no son isósceles".
Ejemplo 1.24.3. Negar lo siguiente:

Algunos números enteros son pares.
Solución: En forma simbólica, esta declaración se lee ∃x ∈ Z, p(x) ”

es decir, "Todos los números enteros no son pares" o "Ningún número entero es par".

Problema 10. Dejemos que el universo esté formado por todos los números enteros i) Dado p(x): x es impar, q(x): x 2 - 1
es par.
Exprese la afirmación “Si x es impar, entonces x 2 - 1 es par” en forma simbólica usando cuantificadores y niéguela. (VTU
diciembre de 2013)
Solución: (i) El enunciado dado se puede escribir en forma simbólica como “ ∀x ∈ Z, [p(x) → q(x)] ”, donde Z es el
conjunto de todos los números enteros.
Su negación es ∃x ∈ Z, [p(x) ∧ q(x)] . es decir, para algún número entero x, x es impar y x - 1 no es par.
2
Problema 11. Escribe las siguientes oraciones en forma simbólica y encuentra su negación:
(i) Si todos los triángulos son rectángulos, entonces ningún triángulo es equiángulo.
(ii) Todos los números enteros son números racionales y algunos números racionales no son números enteros. (VTU
junio de 2019, enero de 2019, junio de 2013)
Solución: (i) Sea T el conjunto de todos los triángulos. Además, sea p(x) : x un ángulo recto, q(x) : x es equiangular.
Entonces la proposición dada se puede escribir en forma simbólica como {∀x ∈ T, p(x)} → {∀x ∈ T, q(x)} cuya
negación es {∀x ∈ T, p(x)} ∧ {∃x ∈ T, q(x)}

ab
Esto se lee como "Todos los triángulos son rectángulos y algunos triángulos son equiangulares".
(ii) Sea p(x): x es un número racional. q(x) : x es un número entero. Z: Conjunto de todos los números enteros.
P: Conjunto de todos
numeros racionales. °U
Entonces la proposición dada se puede escribir en forma simbólica como {∀x ∈ Z, p(x)} ∧ {∃x ∈ Q, q(x)} . La
negación de esto es: {∀x ∈ Z, p(x)} ∨ {∃x ∈Q, q(x)} que es lógicamente equivalente a {∃x ∈ Z, p(x)} ∨ {∀x ∈ Q, q(x)}
(i) . "Algunos números enteros no son números racionales o todo número racional es un número entero".
Problema 12. Escriba la negación de cada uno de siguientes afirmaciones para (i) y (ii) el universo consta de todos los
los números enteros y para (iii) el universo consta números reales.
de o (i) Para todos los números enteros n, si n 2, entonces n es
impar.
no es divisible por (VTU diciembre de
2007)
(ii) Si k, m, n son números enteros donde k – m y m - n son impares, entonces k - n es par.
(iii) Para todos los números reales x, si |x - 3| <7 , luego -4 <x <10 .
Solución :
(Sea Z el conjunto de todos los números enteros y R el conjunto de todos los números reales.
(i) El enunciado dado se puede escribir como ∀n ∈ Z, p(n) → q(n) donde donde p(n) : n es divisible por
2, q(n): n es impar.
Su negación es : ∃n ∈ Z, p(n) ∧ q(n)
1 .mi. Para algún número entero n, n no es divisible por 2 y n no es impar.
(ii) La declaración dada se puede escribir como: ∀k, m, n ∈ Z, [p(x) ∧ q(x)] → r(x)
Su negación es: ∃k, m, n ∈ Z, [p(x) ∧ q(x)] ∧ r(x)
es decir, existen números enteros k, m, n tales que k - m, m - n son impares y k - n no es par.
(iii) El enunciado dado se puede escribir como: ∀x ∈ R, p(x) → q(x) donde p(x) : |x - 3| < 7 y
q(x): -4 < x < 10 .

Su negación es : ∃x ∈ R, [p(x) → q(x)]

es decir , ∃x, [p(x)∧ ∼ q(x)]
es decir, para algún número real x, |x - 3| < 7 y x ∈/ (-4, 10)
1.25 Inversa inversa y contrapositiva de declaraciones abiertas
Ins Para un enunciado cuantificado ∀x, p(x) → q(x) definimos inverso, inverso y contrapositivo de la siguiente forma.
titu
to 1) El contrapositivo de ∀x[p(x) → q(x)} es ∀x[ q(x) → p(x)] .
AJ 2) Lo inverso de ∀x[p(x) → q(x)] es ∀x[q(x) → p(x)] .
de
In 3) El inverso de ∀x[p(x) → q(x)] es ∀x[ pag(x) → q(x)] .
ge
nie
ría
y Ejemplo 1.25.1. Escribe el inverso, inverso y contrapositivo de: ∀x, [x 2 + 4x - 21
Te
cn > 0] → (x > 3) ∨ (x < -7)] (VTU enero de
olo 2016)
gí
a, Solución: La declaración dada tiene la forma ∀x, p(x) → q(x) donde p(x): q(x): [(x 4x - 21 > 0) y
M > 3) ∨ (x < -7)] Inversa: ∀x, q(x) → p(x)
an
gal es decir, ∀x, [(x > 3) ∨ (x < -7)] → ^ x + 4x - 21 > 0 2
ur
u,
Inversa: ∀x, ^ x 2 + 4x - 21 ≤ 0) → [(x ≤ 3) ∧ o ∀x, ^ x 2 + 4x -
Ins
titu 21 ≤ 0) → (-7 ≤ x ≤ Contrapositiva: ∀x [[ (x ≤ 3) ∧ (x ≥ -7)] ^
to x 2 + 4x - 21 ≤ 0)] 21 ≤ 0)] , o ∀x[(-7 ≤ x ≤ 3) →

AJ
de
In
ge Ejemplo 1.25.2. Escriba la conversión ∀x, [(x y contrapositivo de:
nie
ría > 3) → (x 2 > 9)] en diciembre de 2014, El conjunto es R. y también escribo sus valores de verdad. VTU enero
y de 2019,
diciembre de 2013)
Te
cn
olo
Inversa: ∀x, ^ x >
es: x = -5 Inverso:
ejemplo contrario
ejemplo contrario
gí
∀x, (x ≤ 3) → ^ x 2
9) → (x > 3) Esta
Declaración: ∀x,
∀x, [ ^ x 2 > 9) →
Contrapositivo:
(x > 3) → ^ x 2 >
VERDADERA.
VERDADERA.
a,
afirmación es
afirmación es
afirmación es
afirmación es
(x > 3)] . Esta
M
FALSA. El
FALSA. El
≤ 9)] Esta
es: x = -5
9)] . Esta
an
Solución:
gal
ur
u
Ejemplo 1.25.3. Escriba el inverso, inverso y contrapositivo de “ ∀m, n, [m > n → (m 2 > n 2 )] ” donde el conjunto
universal son todos los números enteros positivos. Escribe también sus valores de verdad.
Solución :
Declaración dada: Para todos los números enteros positivos m, n, si m > n entonces m > n . Esta 2 2
afirmación es VERDADERA
Inversa: Para todos los números enteros positivos m, n, si m > n entonces m > n Esta afirmación es 2 2
VERDADERA
Inversa: Para todos los enteros positivos m, n, si m ≤ n entonces m ≤ n Esta afirmación es 2 2
VERDADERA Contrapositiva: Para todos los enteros positivos m, n, si m ≤ n entonces m ≤ n . Esta 2 2

afirmación es VERDADERA
Ejercicio 7
1. Si r(x) : 2x + 1 = 5 , s(x) : x = 9 son oraciones abiertas, obtenga la negación del enunciado cuantificado ∃x,
2
[r(x) ∧ s(x)] (VTU junio de 2015, diciembre

de 2011)
2. Negar y simplificar ∀x, [p(x) → q(x)]

Ins
titu 3. Escribe el siguiente enunciado abierto en forma simbólica y encuentra su negación. “Algunas rectas son
to
paralelas o todas las rectas se cruzan”. (VTU junio de
AJ
de 4. Escribe
2016) el inverso, inverso y contrapositivo de lo siguiente. Escribe también sus valores de verdad.
In
ge 5. Para todos los números enteros a, b, si a > b entonces a > b2 2
nie
ría 6. Para todos los números enteros m, n y p , si m divide a n y n divide a p, entonces m divide a p .
y
Te
cn 5. Sea p(x) la oración “ x + 2 > 5 ”. Indique si p(x) es o no una proposición en cada uno de los
olo siguientes conjuntos: i) N, el conjunto de los números enteros positivos ii) C, el conjunto de los números
gí complejos. (VTU diciembre de 2011)
a,
M 6. Niega las siguientes afirmaciones. i) ∀x, p(x) ∧ ∃y, q(y) ii) ∃x, p ∀y, q(y)
an
gal 7. Sea p(x, y ) el enunciado abierto x divide y donde el e consta de todos los
ur números enteros.
u, Determine el valor de verdad de las siguientes afirmaciones. r (VTU junio de
respuesta 2012)
Ins i) ∀x, ∀y[p(x, y) ∧ p(y, x) → (xJustificar
= y)] .
titu
ii) ∀x, ∀y[p(x, y) ∨ p(y, x)]
to
AJ
de
In
ge
nie 1.26 Vari libre y atada
ría
y
Te Dada una fórmula que contiene forma (x)P (x) o (∃x)P (x) , dicha parte se llama parte ligada a x
cn una parte
olo de la fórmula y en este caso, la variable x se llama variable ligada y cualquier variable que no esté ligada se
gí llama
llamada variable libre. es decir, si la apariencia de una variable no está vinculada, se denomina variable libre.
a,
M ejemplos: 1. (x)P (x, y) .
an
gal 2. (x)(P (x) → Q(x)) .
ur 3. (x)(P (x) → (∃y)R(x, y)) .
u
4. (x)(P (x) → R(x)) ∨ (x)(P (x) → Q(x)) .
5. (∃x)(P (x) ∧ Q(x)) .
6. (∃x)P (x) ∧ Q(x) .
En (1), P (x, y) es el alcance de los cuantificadores, y ambas ocurrencias de x son ocurrencias ligadas, mientras
que la ocurrencia de y es una ocurrencia libre.
En (2), el alcance del cuantificador universal es P (x) → Q(x) , y todas las apariciones de x están limitadas.
En (3), el alcance de (x) es P (x) → (∃y)R(x, y) , mientras que el alcance de (∃y) es R(x, y) . Todas las apariciones
de x e y son apariciones ligadas.

En (4), el alcance del primer cuantificador es P (x) → R(x) y el alcance del segundo es P (x) → Q(x) . Todas las
apariciones de x son apariciones ligadas.
En (5), el alcance de (∃x) es P (x) ∧ Q(x) . En (6), el alcance de (∃x) es P (x) y la última aparición de x en Q(x) es
libre.
Podemos escribir (x)P (x, y) como (z)P (z, y) . La aparición ligada de una variable no puede sustituirse por una
constante. Sólo una aparición libre de una variable puede sustituirse por una constante. Por ejemplo, (x)P (x) ∧
Q(a) es una instancia de sustitución de (x)P (x) ∧ Q(y) . (x)P (x) ∧ Q(a) se puede expresar en inglés como “Todo x
tiene la propiedad P, y 'a' tiene la propiedad Q”. Un cambio de variables en la ocurrencia vinculada no es una
instancia de sustitución. En (6), es mejor escribir (y)P (y) ∧ Q(x) en lugar de (x)P (x) ∧ Q(x) , para separar las
ocurrencias libres y ligadas de las variables. Se puede mencionar que en una declaración cada aparición de una
variable debe estar vinculada y ninguna variable debe tener una aparición libre.
1.27 Declaraciones abiertas con más de una variable

En predicados con más de una variable es posible utilizar varios cuantificadores e al mismo tiempo, por
ejemplo ∀x∀y∃zP (x, y, z) , que significa “para todo x y todo y hay algún z tal que P ( x, y, z)”.
∀a∃bP (x, y)P (a, b)a + b = 0
∀a∀b∀cP (a, b, c)P (a, b)a + (b + c) = (a + b) + c
∀a∃bP (x, y) 6= ∃a∀bP (x, y)
Definir: (i)
1. Variables libres (iv) Variables ligadas. (VTU enero de 2017,
Oraciones abiertas (ii) Quanti Junio 2015)
2. ¿Cuáles son las variables variables? Identifique lo mismo en cada una de las
ligadas (i) ∀y, ∃z, [cos(x + y) - x)] (ii) ∃x, ∃y, [x 2 - y 2 = z] (VTU enero de
2019)
= siguientes expresiones:
3. Para las siguientes afirmaciones, el universo comprende todos los números enteros distintos de cero.
Determinar los valores de verdad de
cada (VTU enero de 2018, enero de 2017, 2016, junio de 2010))
declaración:
i) ∃x, ∃y(xy = 1)
ii) ∃x, ∀y(xy = 1)
iii) ∀x, ∃y(xy = 1)
iv) ) ∃x∃y[(2x + y = 5) ∧ (x - 3y = -8)]
v) ) ∃x∃y[(3x - y = 17) ∧ (2x + 4y = 3)]
4. Determine el valor de verdad de cada una de las siguientes afirmaciones cuantificadas para el conjunto de
todos los números enteros distintos de cero: i) ∃x, ∃y, [xy = 2] ii) ∃∀x, ∃y, [xy = 2] iii) ∃x, ∀y, [xy = 2] iv)
∃x, ∃y, [(3x + y = 8) ∧ (2x - y = 7)] v) ∃x, ∃y, [(4x + 2y = 3) ∧ (x - y = 1)] ( VTU
junio de 2017)

5. Dado R(x, y): x + y es par y las variables xey representan números enteros. Escribe una oración en inglés
correspondiente a cada uno de los siguientes (i) ∀x, ∃y, R(x, y) (ii) ∃x, ∀y, R(x, y) . (VTU diciembre de
2012)
1.27.1 Regla EE. UU. (Especificación universal):
Si se sabe que un enunciado abierto p(x) es verdadero para todo x en un universo S y si a ∈ S, entonces p(a) es
verdadero.
∀x ∈ S,p(x)
a∈S
Por lo tanto p(a)
1.27.2 Regla UG (Generalización Universal) :
Si se demuestra que un enunciado abierto p(x) es verdadero para cualquier x (arbitrario) elegido de un conjunto S,
entonces el enunciado cuantificado ∀x ∈ S, p(x) es verdadero.
1.27.3 Regla ES (Especificación Existencial):
premisa dada y tampoco libre en

De ( ∃x)A(x) concluimos A(y) siempre que y no sea el paso ningún
anterior de la derivación.
capaz cada vez que se
Estos utiliza. requisitos pueden
entenderse fácilmente
eligiendo
De A(x) podemos concluir que (y)A x

1.27.4 Regla EG (Género
está libre en un paso anterior y que Existencial
aparece libre en A(x) .
d que x no está libre en ninguna de las premisas
dadas y siempre que sea por el uso de ES. Entonces no hay variables introducidas por ese uso de ES
Ejemplo 1.27.1. Probar la validez de

Todos los hombres son indios. Tagore es un hombre. Por lo tanto Tagore es un indio.
Solución: Si denotamos p(x): x es un hombre, q(x): x es un indio. a: Tagore, entonces el argumento dado tiene la
forma:
∀x, p(x) → q(x)

Pensilvania)
∴ q(a)

Solución:


(1) ∀x, p(x) → q(x) Premisa
(2) Pensilvania) Premisa
(3) p(a) → q(a) Paso (1) Regla de especificación universal

(4) q(a) Pasos (3) y (2), Modus Ponens
Ejemplo 1.27.2. Para el universo de todas las personas, determine si el siguiente argumento es válido: Todos los
profesores de matemáticas han estudiado cálculo. Ramanujan es profesor de matemáticas. Por eso Ramanujan ha
estudiado cálculo.
Solución: Para el universo de todas las personas, considere las afirmaciones abiertas p(x) : x es profesor de
matemáticas q(x) : x ha estudiado cálculo.
a : Ramanujan Entonces el argumento dado tiene la forma:
∀x, p(x) → q(x)

Pensil
vania)
∴ q(a
(1) ∀x, p(x) → q(x) Premisa

(2) Pensilvania) Premisa
Paso (1) Regla Especificación
(3) p(a) → q(a) de
(4) q(a) Pasos (3) y (2 universal odus
Ponens
Ejemplo 1.27.3. Encuentre si lo siguiente ment es un argumento válido para el cual el universo es el
conjunto de
todos los estudiantes:
Ningún estudiante de ingeniería es Ram no es malo en los estudios. Por tanto, Ram es estudiante de ingeniería.
malo en
Solución: Para el universo de todos los estudiantes, considere las
declaraciones abiertas.
p(x) : x es estudiante de Ingeniería q(x) : x es malo en los estudios a : Ram
Entonces el argumento dado tiene la forma:
∀x, p(x) →∼ q(x)

∼ q(a)
∴ pag(a)

(1) ∀x, p(x) →∼ q(x) Premisa

(2) p(a) →∼ q(a) Paso (1) Regla de especificación universal Aquí no podemos llegar a la
(3) ∼ q(a) Premisa
(4) ? ?
conclusión (es decir, p(a) ) a partir de las premisas disponibles. De los pasos (2) y (3), tanto p(a) →∼ q(a) como ∼
q(a) son verdaderos. Esto es posible incluso cuando p(a) es falso. Por tanto el argumento no es válido.
Ejemplo 1.27.4. Establecer la validez del siguiente argumento: ∀x, [p(x) ∨ q(x)]
∀x, [( p(x) ∧ q(x)) → r(x)]
∴ ∀x, [ r(x) → p(x)] (VTU junio de 2014, 2011, diciembre
de 2012)
Solución :
Pasos Declaraciones Razón

1. ∀x[p(x) ∨ q(x)] Premisa

2. p(c) ∨ q(c) Paso (1) y la regla de especificación universal
3. ∀x[( p(x) ∧ q(x)) → r(x)] Premisa
4. [ p(c) ∧ q(c)] → r(c) Paso (3) y la regla de especificación universal
5. r(c) Premisa asumida (Esta es la hipótesis que forma parte de la
conclusión)
6. ∴ [ p(c) ∧ q(c)] 4. y 5., Regla del Modus Tollens
7. pag(c) ∨ q(c) 6. Regla de De Morgan
8. pag(c) ∨ q(c) Regla de la doble negación
9. [p(c) ∨ q(c)] ∧ [p(c) ∨ q(c)] 2. y 8. Regla de conjunción
10. p(c) ∨ (q(c) ∧ q(c)] 9. Ley distributiva
11. pag(c) ∨ F 0 10. ( ∵ q ∧ q ⇔ F 0 )
12. ordenador personal) ( ( ∵ p ∨ F 0 ⇔ p)
13. ∴ ∀x, [ r(x) → p(x)] 5. y 12., Regla de Generalización Universal
Ejemplo 1.27.5. Establecer la validez del siguiente argumento ∀x, [p(x) ∨ q(x)]
∃x, p(x) ∀x, [ q(x) ∨ r(x)] ∀x, [s(x) → r(x)] ∴ ∃x s(x) (VTU enero de
2019)
Solución: Tome un elemento particular a (es decir, algún elemento a ) del universo, para el cual p(a) es Verdadero.
Establecemos la validez de la siguiente manera.

Pasos Declaración Razón
(1) ∀x, [p(x) ∨ q(x)] Premisa

(2) p(a) ∨ q(a) Paso (1), Regla de especificación universal
(3) ∃x, pag(x) Premisa
(4) Pensilvania) (3) es cierto para algunos a en el universo

(5) ∴ q(a) (2) y (4), Regla del silogismo disyuntivo
(6) ∀x, [ q(x) ∨ r(x)] Premisa
(7) [ q(a) ∨ r(a)] Paso (6), Regla de especificación universal

(8) ∀x, [s(x) → r(x)] Premisa
s(a) → real academia de
(9) bellas artes) Paso (8), Regla de especificación universal
(10) ∴r (a) Pasos (7) y (5), silogismo disyuntivo
(11) s(a) Paso (9) y (10), Modus Tollens
∵ El paso (11) es verdadero para algunos a en el
(12) ∴ ∃x s(x)
universo
Ejemplo 1.27.6. Determine si el siguiente argumento es válido: Ningún estudiante de ingeniería de 1er o 2do semestre
estudia lógica. Anil es un estudiante de ingeniería que estudia lógica. ∴ Anil no está en el segundo semestre.
e 2018, enero de 2015, junio de 2013)
Solución: denotemos p (x) : x está en el primer semestre, q (x) : x es ia: Anil y Universe es un
conjunto de todos los estudiantes. d semestre r(x) : x estudia lógica.
Entonces el argumento queda en la forma:
Ejemplo 1.27.7. Encuentre si el siguiente argumento es válido. Si un triángulo tiene dos lados
∀x[(p(x) → r(x)]
∴ q(a)
Ahora se establecen los Identidad de este

siguientes pasos. argumento.
(1) ∀x[(p(x) ∨ q(x)) → r(x)] Premisa

(2) real academia de bellas artes) Premisa
(p(a) ∨ q(a)) → real academia de
(3) bellas artes) Paso (1), Especificación universal
(4) ∴ (p(a) ∨ q(a)) Pasos (3) y (2), Modus Tollens
(5) pag(a) ∧ q(a) Paso (4), regla de De Morgan
(6) ∴ q(a) Paso (5), simplificación conjuntiva
iguales, entonces es isósceles. Si un triángulo es isósceles, entonces tiene dos ángulos iguales. El triángulo ABC no
tiene dos ángulos iguales. ∴ ABC no tiene dos lados iguales. (VTU enero de 2019, enero
de 2018)
Solución: Denotemos: p(x): x tiene dos lados iguales. q(x) : x es isósceles. r(x) :x tiene dos ángulos iguales y a:
Trianle ABC y el Universo es el conjunto de todos los Triángulos. Entonces el argumento queda en la forma:

∀x, [p(x) → q(x)]

∀x, [q(x) → r(x)]
-real academia de
bellas artes)
∴ -p(a)
Ins Pasos Declaraciones Razones

titu
to (1) ∀x, [p(x) → q(x)] Premisa
AJ (2) p(a) → q(a) Paso (1) y la regla de especificación universal
de (3) ∀x, [q(x) → r(x)] Premisa
In
ge
(4) q(a) → r(a) (3), Regla de especificación universal
nie
ría (5) ∴ p(a) → r(a) Pasos (2) y (4) y la ley del silogismo
y real academia de bellas
Te (6) artes) Premisa
cn (7) ∴ Pensilvania) Pasos (5) y (6), Modus Tollens
olo
gí Ejemplo 1.27.8. Verifique si el siguiente argumento es válido: ( VTU De , 2015, 2011, junio de
a, 2010)
M ∀x, [p(x) ∨ q(x)]
an ∃x, pag(x)
gal
ur ∀x, [ q(x) ∨ r(x)]
u,
∀x, [s(x) → ∴ r(x)]
Ins
∃x, s(x)
titu
to
AJ Solución:
de
In
ge Declaraciones de tempo
nie pasos rada
ría (1) ∀x, [p(x) ∨ q(x)] Premisa
y
Te (2) [p(a) ∨ q(a)] Paso (1), Regla de especificación universal
cn (3) ∃x, pag(x) Premisa
olo
gí (4) Pensilvania) El paso (3) es verdadero para algunos
a, (5) ∴ q(a) Pasos (2) y (4), silogismo disyuntivo
M
an (6) ∀x, [ q(x) ∨ r(x)] Premisa
gal
ur (7) q(a) ∨ r(a) Paso (6), Especificación universal
u (8) ∀x, [s(x) → r(x)] Premisa
(9) s(a) → real academia de Paso (7), Especificación universal
bellas artes)
(9) ∴r (a) Pasos (7) y (5), silogismo disyuntivo
(10) ∴ s(a) Pasos (9) y (10), Modus Tollens

(11) ∴ ∃x, s(x) (Dado que (9) es verdadero para algunos
Ejemplo 1.27.9. Demuestre que ∀x, [(P (x) → Q(x)) ∧ ∀x, (Q(x) → R(x)] ⇒ ∀x, (P (x) → R(x)) .

(1) ∀x, [(P (x) → Q(x)) Regla P (es decir, premisa)

Paso (1), Especificación universal de
(2) P(a) → Q(a) reglas
Solución: (3) ∀x, (Q(x) → R(x)) Regla P
(4) Q(a) → R(a) Especificación universal de reglas en (3)

(5) P(a) → R(a) Pasos (2), (4), Silogismo
Ins Paso (5), Generalización universal de
(6) ∀x, (P(x) → R(x))
titu reglas
to Ejercicio 9
AJ
de
In
ge 1. Definir la regla de especificación universal y la regla de generalización universal. También escribe su
nie simbólico.
forma (VTU diciembre de
ría . 2011, 2007)
y
Te 2. Determinar si el argumento es válido o no. Todas las personas que nos preocupamos por el medio
cn ambiente, reciclen
sus envases de plástico. A B no le preocupa el medio ambiente. Por lo tanto B no recicla su
olo
gí contenedores de (VTU diciembre de
a, plástico. 2011)
M 3. Escribe en forma simbólica y establece la validez del argumento. n son mortales. Sócrates
an es un
gal hombre. Por tanto, Sócrates es mortal.
ur
u, 4. En el universo de todos los cuadriláteros en geometría La validez del argumento, “ya que
Ins plana, cada cuadrado es un rectángulo y cada rectángulo m, se deduce que cada cuadrado es un
titu (VTU junio de 2015)
to es un paralelogramo”.
AJ
de 5. Demuestre que ∃x, M(x) se sigue lógicamente de las premisas ∀x, (H(x) → M (x)) y ∃x, H(x) .
In
ge
6. Encuentre si lo siguiente es un Argumento de identificación: “Todos los empleadores
nie
pagan a sus empleados. anil es
ría empleador. Por lo tanto anil emplead (VTU junio de
y os. 2016)
Te
cn 7. Proporcione los pasos y la razón Establecer la validez del argumento:
olo ∀x, [p(x) → (q(x) ∧ r(x))] ∀x, [p(x) ∧
gí
a, s(x)]
M ∴ ∀x, [r(x) ∧ s(x)] (VTU junio de
an
2008)
gal
ur 8. Compruebe si el siguiente argumento es válido. ∀x, [p(x) → q(x)]
u ∀x, [q(x) → r(x)]
∴ ∀x, [p(x) → r(x)]
(VTU diciembre de 2014,
2013)
1.28 Definiciones y demostraciones de teoremas
Recordar que
•
entero.
un número par es uno de la forma 2k , donde k es un número

• un número entero impar es uno de la forma 2l + 1 donde l es un
•
número entero.
un número entero a es divisible por un número entero b si existe un número entero m tal que a = mb .
(es decir, a es un múltiplo de b )
Método directo: en el método directo para demostrar un p → q condicional, primero asumimos que p es verdadero.
Luego, empleando las reglas/leyes de la lógica y otros hechos conocidos, inferimos que q es verdadera.
Ins Conclusión: p → q es cierto.

titu Método Indirecto: El enunciado p → q y su contrapositivo q → p son lógicamente equivalentes. Una prueba indirecta
to
AJ consiste en probar la contrapositiva de la implicación deseada, es decir, en lugar de probar p → q
de
In demostramos ∼ q →∼ p . Para esto primero asumimos que ∼ q es verdadero. Luego, empleando las reglas/leyes
ge de la lógica y otros hechos conocidos, inferimos que ∼ p es verdadero.
nie
ría Conclusión: ∼ q →∼ p ⇔ p → q es cierto.
y
Prueba por contradicción: en este método, asumimos que p → q es falso. es decir, asumimos que p es Verdadero y
Te
cn q es Falso. Comenzando con el resultado q es falso usando reglas y otros hechos conocidos, inferimos que p es
olo
gí falso. Esto contradice nuestra suposición de que p es Verdadero. ( ∵ p∧ ∼ q = F 0 ) Conclusión: Debido a la
a, contradicción llegada al análisis, inferimos que p → q es Verdadero.
M
an
gal Ejemplo 1.28.1. Para todos los números enteros k y ` , si k , ` ambos son ven y k` es impar. (VTU enero
ur impares, entonces 2018)
u,
Ins Solución: Supongamos que tanto k como l son impares, k = 2a + 1 y l = 2b + 1, para algunos
titu
to entonces tenemos ma enteros a, b ∈ Z
AJ
Entonces k + l = (2a + 1) + (2b + 1) y kl = (2a + 1)(2b+1)
de
In =⇒ k + l = (2a + 2b + 2) y kl = 4ab + 2a + 2b + 1
ge
nie =⇒ k + l = 2(a + b + 1) y kl = 2(2ab + a + b) + 1
ría =⇒ k + l = 2m y kl = 2n aquí m = 2(a + b + 1) y n = 2ab + a + b son números enteros.
y =⇒ k + l es par y kl es od
Te
cn
olo
Ejemplo 1.28.2. Dé: (i) Una prueba directa (ii) Una prueba indirecta y (iii) Prueba por contradicción, para la
gí
a, siguiente afirmación: “Si n es un número entero par, entonces (n + 7) es un número (VTU enero de
M entero par”. 2015)
an
gal Solución:
ur
u Prueba directa: supongamos que n es un número entero par.
Entonces tenemos n = 2a para algún número entero a . =⇒ n + 7 = 2a + 7 = 2a + 6 + 1 = 2(a + 3) + 1. = ⇒ n + 7 =
2c + 1 donde c = a + 3 es un número entero.
=⇒ n + 7 es impar.
Prueba indirecta: supongamos que m + 7 no es impar, por tanto, par.

Entonces m + 7 = 2b para algún número entero b
y m = 2b - 7 = 2b - 8 + 1 = 2(b - 4) + 1, =⇒ m = 2c + 1 donde c = b - 4 es un número entero.
Por tanto m no es par.

Prueba por contradicción: suponga que m es par y que m + 7 también es par.

Dado que m + 7 incluso tenemos m + 7 = 2c para algún número entero c .
en consecuencia, m = 2c - 7 = 2c - 8 + 1 = 2(c - 4) + 1
=⇒ m = 2k + 1 donde k = (c - 4) es un número entero.
entonces m es impar. Esto es una contradicción con nuestra suposición de que m es par. (ya que ningún número
entero puede ser par e impar)
Por tanto, nuestra suposición es falsa. es decir, m + 7 no es par. es decir, m+7 es impar.
Ejemplo 1.28.3. Dé una prueba directa del enunciado “Si n es un número entero impar, entonces n23 también es un
número entero impar”
(VTU junio de 2019)
Solución: Esta afirmación tiene la forma p → q donde p : n es un número entero impar y q : n es un número entero
2
impar.
Supongamos que p es Verdadero. es decir, sea n un número entero impar.
Por definición de impar, sabemos que existe un número entero k tal que n = 2k + 1 .
Al elevar al cuadrado ambos lados de la ecuación, obtenemos ere ` = 2k + 2k también es

2
norte 2 = (2k + 1) 2 = 4k 2 +4k+ 1 = 2(2k 2 + 2k) + 1 . es decir, n 2 = 2`+ 1 ,

que es un número entero.
Esto implica que n también es impar.
2
Ejemplo 1.28.4. Demuestre por contradicción que si x + y > x>2oy>3.

5 entonces
Solución : Asumimos la hipótesis x + y > 5 .

De aquí debemos concluir que x > 2 o y > 3 .
Supongamos por el contrario que “ x > 2 o y > 3 ” es falso, por lo que x ≤ 2 y y ≤ 3 .
Sumando esas desigualdades obtenemos (x + y) ≤ (2 + 3)(= 5) , lo que contradice la hipótesis x + y >
ser
cierto.
Ejercicio 10
5.
De aquí concluimos que la suposición “ x ≤ 2andy ≤ 3 ” no puede ser correcta, por lo que “ x > 2 o y > 3 ” debe
1. Dé i ) prueba directa y ii) prueba por contradicción del siguiente enunciado. "Si 'n' es un número entero
impar, entonces n + 9 es un número entero par".
2 Dé una prueba directa para cada uno de los siguientes. (i) Para todos los números enteros k y ` , si k , ` son

4. Demuestre que para todo número entero n, n es par si y sólo si n es par.

2
(VTU junio de
2012)
5. Dé una prueba directa de la afirmación "el cuadrado de un número entero impar es un número entero
impar". (VTU diciembre de 2013, 2009)
6. Proporcione una prueba por contradicción de "Para cada número entero n, si n es impar, entonces n es
2
impar". (VTU junio de 2016)

Ins
titu 7. Demuestre que para todos los números reales x e y, si x + y > 100 , entonces x > 50 o y > 50 . (VTU
to
AJ junio de 2016,
de 8. Sea n un número
diciembre entero. Demuestre que n es impar si y sólo si 7n + 8
de 2011) (VTU junio de
In es impar. 2011)
ge
9. Dé i) prueba directa ii) prueba indirecta iii) prueba por contradicción de la siguiente afirmación: “si n es un
nie
ría entero impar entonces n + 9 es un entero (VTU diciembre de 2016, 2008, junio
y par”. de 2013)
Te
cn
olo
gí
a,
M
an
gal
ur
u,
Ins
titu
to
AJ
de
In
ge
nie
ría
y
Te
cn
olo
gí
a,
M
an
gal
ur
u
ambos pares, entonces k +` es par.(VTU junio de 2019, enero de 2019)
(ii) Para todos los números enteros k y ` , si k , ` son pares, entonces k.` es par. (VTU junio de 2019, enero de 2019,
junio de 2017, 2015)
3 Para cada una de las siguientes afirmaciones, proporcione una prueba indirecta estableciendo y demostrando el
contra positivo: (i) Para todos los números enteros k y ` , si k` es impar, entonces tanto k como ` son impares. (ii)
Para todos los números enteros k y ` , si k + ` es par, entonces k y ` son ambos pares o impares.(VTU junio de
2008)

18CS36 DMS Módulo 1 Notas de VTU 3er Semestre CSE/ISE Matemáticas Discretas

Cargado por

Copyright:

Formatos disponibles

18CS36 DMS Módulo 1 Notas de VTU 3er Semestre CSE/ISE Matemáticas Discretas

Cargado por

Información del documento

Descripción 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

18CS36 DMS Módulo 1 Notas de VTU 3er Semestre CSE/ISE Matemáticas Discretas

Cargado por

Copyright:

Formatos disponibles

o AJ de Ingeniería y Tecnología, Mangaluru, Instituto AJ de Ingeniería

Matemática Estructuras físicas

Dra. Shantha Kumari. K.

q: Margaret Mitchell escribió Lo que el viento se llevó.

1.2 Enunciados primitivos y compuestos

tabla de verdad para la conjunción está dada por

Solución: Tabla de verdad para p ∨ ( q ∧ r) es:

Dr. Shantha Kumari.K., Departamento de Matemáticas AJIET, Mangaluru

pag q r ( q) ( q∧r) pag ∨ ( q∧r)

Dr. Shantha Kumari.K., Departamento de Matemáticas AJIET, Mangaluru

paq r ∼q ∼q∨r s 1 : p ∧ (∼ q ∨ r) ∼r (q∧∼r) s 2 : p ∨ (q∧ ∼ r)

pq s 1 : pag → q ∼pag s2:∼p∨q

Dr. Shantha Kumari.K., Departamento de Matemáticas AJIET, Mangaluru

b) Repara mi aire acondicionado o no pagaré el alquiler.

c) A Mary se le permitirá subir a la motocicleta de Larry solo si usa su casco.

b) escribir como: "Si no arreglas mi aire acondicionado, no pagaré el alquiler".

“p sólo si q” es la afirmación p → q . Por lo tanto, una declaración dada

Ejemplo 1.7.3. Determine el valor de verdad de cada uno de los siguientes

e p :3 + 4 = 12 y q :3 + 2 = 6. Dado que tanto p como q son falsos,

Ejemplo 1.7.5. Encuentre los posibles valores de verdad de p, q y r si

Dr. Shantha Kumari.K., Departamento de Matemáticas AJIET, Mangaluru

Dr. Shantha Kumari.K., Departamento de Matemáticas AJIET, Mangaluru

Dr. Shantha Kumari.K., Departamento de Matemáticas AJIET, Mangaluru

Solución: la tabla de verdad para el enunciado dado es

pa q p→q q→p s 1 : (p → q) ∧ (q → p) s2:p↔q

pa q p∨q q∨p (p∨ q) ↔ (q ∨p)

Dr. Shantha Kumari.K., Departamento de Matemáticas AJIET, Mangaluru

Solución : Dado que p → q es falso, el valor de verdad de p es T y el de q es F. Como

Dr. Shantha Kumari.K., Departamento de Matemáticas AJIET, Mangaluru

Dr. Shantha Kumari.K., Departamento de Matemáticas AJIET, Mangaluru

(a) (pag ∨ q) → pag

(e) [p∧ (p → q)] → q

(f) (pag ∧ q) → pag

(h) [(p → q) ∧ (q → r)] → (p → r) (•

(b) La tabla de verdad para la proposición compuesta p → (q → r) es:

pag q r q→r p→ (q→r)

Dr. Shantha Kumari.K., Departamento de Matemáticas AJIET, Mangaluru

Dado que no todos los Valores de Verdad son T, la afirmación no

Dado que el Enunciado tiene todos los valores de verdad como

Dr. Shantha Kumari.K., Departamento de Matemáticas AJIET, Mangaluru

pag q ∼pag ∼q (∼p∨∼q) q ↔ (∼ p∨ ∼ q)

Dado que no todos los Valores de Verdad son T, la afirmación no

Solución: Preparemos la tabla de verdad para (p∧ ∼ q) ∧ (∼ p ∨ q )

pag q ∼ q (p∧∼q) ∼pag (∼p∨q) (p∧ ∼ q) ∧ (∼ p ∨ q)

Dr. Shantha Kumari.K., Departamento de Matemáticas AJIET, Mangaluru

Ejemplo 1.10.4. Demuestre que p → (p ∨ q) es una tautología.

Solución: Construyamos la tabla de verdad para el enunciado dado.

Dr. Shantha Kumari.K., Departamento de Matemáticas AJIET, Mangaluru

Solución: Construyamos la tabla de verdad para la proposición dada.

pag q p→q s : p ∧ (p → q) s→q

(iii) (p → (q ∨ r)) ↔ ((p ∧ q) → r) (VTU junio de

(vi) [(p ∨ q) ∧ (p → r) ∧ (q → r)] → r (VTU diciembre de 2016, 2011, 2009, 2007)

(ii) Construyamos la tabla de verdad para la proposición, {p → (q → r)} → {(p → q) → (p → r)}

pag q r p→q q→r s1 : (p → q) ∧ (q → r) s2:p→r s1→s2

Dr. Shantha Kumari.K., Departamento de Matemáticas AJIET, Mangaluru

pag q r q→r s 1 : p → (q → r) (pag → q) (p→r) s 2 : (p → q) → (p → r) s1→s2

(vi) Construyamos la tabla de verdad para la proposición [(p ∨ q) ∧ (p → r) ∧ (q → r)] → r Denotemos

pag q r (p∨q) (p → r) (p → q) ∧ (p → r) (q → r) S S→r

pa q p→q q→p (p → q) ∧ (q → p) p↔q