TALLER

INTEGRANTES:
 Luisa Bustamante
 Camila Ascencio
 Katherin Rodriguez
 Daniel Olaya

A. En los siguientes enunciados decir cuáles son proposiciones y cuáles no, o si es un enunciado
abierto.

1. Buenas noches R=// No es una proposición

2. ¡Qué tal! R=// No es una proposición
3. ¿Cómo estás? R=// No es una proposición
4. x + y = 3 R=// Enunciado abierto
5. 9 + 4 = 8 R=// Es proposición
6. Estudia mucho R=// No es proposición
7. x – y > 4 R=// Enunciado abierto
8. Ollanta Humala es menos anti-imperialista R=// Es proposición
9. La ballena es un cetáceo R=// Es proposición
10. Cleopatra fue una mujer muy bella R=// Es proposición

B. En las siguientes proposiciones simples, ¿cuáles son verdaderos y cuáles son falsos?
1. Los perros son mamíferos.
R=// Proposición simple verdadera
2. 5 es par
R=// Proposición simple falsa
3. 35 es múltiplo de 7
R=// Proposición simple verdadera
4. Los gatos son roedores
R=// Proposición simple falsa
5. La suma de los ángulos internos de todo triángulo es 180°
R=// Proposición simple verdadera
6. El teorema de Pitágoras afirma que la hipotenusa al cuadrado es igual a la suma de los catetos al
cuadrado respectivamente.
R=// Proposición simple verdadera
7. El poema del mio Cid fue escrito por Lope de Vega
R=// Proposición simple falsa
8. El 12 de octubre de 1532 fue el descubrimiento de América
R=// Proposición simple falsa
9. Ibagué es conocida como la ciudad luz
R=// Proposición simple falsa
10. En nuestro planeta tierra existen 4 continentes
R=// Proposición simple falsa

C. Da el conjunto solución de las siguientes proposiciones. El conjunto universal son los números
Naturales ℕ.

1. x < 4 CS= [1,2,3]

2. 2x – 10 = 0 CS= [5]
3. x es múltiplo de 3 CS= [3,6,9, 12, 15,…,x+3]
4. x2 = -16 CS= []
5. x3 = -27 CS= [-3]
6. 2 < x < 5 C.S= [3,4]
7. x – 4 < 1 C.S = [1,2,3,4]
8. √x = 2 C.S = [4]
9. Los números impares menores que 12 C. S = [1,3,5,7,9,11]
10. x es primo C.S = [2,3,5,7,11, 13,….]
D. Simbolice las siguientes proposiciones:
Ejemplo:
Qué un cuadrilátero tenga cuatro lados iguales es una condición suficiente para que sea un
cuadrilátero
p→q

1. Qué dos lados de un triángulo sean congruentes, es una condición necesaria y suficiente para que un
triángulo sea isósceles.
p <-> q

2. No es cierto que, la Enterocolitis sea enfermedad intestinal e inflamación al colon.

~p ^ q

3. Enterocolitis es una enfermedad intestinal o no es inflamación al colon.

p v ~q
4. Si la Enterocolitis no es una enfermedad intestinal entonces no es una inflamación al colon.
~p → ~q

E. Dada las proposiciones:

p: La fiebre es riesgosa
q: La fiebre generalmente es causada por una infección interna
r: Programar nuestras actividades de trabajo no es importante
s: Programar nuestras actividades de trabajo es positivo

Escribir literalmente:

1. s ∧ t = Programar nuestras actividades de trabajo es positivo pero no importante.

2. ∼ p → ∼ q = No es cierto que la fiebre sea riesgosa ya que no es causada por una infección
interna.
3. ∼ p ∨ ∼ q = La fiebre no es riesgosa o no es causada por una infección interna.

4. s ∧ ∼ r = Programar actividades de trabajo es positivo e importante.

5. ∼ s ∧ ∼ r = No es cierto que no programar actividades de trabajo sea positivo cada vez que
es importante.

F. Señale cuál de los siguientes enunciados son proposiciones simples y cuáles compuestas o
moleculares:

1. Ayer fue viernes por lo tanto hoy es sábado. (COMPUESTA)

2. 16 es un número par. (SIMPLE)

3. Melva estuvo ayer en casa. (SIMPLE)

4. Aurora es mayor que Adela o Adela es mayor que María. (COMPUESTA)

5. Aceptaré el trabajo únicamente si me pagan lo que pedí. (COMPUESTA)

G. Si x ∈ ℕ, da el conjunto solución de:

1. x > 4 o x < 2. C.S = {1, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14…}.

2. x es par o mayor que 6 C.S= {2, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14…}.
H. Escribe la negación de las siguientes proposiciones:
1. Ocho es mayor que cinco.

R=// Ocho no es mayor que cinco.

2. 3 = 6

R=// No es cierto que 3 = 6.

3. Es falso que un triángulo tenga cuatro lados.

R=// Es cierto que un triángulo tiene cuatro lados.

4. 33 es número compuesto.

R=// 33 no es un número compuesto.

5. 363 no es divisible entre 11

R=// 363 es divisible entre 11.

I. Hacer la negación y da el conjunto solución, x ∈ ℕ.

“Obtener primero el conjunto solución de cada proposición, para encontrar el conjunto solución
de la negación”.

1. Los números mayores que 7.

C.S={8, 9, 10, 11, 12, 13, 14, 15, 16…}

R=// 1. Los números no mayores que 7.

CS= [0,1,2,3,4,5,6]

2. Los números que no son menores que 10.

C.S= {10, 11, 12, 13, 14, 15, 16, 17, 18…}

R=// 2. Los números que son menores que 10.

CS= [0,1,2,3,4,5,6,7,8,9]

3. Los pares menores que 12.

C.S= {2, 4, 6, 8, 10}

R=// 3. Los pares que no son menores que 12.

CS= [14,16,18,20,…….]

J. Indica el valor de verdad de las siguientes proposiciones:

1. 2 es divisor de 9 y de 20 .

R=// Sólo una es verdadera, por lo tanto, la conjunción es falsa.

2. 19 es primo e impar.

R=// Verdadero, la conjunción de dos proposiciones verdaderas resulta ser verdadera.

3. 15 = 4 ó 15 es múltiplo de 3.

R=// Verdadera, ya que es disyunción, y con esta basta que se cumpla una proposición.

4. 16 es compuesto o par.
R=// Verdadera, ya que se trata de una disyunción y basta con que una sea verdadera.

5. 26 no es par o no es impar.

R=// La primera proposición es falsa y la segunda es verdadera, por lo tanto, la disyunción es

verdadera, ya que basta con que solo una sea verdadera.

K. Dadas las proposiciones:

p: Omar lee

q: Liliana escucha

Escribe en forma literal y simbólica, cada uno de los siguientes enunciados:

1.Negación de la primera en conjunción con la negación de la segunda.

Omar no lee y Liliana no escucha

(∼ p ∧ ∼ q)
2. Negación de la disyunción de la segunda con la primera.

No es verdad que, Omar lee o Liliana escucha

∼ (p ∨ q)

3. Conjunción de la primera con la negación de la disyunción de la primera con la segunda.

Omar lee y no es verdad que, Omar lee o Liliana escucha.

[p ∧ ∼ (p ∨ q)]

L. Si x ∈ {1, 2, 3,…,20}, encuentra el Conjunto Solución y grafica usando diagramas de Venn –

Euler:

Ejemplo.x ≥ 4 ó x < 16

Considere: P = {4, 5, 6, … ,20}

Q = {1, 2,…,15}
Por tanto:

P ∪ Q = {1, 2, 3,…,20}
 1. x < 4 y x ≥ 9

R=// Considere:
p {0, 1, 2,3}
q {9, 10, 11,12….18}
puq{ }

X‹4 x≥9

2. 2 ≤ x < 18
Inclusión (un conjunto A está incluido en otro conjunto B, si y solo si, todo elemento A es
también elemento de B)
R=// Considere:
p {17, 16,15…3, 2, 1,0}
q {0,1}
P u q {17, 16,15…1,0}

2≤x‹18

3.x es par y divide a 20

Utilice un conjunto infinito (ilimitado número de elementos, ya que el conjunto de solución x/ x es

un numero par)

R=// Considere

p {2, 4, 6, 8, 10,12...}

q {2/20, 4/20, 6/20…}

X es par Divide 20

4.x es impar o múltiplo de 3

Utilice la ley Morgan – (p v q) equivalente –p ۸ –q

Entonces como estoy cambiando a ley de conjunción me queda;

X es impar y múltiplo de 3
R=// Considere
p: x impar
q: x múltiplo de 3
Luego p v q {3, 9, 15, 21,…...}
Su negación: x no es impar o x no es múltiplo de 3
APLICANDO LEY DE MORGAN
Entonces conjunto de solución {1, 2, 4, 5, 6, 7,….12, 13, 14,15}

X es Múltiplo
impar 3

M.
1. Usando equivalencia de Morgan, simplifica lo siguiente:

∼ (∼ p ∧ ∼ q)
R=// ~ (-p ۸ – q)
~ (-p) v- (-q)
pvq

2. Simplifica el siguiente enunciado:

“No es verdad que, no hace frío y está lloviendo”.
Sean p: hace frio
q: está lloviendo
R=// ~ (-p ۸ q)

Negación de la disyunción∼ (p ∨ q) ≡ ∼ p ∧ ∼ q
Ejemplo
Dar la negación de la disyunción y su conjunto solución:
“x es par, o múltiplo de 5”, x ∈ {0, 1, 2, 3,…,9}
Sean p: x es par
q: x múltiplo de 5 Luego, p ∨ q vienen dado por CS = {0, 2, 4, 5, 6, 8} La
negación es:
“x no es par y no es múltiplo de 5”.
La solución es el complemento del conjunto solución CS; es decir
CS’ = {1, 3, 7, 9}

3. Usando equivalencia de Morgan, simplifica lo siguiente:

∼ (p ∨ ∼ q)

R=// ~ (p v –q)

~ p ۸ – (-q)

~p۸q

4. Simplifica el siguiente enunciado: (simbólico y literal)

“No es verdad que, ella es rubia o elegante”.
Sean p: ella es rubia
 q: ella es elegante

R=// p v q
~ (p v q)

Observación: la tabla de valores de verdad de (∼ p ∧ ∼ q) es equivalente a p -> q ≡ “ni p o ni q”.

También se le llama el inalternador de Nicod’s Dagger p -> q.

p q ~p ~q (- p ۸ -q)
V V F F F
V F F V F
F V V F F
F F V V V

p q ~p ~q P -> q
V V F F F
V F F V F
F V V F F
F F V V V

Una proposición es bicondicional siempre y cuando cada una de las proposiciones componentes
es a la vez suficiente y necesaria una respecto a la otra. La denotaremos así:
p ↔ q ≡ (p → q) ∧ (q → p),
Se lee: “p si, y sólo si, q”. Esta proposición expresa:
p → q: Lo suficiente es p y lo necesario es q, a la
vez. y
q → p: Lo suficiente es q y lo necesario p.

N. Escribe literalmente, el equivalente a:

“El nivel de vida crece si, y sólo si, los pobres se empobrecerán aún más”
(p ↔ q)

p↔q ≡ (p→q) ۸ (q→p)

P: el nivel de vida crece

Q: los pobres se empobrecerán aún más.

p↔q: el nivel de vida crece si, y solo si, los pobres se empobrecerán aún más.
p→q: el nivel de vida crece si, entonces, los pobres se empobrecerán aún más.
q→p: los pobres se empobrecen aún más si, entonces el nivel de vida crece.

O. Halla la proposición equivalente a:

EJEMPLO.
 No es el caso que, hace frío y no congele
Sean: p: hace frío
q: congela

Formalizando: “No es el caso que, p y no q”

Simbolizando: ~ (p ∧ ~ q)
Usando Ley de Morgan: ~ (p ∧ ~ q) ≡ ~ p ∨ q
Su equivalencia se escribe: “No hace frío o congela”

1. Liliana no termina su tarea y no irá al cine.

2. No es un buen estudiante, sin embargo, destaca en el futbol.
3. No es verdad que, ella es rubia o elegante.

R=//
No es el caso que, Liliana no termine su tarea y no irá al cine.
P: Liliana no termina su tarea
Q: no irá al cine.
FORMALIZANDO: No es el caso que, p y no q
SIMBOLIZANDO: ~(p ۸ ~q)
USANDO LEY DE MORGAN: ~(p ۸ ~q) ≡~p v q
SU EQUIVALENCIA SE ESCRIBE: Liliana no termina su tarea o irá al cine.

R=//

No es buen estudiante, sin embargo, destaca en el futbol

P: no es buen estudiante
Q: destaca en el futbol.
FORMALIZANDO: No es el caso que, p y no q
SIMBOLIZANDO: ~(p ۸ –q)
USANDO LEY DE MORGAN ~(p ۸ ~q) ≡ ~p v q
SU EQUIVALENCIA SE ESCRIBE: No es buen estudiante o destaca en el futbol

R=//

No es verdad que, ella es rubia o elegante.

P: ella es rubia
Q: ella es elegante
FORMALIZANDO: no es el caso que, p o no q
SIMBOLIZANDO: ~(-p v -q)
USANDO LEY DE MORGAN: ~(-p v -q) ≡ -p n q
SU EQUIVALENCIA SE ESCRIBE: no es verdad que, ella es rubia y elegante.

P. Halla el equivalente de la negación de:

Ejemplo:
Si estudio, podré ir a la UNS o al instituto tecnológico.

Sean:
p: Yo estudio
q: Podré ir a la UNS
r: Podré ir al instituto tecnológico
Simbólicamente: p → (q ∨ r)
Negación: ∼ [p → (q ∨ r)] ≡ p ∧ ∼ (q ∧ r)

“Estudio y no es cierto que, podré ir a la UNS o al instituto tecnológico”

1. 2+3=5o2>3

p: 2+3= 5
q: 2 › 3

SIMBÓLICAMENTE: p v ~ q

NEGACIÓN: (p v ~q) ≡ p ۸ ~q
2+3= 5 y no 2 › 3
d
Q. Construya las tablas de verdad para las siguientes proposiciones, y pruebe si hay (tautología,
contradicción o contingencia).

2.∼ [(p ∧ q) ∧ ∼ r]

(CONTINGENCIA)

p q r (p^q) ~r (p^q) ^~r ~[(p^q) ^~r]

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

4.[(p ∨ q) ∧ ∼ p] → q

(CONTINGENCIA)

p q pvq ~p [(p v q) ^ ~p] [(p v q) ^ ~p]-> q

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

5. [(p ↔ q) ∧ q] ↔ q

(CONTINGENCIA)

p q (p <-> q) [(p <-> q) ^ q] [(p <-> q) ^ q] <-> q

V V V V V
V F F F V
F V F F F
F F V F V
 6. (p ∨ ∼ q) ↔ (∼ p → ∼ q)

(TAUTOLOGIA)

p q ~p ~q (p v ~q) (~p -> ~q) (p v ~q) <-> (~p -> ~q)

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

9. [(p ∧ q ∧ r) → s] ↔ [(p ∧ r) → (r → s)]

(r -> [(p ∧ r) → (r → s)] [(p ∧ q ∧ r) → s] ↔

p q r s (p ^ q) (p^q ^r) (p^q ^r) -> s (p ^ r)
s) [(p ∧ r) → (r → s)]
V V V V V V V V V V V
V V V F V V F V F F V
V V F V V F V F V V V
V V F F V F V F V V V
V F V V F F V V V V V
V F V F F F V V F F F
V F F V F F V F V V V
V F F F F F V F V F F
F V V V F F V F V F F
F V V F F F V F F V V
F V F V F F V F V V V
F V F F F F V F V V V
F F V V F F V F V V V
F F V F F F V F F V V
F F F V F F V F V V V
F F F F F F V F V V V

R. Utilizando las leyes lógicas, simplifica las siguientes proposiciones:

1. (p ∧ ∼ q) ∨ ∼ (∼ p ∨ q ∧ q)
2. [(p → q) ∨ ∼ p] ∧ (∼ q → p)
3. [p ∨ (p ∧ q)] ∧ (∼ p ∨ q)
6. [(∼ q → ∼ p) → (∼ p → ∼ q)] ∧ ∼ (p ∧ q)
8. [∼ (p ∧ q) ∧ p] ∨ ∼ q

1. (p ∧ ∼ q) ∨ ∼ (∼ p ∨ q ∧ q)
= (p ∧ ∼ q) ∨ ∼ (∼ p ∨ q) Por Idempotencia
= (p ∧ ∼ q) ∨ (p ∧ ∼ q) Por ley de Morgan
=p∧∼q Por Idempotencia
= ∼ (p → q) Por ley de condicional

2. [(p → q) ∨ ∼ p] ∧ (∼ q → p)
=[(∼ p ∨ q) ∨ ∼ p] ∧ (q ∨ p) Por ley de condicional
=[(∼ p ∨ ∼ p) ∨ q] ∧ (p ∨ q) Por conmutativa y asociativa
= (∼ p ∨ q) ∧ (p ∨ q) Por Idempotencia
= (p ∨ q) ∧ q Por absorción
≡q

3. [p ∨ (p ∧ q)] ∧ (∼ p ∨ q)
 =[(p v p) ^ (p v q)] ^ (~p v q) Ley distributiva
=[p ∧ (p v q) ] ∧ (~p v q) Ley idempotencia
= p ∧ (~p v q) Absorción total
= p ∧ (v) Ley del tercio excluido
=p Formas normales (p ∧ V = p)

6. [(∼ q → ∼ p) → (∼ p → ∼ q)] ∧ ∼ (p ∧ q)
=[(p → q) → (q → p)] ∧ ∼ (p ∧ q) Recíproca/Contrarrecíproca
=[(∼ p ∨ q) → (∼ q ∨ p)] ∧ ∼ (p ∧ q) Ley del condicional
= [∼ (∼ p ∨ q) ∨ (∼ q ∨ p)] ∧ ∼ (p ∧ q) Ley del condicional
= [(p ∧ ∼ q) ∨ (p ∨ ∼ q)] ∧ ∼ (p ∧ q) Morgan/Conmutativa
= {[(p ∧ ∼ q) ∨ p] ∨ ∼ q} ∧ ∼ (p ∧ q) Ley asociativa
= {(p ∨ q) ∨ ∼ q} ∧ ∼ (p ∧ q) Ley de absorción
= (p ∨ ∼ q) ∧ ∼ (p ∧ q) Ley de idempotencia
= ∼ p ∨ (∼ q ∨ ∼ q) Identidad/Absorción
= ∼ (p ∧ q) Asociativa/Morgan

8. [∼ (p ∧ q) ∧ p] ∨ ∼ q
=[(~p ∧ ~q) ∧ p] ∨ ∼ q Ley de Morgan
=[~p ∧ (~q ∧ p) ] ∨ ∼ q Ley Asociativa
= (~ p ∧ ~q) ∧ (~p ∧p) v ~q Ley distributiva
= ~q ∧ p Absorción total

CUANTIFICADORES

R. Expresa en palabras las siguientes proposiciones:

1. ∃ x / x + 7 = 3
R=// Existe un numero “x” que sumándole siete da como resultado tres.

2. ∀ x, ∃ y: x + y = 10
R=// Todo numero “x” sumado a algún número “y” da como resultado diez.

3. ∀ x, ∀ y, ∀ z: x2 + y2 + z2 = 9
R=// Todo número “x” elevado al cuadrado sumado con todo número “y” elevado al
cuadrado y a su vez sumado por todo “z” al cuadrado da como resultado 9.

4. ∀ x ∈ ℕ: x + 1 > x
R=// Todo número “x” que pertenece a los números naturales sumado con 1 da como
resultado un número mayor que el valor de “x”.

S. Sean P(x) = x es par; Q(x) = x divide a 44; x ∈ ℕ.

Escribe literalmente:

1. ∀ x: P(x) ∨ Q(x)

R=// Todo numero natural que es par y divide a 44.

2. ∃ x / [P(x) → ∼ Q(x)]

R=// Existen un numero “x” que si es par entonces no divide a 44.

3. ∃ x / ∼ [P(x) ∧ Q(x)]

R=// Existen un numero “x” que no es par y no divide a 44.

T. Si M = {1, 2, 3, 4, 5}; determinar cuáles de las siguientes proposiciones son verdaderas o falsas:
1. ∃ x ∈ A / x + 3 = 10 R=// Falsa

2. ∀ x ∈ A: x + 3 < 7 R=// Falsa

3. ∀ x ∈ A, ∃ y ∈ A: x.y < 20 R=// Verdadera

4. ∃ x ∈ A, ∀ y ∈ A: x/y ∈ ℕ R=// Verdadera

U. Halla el equivalente de la negación:

Ejemplo.

∃ x / x2 < x

Negación: ∼ (∃ x / x2 < x)

Equivalencia: ∀ x / x2 ≮ x

1. ∀ x: x - 2 = x

R=// ∀ x: x - 2 = x
Negación: ~(∀ x: x - 2 = x)
Equivalencia: ∃ x :x - 2 ≠ x

2. ∃ y: ∀ x: x.y ≤ 2

R=// ∃ y: ∀ x: x.y ≤ 2
Negación: ~(∃ y: ∀ x: x.y ≤ 2)
Equivalencia: ∀ y: ∃ x: x.y ≤ 2

3. ∀ x: ∃ y / [x + y = 2 ∧ y ≤ x]

R=// ∀ x: ∃ y / [x + y = 2 ∧ y ≤ x]
Negación: ~(∀ x: ∃ y / [x + y = 2 ∧ y ≤ x])
Equivalencia: ∃ x: ∀ y / [x + y = 2 ∧ y ≤ x]

4. (∃ x / x + 7 > 1) ∧ (∀ x: x + 0 = x)

R=// (∃ x / x + 7 > 1) ∧ (∀ x: x + 0 = x)
Negación: ~((∃ x / x + 7 > 1) ∧ (∀ x: x + 0 = x))
Equivalencia: (∀ x / x + 7 > 1) ∧ (∃ x: x + 0 = x
5. (∀ x: x = x) → (∃ x / x2 < x)

R=// (∀ x: x = x) → (∃ x / x2 < x)
Negación: ~((∀ x: x = x) → (∃ x / x2 < x))
Equivalencia: (∃ x: x = x) → (∀ x / x2 < x))

V. Halla el equivalente de la negación de:

Ejemplo.

Es de día y todos se han levantado.

Simbólicamente: p ∧ (∀ x: Q (x))

Negación: ~ [p ∧ (∀ x: Q (x))] (Morgan: ~ (p∧ q) ≡ ~ p∨ ~ q )

Equivalencia: ~ p ∨ ~ [∀ x: Q (x)]

≡ ~ p ∨ [∃ x / ~ Q (x)]

Se lee: “No es de día o alguien no se ha levantado”

1. Alguien viene o Melva es peruana.

p= Alguien viene.
Q (x)=Melva es peruana.

Simbólicamente: (∃ x: Q (x)) v p
Negación: ~ [(∃ x: Q (x)) v p] (Morgan: ~ (q v p) ≡ ~ q ^ ~ p )
Equivalencia: ~ [(∃ x: Q (x)) ^ ~q]
≡ ~[∀ x: Q (x) ^ ~q]
Se lee: “No todos vienen y Melva no es peruana”

2. Todos somos patriotas y algunos serán congresistas.

P= Todos somos patriotas.

Q (x)= Algunos serán congresistas.

Simbólicamente: (∀ x: P (x)) ^ (∃ x: Q (x))

Negación: ~(∀ x: P (x)) ^ ~(∃ x: Q (x)) (Morgan: ~ (p ^ q) ≡ ~ p v ~ q )
Equivalencia: ~(∀ x: P (x)) v ~(∃ x: Q (x))
~(∃ x: P (x)) v ~(∀ x: Q (x))
Se lee: “Algunos no somos patriotas o no todos serán congresistas”.

3. Existe un único x ∈ ℕ tal que x2 = 9.

P(x) = x2 = 9.

Simbólicamente: (∃ x E N: P(x))

Negación: ~ (∃ x E N: P(x))

(∀ x E N: P(x))
 Se lee: “No existe un único número “x” que pertenece a los números naturales tal que x al
cuadrado sea igual a 9 ”.

4. No es el caso que algunos sean políticos.

P(x) = Algunos sean políticos

Simbólicamente: ~ (∃ x: P(x))

Negación: ~(~ (∃ x: P(x)))

Se lee: Es el caso que algunos sean políticos.