ACTIVIDADES RESUETAS DE LA UNIDAD 1- POR LA LIC.

HILDA MOTOK

Actividad 1.1

a) Indicar cuáles de las siguientes expresiones son proposiciones y en los casos

afirmativos, clasificar en simple o compuesta, luego expresar simbólicamente

i) “No es cierto que 8 es un número par”

ii) “6 es múltiplo de 3”

iii) “7 es impar y trae suerte”

iv) “Si 10 es múltiplo de 2, entonces 10 es par”

v) “15 es impar si y solo si 15 es múltiplo de 3 o de 7”

b) Sean las proposiciones 𝑝: “Luis circula en moto” y 𝑞: “Luis usa casco”; dar la

interpretación coloquial y el valor de verdad, sabiendo que “p” y “son verdaderos, de las
fórmulas lógicas:

“¬𝑝”, “𝑝 ∧ 𝑞”, “𝑝 ∨ 𝑞” , “𝑝 ⊻ 𝑞” , “𝑝 → 𝑞” y “𝑝 ↔ 𝑞

a) i) “No es cierto que 8 es un número par”

Es proposición simple
p: 8 es un número par.
Simbólicamente: ¬ p

ii) “6 es múltiplo de 3”
Es proposición simple
p: 6 es múltiplo de 3
Simbólicamente: p

iii) “7 es impar y trae suerte”

No es proposición

iv) “Si 10 es múltiplo de 2, entonces 10 es par”

Es proposición compuesta
p: 10 es múltiplo de 2, q: 10 es par
Simbólicamente: p → q

v) “15 es impar si y solo si 15 es múltiplo de 3 o de 7”

Es proposición compuesta
p: 15 es impar, q: 15 es múltiplo de 3, r: 15 es múltiplo de 7
Simbólicamente: p ↔ q ∨ r

b) 𝑝: “Luis circula en moto” , 𝑞: “Luis usa casco”

“p” es verdadero p=1 “q” es verdadero q=1
▪ ¬p: “Luis no circula en moto”
¬p=¬ 1=0 Falso
 ▪ 𝑝 ∧ 𝑞: “Luis circula en moto y usa casco”
𝑝 ∧ 𝑞=1∧1=1 Verdadero

▪ 𝑝 ∨ 𝑞: “Luis circula en moto o usa casco”

𝑝 ∨ 𝑞=1∨1= 1 Verdadero

▪ 𝑝 ⊻ 𝑞: “Luis o circula en moto o usa casco, pero no ambos”

𝑝 ⊻ 𝑞= 1⊻1=0 Falso

▪ 𝑝 → 𝑞: “Si Luis circula en moto, entonces usa casco”

𝑝 → 𝑞=1→1=1

▪ 𝑝 ↔ 𝑞: “Luis circula en moto si y solo si usa casco”

𝑝 ↔ 𝑞=1 ↔ 1=1

Actividad 1.2

i) Determinar el conectivo principal en las siguientes afirmaciones

a) 𝑝  𝑞  ¬ 𝑟 b) ¬ 𝑝  𝑞 ⟶ 𝑟 c) 𝑝  𝑞 ⟷ 𝑟  ¬ 𝑠

ii) Confeccionar la tabla de verdad de 𝑞 ∧ (¬ 𝑟 → 𝑝) y determinar en cuál renglón

de la tabla toma el valor verdadero. Para esos casos dar los valores de las variables

𝑝, 𝑞 y 𝑟 correspondientes.

iii) Sin realizar la tabla de verdad determinar los valores de verdad de las

proposiciones intervinientes sabiendo que:

a) [𝑝  𝑞  𝑟 ] = 1 b) [(¬𝑝  𝐹)  𝑞] = 1 c) [(𝑝 ∧ 𝑞 ∧ 𝑟) → (𝑠 ∨ 𝑡)] = 0

i) a) 𝑝  𝑞  ¬ 𝑟 b) ¬ 𝑝  𝑞 ⟶ 𝑟 c) 𝑝  𝑞 ⟷ 𝑟  ¬ 𝑠
Conectivo Conectivo Conectivo
principal principal principal

ii)Tabla de verdad de 𝑞 ∧ (¬ 𝑟 → 𝑝)

tenemos 3 proposiciones, por lo tanto 23 =8 renglones

p q r ¬r ¬r→ p q∧ (¬r→ p)
0 0 0 1 0 0
0 0 1 0 1 0
0 1 0 1 0 0
0 1 1 0 1 1
1 0 0 1 1 0
1 0 1 0 1 0
1 1 0 1 1 1
1 1 1 0 1 1
Toma valor de verdad en los renglones 4, 7 y 8
Renglón 4: p=o, q=1y r=1
Renglón 7: p=1, q=1y r=0
Renglón 8: p=1, q=1y r=1

iii) a) [𝑝  𝑞  𝑟 ] = 1
La conjunción es verdadera solo en el caso en que cada término es verdadero, por lo tanto
p= 1 q=1 r=1
b) [(¬𝑝  𝐹)  𝑞] = 1
¬𝑝  𝐹= 1 q=1 , la disyunción es verdadera cuando al menos un término es verdadero
entonces ¬p=1 , p=0
Es decir [(¬𝑝  𝐹)  𝑞] = 1 cuando p=0 y q=1
c) [(𝑝 ∧ 𝑞 ∧ 𝑟) → (𝑠 ∨ 𝑡)] = 0
La condicional es falsa solo en el caso en que el antecedente es verdadero y el consecuente
es falso, o sea 𝑝 ∧ 𝑞 ∧ 𝑟=1 y 𝑠 ∨ 𝑡=0
Si 𝑝 ∧ 𝑞 ∧ 𝑟=1 p= 1 q=1 r=1
La disyunción es falsa solo cuando todos sus términos son falsos.
Si 𝑠 ∨ 𝑡=0 s=0 y t=0
Se concluye que [(𝑝 ∧ 𝑞 ∧ 𝑟) → (𝑠 ∨ 𝑡)] = 0 para p= 1, q=1, r=1, s=0 y t=0

Actividad 1.3

Determinar si la siguiente proposición compuesta es tautología, contradicción o

contingencia: [𝑝 → (𝑞 → 𝑟)] ⟷ [(𝑝 → 𝑞) → (𝑝 → 𝑟)]

p q r q→r p→( q→r) p→q p→r (p → q) →( p → r) [p→(q→r)]↔[(p → q) →( p → r)]

0 0 0 1 1 1 1 1 1
0 0 1 1 1 1 1 1 1
0 1 0 0 1 1 1 1 1
0 1 1 1 1 1 1 1 1
1 0 0 1 1 0 0 1 1
1 0 1 1 1 0 1 1 1
1 1 0 0 0 1 0 0 1
1 1 1 1 1 1 1 1 1

Actividad 1.4

Usando tablas de verdad demostrar:

i) Una de las leyes distributivas.
ii) Una de las leyes de absorción.
iii) La ley del contrarrecíproco.
iv) La ley de la negación de la condicional.
v) La ley asociativa de la disyunción excluyente
 Ley distributiva
(p∧ q) ∨ r (p∨ r) ∧ (q∨ r)

A B

p q r p∧ q (p∧ q) ∨ r p∨ r q∨ r (p∨ r) ∧ (q∨ r) A⟷B

0 0 0 0 0 0 0 0 1
0 0 1 0 1 1 1 1 1
0 1 0 0 0 0 1 0 1
0 1 1 0 1 1 1 1 1
1 0 0 0 0 1 0 0 1
1 0 1 0 1 1 1 1 1
1 1 0 1 1 1 1 1 1
1 1 1 1 1 1 1 1 1

los valores de verdad para todas las combinaciones posibles

Como las expresiones A y B tienen los mismos valores de verdad para cada una de
las combinaciones posibles de los valores de verdad de las proposiciones simples
intervinientes queda demostrado que (p∧ q) ∨ r (p∨ r) ∧ (q∨ r)
Se observa también que A⟷B es una tautología.

Ley de absorción
(p∧ q) ∨p p

p q p∧ q (p∧ q) ∨p
0 0 0 0 Queda demostrado que
0 1 0 0 (p∧ q) ∨p p
1 0 0 1
1 1 1 1

Ley del contrarrecíproco

p→ q  ¬q→ ¬p

p q ¬p ¬q p→ q ¬q→ ¬p
0 0 1 1 1 1 Queda demostrado que
0 1 1 0 1 1 p→ q  ¬q→ ¬p
1 0 0 1 0 0
1 1 0 0 1 1
 Ley de la negación del condicional
¬ (p→ q)  p∧ ¬q

p q ¬q p→ q ¬ (p→ q) p∧ ¬q
0 0 1 1 0 0 Queda demostrado que
0 1 0 1 0 0
¬ (p→ q)  p∧ ¬q
1 0 1 0 1 1
1 1 0 1 0 0

Ley asociativa de la disyunción excluyente

(p ⊻ q) ⊻ r p ⊻ (q ⊻ r)

p q r p⊻q (p ⊻ q) ⊻ r q⊻r p ⊻ (q ⊻ r )
0 0 0 0 0 0 0
0 0 1 0 1 1 1
Queda demostrado que
0 1 0 1 1 1 1
(p ⊻ q) ⊻ r p ⊻ (q ⊻ r)
0 1 1 1 0 0 0
1 0 0 1 1 0 1
1 0 1 1 0 1 0
1 1 0 0 0 1 0
1 1 1 0 1 0 1

Actividad 1.5

a) Sin realizar tablas de verdad, demostrar las siguientes equivalencias lógicas

usando leyes lógicas. Luego escribir la expresión dual, si es que existe.
i) (¬𝑝  ¬ 𝑞  ¬𝑟)  (𝑝  𝑞  𝑟)  𝐹, ii) [(𝑝 → 𝑞)  (𝑝 → 𝑟)]  [𝑝 → (𝑞  𝑟)
iii) ¬ ((𝑟  𝑝) ¬ 𝑝)  ¬ 𝑟  𝑝

b) Llenar la línea de puntos con una frase equivalente, y justificar su respuesta:

i) No es cierto que no estudié  ........................................................................
ii) No estudie inglés ni francés .....................................................................
iii) No es cierto que, si cobro el dinero viajare al sur ......................................

c) Negar las siguientes expresiones usando las equivalencias correspondientes.

Escribir simbólicamente a ambas expresiones
i) Aprobaré Algebra y Discreta, ii) Si la universidad brinda becas de estudio, podré
estudiar
 a) i) (¬𝑝  ¬ 𝑞  ¬𝑟)  (𝑝  𝑞  𝑟)  𝐹
Demostración:
(¬p ∧ ¬q ∧ ¬ r) ∧ (p ∨ q∨r )  ¬(p ∨q ∨r ) ∧ (p ∨ q∨ r ) por Ley de De Morgan
 F por Ley de los inversos

ii) [(𝑝 → 𝑞)  (𝑝 → 𝑟)]  [𝑝 → (𝑞  𝑟)

Demostración:
[(p →q ) ∧ (p →r )]  [(¬p q ) ∧ (¬p r )] por Ley de la condicional
 [¬p  (q ∧ r)] por Ley distributiva
 [p → (q ∧ r)] por la ley de la condicional

iii) ¬ ((𝑟  𝑝) ¬ 𝑝)  ¬ 𝑟  𝑝

Demostración:
¬ ((r ∨ p ) ∧ ¬p )  ¬ ((r ∧ ¬p ) ∨(p ∧¬p )] por Ley distributiva
 ¬ ((r ∧ ¬p) ∨ F) por Ley de los inversos
 ¬ (r ∧ ¬p ) por Ley de los neutros
 ¬r ∨ p por Ley de De Morgan y Ley de Doble Negación

b) i) No es cierto que no estudié  Estudié Ley de Doble Negación

ii) No estudié inglés ni francés No es cierto que, estudié inglés o Ley de De

Morgan

iii) No es cierto que, si cobro el dinero viajaré al sur  Cobro el dinero, pero no
viajare al sur. Ley de la negación del condicional

c) i) Aprobaré Algebra y Discreta

p: Aprobaré Algebra q: Aprobaré Discreta
En símbolo: p∧ q
Su negación es: ¬(p∧ q) ¬p∨ ¬q Ley de De Morgan
No aprobaré algebra o no aprobaré Discreta.

ii) Si la universidad brinda becas de estudio, podré estudiar

p: La universidad brinda becas de estudio q: Podré estudiar en la universidad
En símbolo: p→q
Su negación es: ¬ (p→q) p∧ ¬q Ley de la negación del condicional
La universidad brinda becas de estudio pero no podré estudiar

Actividad 1.6

Demostrar y analizar el mensaje que transmite cada implicación lógica. Dar un

ejemplo coloquial donde se vea su aplicación:

a) [(𝑝 ⟶ 𝑞)  ¬𝑞]  ¬𝑝 b) [(𝑝 ⟶ 𝑞)  (𝑞 ⟶ 𝑟)]  (𝑝 ⟶ 𝑟)

 Demostración
a) [(𝑝 ⟶ 𝑞)  ¬𝑞]  ¬𝑝

p q ¬p ¬q p→ q (p→ q)  ¬q [(p→ q)  ¬q]→¬p

0 0 1 1 1 1 1
0 1 1 0 1 0 1
1 0 0 1 0 0 1
1 1 0 0 1 0 1
Como obtenemos una tautología queda demostrado.

El mensaje que transmite esta implicación lógica es que, cada vez que se suponga verdadera
una implicación (p→ q ) y se tenga la información que el consecuente de ella no se cumplió
(¬q ) b) [(𝑝 ⟶ 𝑞)  (𝑞 ⟶ 𝑟)]  (𝑝 ⟶ 𝑟)se podrá inferir que el antecedente tampoco se cumplirá
(¬p ).

Ejemplo coloquial: Suponga p : “Está lloviendo” y q : “Las calles están mojadas” Entonces la
implicación lógica [(p→ q)  ¬q] ¬p transmite el mensaje de que al no suceder que las calles
están mojadas y como cada vez que llueve se mojan las calles entonces se infiere que no
está lloviendo.

b) [(𝑝 ⟶ 𝑞)  (𝑞 ⟶ 𝑟)]  (𝑝 ⟶ 𝑟)

A B

p q r p→ q q→ r (p→ q) ∧ (q → r) p→ r A →B
0 0 0 1 1 1 1 1
0 0 1 1 1 1 1 1
0 1 0 1 0 0 1 1
0 1 1 1 1 1 1 1
1 0 0 0 1 0 0 1
1 0 1 0 1 0 1 1
1 1 0 1 0 0 0 1
1 1 1 1 1 1 1 1
Queda demostrado al obtener una tautología.

El mensaje que transmite esta implicación lógica es que cada vez que se supongan
verdaderas dos implicaciones del tipo (p→ q ) y (q→ r ) que son especiales por que el
consecuente de la primera es el antecedente de la segunda, se podrá inferir otra implicación
verdadera que relaciona al antecedente de la primera y el consecuente de la segunda (p→ r) .

Ejemplo coloquial: Suponga : “Estudio la carrera de Ingeniería en sistemas” y : “Aprendo a

programar” y : “Soy experto en C++” Entonces la implicación lógica [( ) ∧ ( )]  ( ) transmite el
mensaje de que si es verdadero que “Si estudio sistemas , aprendo a programar” y “Si
aprendo a programar, soy experto en C++” entonces se puede inferir que “Si estudio sistemas
, soy experto en C++”
 Actividad 1.7

Escribir una conclusión que se deduzca de las premisas que se dan en cada caso,
justificando su respuesta:
a) Estudio inglés y francés. Por lo tanto, …………………….
b) Si el banco depositara el dinero, pagaré. El banco depositó el dinero. Por lo tanto,
……………………….
c) Si el banco depositara el dinero, pagaré. Pero no pague. Por consiguiente, ………..…

a) Estudio inglés y francés. Por lo tanto, estudio inglés. (Ley de la Simplificación Conjuntiva)

b) Si el banco deposita el dinero, pagaré. El banco depositó el dinero. Por lo tanto, pagaré
(Modus Ponens)

c) Si el banco depositara el dinero, pagaré. Pero no pague. Por consiguiente, el banco no

depositó el dinero (Modus Tollens)

Actividad 1.8

Utilizar las reglas de inferencia y/o las leyes lógicas para determinar la validez de
los siguientes razonamientos.

a) 𝑝 → 𝑞 b) 𝑝 → 𝑞  𝑟
𝑝 → 𝑞 𝑝 → 𝑞
𝑝 𝑝
 r
a)
Pasos Razones
1)p→q premisa
2)p→¬q premisa
3)q→¬p 2) , ley de la contrarrecíproca
4)p→¬p 1) y 3), silogismo hipotético (SH)
5)¬p ¬p 4), ley de la condicional
6)¬p 5) , ley de idempotencia

Por lo tanto, el razonamiento es valido

b)
Pasos Razones
1)p→qr premisa
2)p→¬q premisa
3)p premisa
4) qr 1) y 3),Modus Ponens(MP)
5)¬ q 2) y 3) ,MP
6)r 4) y 5), Silogismo Disyuntivo(SD)

El razonamiento no es válido ya que de las premisas dadas se infiere r no ¬r

Actividad 1.9

Dados los siguientes predicados,

𝑝(𝑥): “𝑥 cursa Algebra”, 𝑞(𝑥): “𝑥 cursa Análisis Matemático I”, y
𝑟(𝑥): “𝑥 es estudiante de la UTN”,

a) Interpretar en forma coloquial las siguientes expresiones simbólicas:

i) ¬(𝑝(Juan)  ¬ 𝑞(Juan)) ii) 𝑟(Juan) → (𝑝(Juan)  𝑞(Juan))

b) Suponer que es verdadero que Juan cursa Algebra pero que no Análisis
Matemático I, siendo alumno de la UTN; y encontrar el valor de verdad de las dos
expresiones lógicas de a).

a) i) ¬(𝑝(Juan)  ¬ 𝑝(Juan))
No es cierto que, Juan cursa Álgebra y que no regularizó Análisis Matemático I
ii) 𝑟(Juan) → (𝑝(Juan)  𝑞(Juan))
Si Juan es estudiante de la UTN, entonces cursa Álgebra o regularizó Análisis Matemático I
b) p(Juan)=1, q(Juan)=0, r (Juan)=1
¬(𝑝(Juan)  ¬ 𝑞(Juan))=¬(1 ¬0)= ¬(1 1)=¬1=0
𝑟(Juan) → (𝑝(Juan)  𝑞(Juan))= 1→10=1→1=1

Actividad 1.10

a) Dar el valor de verdad de las siguientes expresiones considerando que el Dominio

es el conjunto de los Números Reales
i) ∀𝑥, 𝑥 > 0 ii) ∃𝑥, 3𝑥 – 5 = 0

b) Dar el valor de verdad de las expresiones anteriores considerando ahora que el

Dominio es el conjunto de los Números Naturales.

a) Dominio= ℝ.
i) [ ∀x , x > 0] = 0 ya que existe x = -1es un número real que no satisface el predicado x>0
ii)[∃x , 3x – 5 = 0] = 1 ya que existe x = 5/3 que satisface el predicado 3x – 5 = 0

b) Dominio= ℕ
i) [ ∀x , x > 0] = 1, todos los valores son mayores o iguales a 1
ii) [∃x , 3x – 5 = 0] = 0 ya que existe el único valor que satisface el predicado es x = 5/3 que no
es un número natural

Actividad 1.11

Escribir las siguientes proposiciones en forma simbólica y encontrar su negación en

forma simbólica y verbal, especificando en cada caso el universo de discurso.
Analice además sus valores de verdad.

a) “Al menos un número entero es par”

b) “Si x es cualquier número par, entonces x no es divisible por 5”
c) “Existe al menos un racional que es entero”
 a) Considerando U = ℤ y y el predicado p(x) : “x es par”
La frase “Al menos un número entero es par” se representa simbólicamente como
x  ℤ , p(x)
Su negación es ¬[x ℤ , p(x)] x ℤ , ¬p(x). Se lee ““Ningún número entero es par”
Valores de verdad: [x  , p(x)] = 1 ya que p(2) = 1. Por la misma razón [x , ¬p(x) ]=0
b) Considerando U = ℤ y los predicados p(x) : “x es par” y q(x) : “x es divisible por 5”.
La frase “Si x es cualquier número par, entonces x no es divisible por 5” se representa
simbólicamente como
x ℤ [p(x) →¬q(x)]
Su negación es ¬[ x ℤ [p(x) →¬q(x)]]  x  ℤ [p(x)  q(x)]. Se lee “Existe un entero que es
par y divisible por 5”
Valores de verdad: [x  ℤ [p(x)  q(x)]] =1 ya que [p(10)  q(10)]= 1 . Por la misma
justificación se tiene que x [p(x) →¬q(x)] = 0

c) Considerando U = ℚ y el predicado p(x) : “x es entero”

La frase “Todo número racional es entero” se representa simbólicamente como
x  ℚ , p(x)
Su negación es ¬[ x  ℚ , p(x) ]  x ℚ , ¬p(x). Se lee “Existe al menos un racional que no es
entero” o también “Algún racional no es entero”
Valores de verdad: [ x , ¬p(x) ] = 1 pues por ejemplo ¬p(1/2) = 1. Por la misma razón
[x  , p(x)] = 0