TALLER DE PROGRAMACIÓN

PRIMER PUNTO SECCION 3.3

1. De los siguientes enunciados ¿cuáles son proposiciones y cuáles no?, justifique su
respuesta.

• Tom Hanks ha ganado dos premios Oscar como mejor actor por dos años
consecutivos.
R/ proposición ya que es una afirmación que se puede calificar como verdadera o
falsa

• Dame una cerveza.

R/ no es proposición porque es un mandato.

• Colombia ganó ocho medallas olímpicas en Londres 2012.

R/ proposición ya que es una afirmación que se puede calificar como verdadera o
falsa

• Todo número primo es impar. R/ proposición ya que es una afirmación que se

puede calificar como verdadera o falsa

• 1+1=2.
R/ proposición ya que es una afirmación que se puede calificar cmo verdadera o
falsa

• La diferencia de dos primos.

R/ no es proposición ya que esta afirmación no se puede valorar.

• Todo número par mayor que 2 puede escribirse como suma de dos números primos.
(Christian Goldbach, 1742).
R/ proposición ya que es una afirmación que se puede calificar como verdadera o
falsa

• ¿Qué hora es?.

R/ no es proposición porque es una pregunta.

• xn+yn=zn.
R/ no es una proposición ya que no se tiene el valor de ninguna de las variables

• x+y=z+y si x=z
R/ proposición ya que es una afirmación que se puede calificar como verdadera o
falsa

3. Escriba la fórmula bien formada que representa cada una de las siguientes secuencias de
símbolos:

 p∧ q ⟷ r ∨ s ⟶ q , agrupando por paréntesis, ( ( ( p ∧q ) ⟷ ( r ∨ s ) ) ⟶ q )

 p⟶ q ⟶ q ⟶ p , agrupando por paréntesis, ((( p ⟶ q)⟶ q) ⟶ p)
  ¬ p ⟷ q ∨¬ r ∨(q ⟶r ) ⟷¬ ¬q , agrupando por paréntesis,
( ( (¬ p ) ⟷ ( ( q ∨ (¬ r ) ) ∨ ( q ⟶ r ) ) ) ⟷(¬ ( ¬q )))
 p∨(q ∧r )⟷ p ∨q ∧( p ∧q) , agrupando por paréntesis,
( p ∨ ( q ∧r ))⟷( p ∨ ( q ∧ ( p∧ q )) )
4. Hallar el significado de cada fórmula que se especifica a continuación con respecto a la
interpretación definida para ésta.

 f = p ∧q ↔ r ∨ s ↔ q , si ε ( p )=V , ε ( r )=V , ε ( s )=F .

P q r s p∧ q r ∨s p∧ q ↔ r ∨ s p∧ q ↔ r ∨ s ↔ q
V V V F V V V V

Verdadero

 f = p →q → q → p , si ε ( p )=V , ε ( q ) =F .
P Q p→ q p→ q → q p→ q → q → p
V F F F V
Verdadero

 f =¬ p ↔ q ∨¬r ∨ ( q →r ) ↔ ¬¬ q , si ε ( p )=F , ε ( q )=V , ε ( r )=V .

P q r ¬ p ¬r ¬¬ q ( q → r ) q ∨¬ r q ∨¬ r ∨ ( q → r ) ¬ p ↔ q ∨¬r ∨ ( q →r )
F V V V F V V F V V

¬ p ↔ q ∨¬r ∨ ( q →r ) ↔ ¬¬ q
V
Verdadero

 f = p ∨ ( q ∧r ) ↔ p ∨ q ∧ ( p ∨q ) , si ε ( p )=V , ε ( q )=F , ε ( r ) =V .
p q r ( q ∧r ) ( p∨ q ) p∨ ( q ∧r ) p∨ q p∨ q ∧ ( p ∨q ) p∨ ( q ∧r ) ↔ p ∨ q ∧ ( p ∨q )
V F V F V V V V V
Verdadero

7. Verifique que las fórmulas f 1 =p ∧ q ∨r y f 2=p ∧(q ∨ r ) no son lógicamente

equivalentes

 Solución:

f 1 ⟺ f 2 , si y solo si, f 1 ⟷ f 2 es una tautología

C={ p , q , r } I =23=8, numero de interpretaciones

p q r p∧ q ( p ∧q)∨r q ∨r p∧(q ∨r ) (( p ∧ q)∨ r) ⟷( p ∧(q ∨r ))
 V V V V V V V V
V V F V V V V V
V F V F V V V V
V F F F F F F V
F V V F V V F F
F V F F F V F V
F F V F V V F F
F F F F F F F V

No es una tautología, es una contingencia, debido que no todas las interpretaciones son
verdaderas, por lo tanto no son lógicamente equivalentes.

8. Con los operadores lógicos ¬ y ∧ es posible expresar los otros operadores lógicos (
∨, → ,↔ ¿ de forma equivalente, de la siguiente manera
p ⋁ q ⇔ ¬(¬ p ∧¬q )
p→ q ⇔ ¬( p ∧¬ q)
p↔ q ⇔ ¬( p ∧¬ q) ⋀ ¬(q ⋀ ¬ p)
Verificar que efectivamente los operadores lógicos ( ∨, → ,↔ ¿ se pueden expresar en términos
de los operadores lógicos ¬ y ∧ .

13. Hallar el valor de verdad para los siguientes predicados donde las variables están
cuantificadas en el universo del discurso de variables x y y son los números reales, el de las
variables n y m son los números naturales y a, b, c, d también son los números reales.
II. ∃ x ∀ n ( x <n )=¿
Falso
iii . ∀ n∃ x ( x >n ) .

Falso
V. ∀ x ( x 2> 0 ) =Verdadero

vi . ∀ x ( x 2 ≥ x ) .
Verdadero
ix . ∀ x ( x tiene inverso multiplicativo ) ↔ ∀ x ∃ y ( xy=1 ) .
Verdadero
xii . ∀ x ∃ y ( xy= y )
Falso
2
(a x + bx+ c=0)∧( a≠ 0)
xv . ∀ a ∀ b ∀ c ∃ x ¿
verdadero

14 Usando las leyes de Morgan para cuantificadores, negar los predicados del numeral 13.
 iii . ∀ n∃ x ( x >n ) .
¿
 vi . ∀ x ( x 2 ≥ x ) .
Utilizando leyes de Morgan la negación es . ∃ x ( x 2 ≤ x )

PUNTO 2 SECCION 4.3

3 encuentre todos los conjuntos A, tales que A ⊆ B, para el conjunto B={ }

Conjuntos de A
A={ ∅ } A={ ●} A={■} A={♦} A={▲}
A={●,♦} A={ ●,▲} A={■,●} A={■,♦} A={■,▲} A={♦,▲}
A={♦,●,■} A={♦,●,▲} A={●,▲,■} A={■,▲,♦}

´
4V. B ∪C = B́ ∩ Ć = {2,4,8, ▲}
5 ii. ℘( B) = { ∅ ,{∅ } }
6 ii. B × A =

8 (a) ¿Cuál será el cardinal de AxB en términos de | A| y |B| ?

R/ el cardinal de AxB en términos de | A| y |B| = 20

PUNTO 3 SECCION 5.5

5.
t S i
0 0 0
1 0 0
2 0 1
3 1 1
4 1 2
5 3 2
6 3 3
7 6 3
8 6 4
9 10 4
10 10 5
11 15 5
12 15 6
13 21 6

PUNTO 4
4. Dados A y B conjuntos finitos tales que | A|=n y|B|=m ¿Cuántas relaciones de A en B
existen?

R/ el numero de relaciones de A en B es nxm

28 De las siguientes relaciones definidas de Z en R ¿Cuáles son funciones?

Función

Función

Función

Función

No es función

Función

Función

Función