You are on page 1of 13

# Andrs Felipe Benavides Montoya

## T00038399 ingeniera de sistemas

Teora de la computacin

Pgina 13 ejercicio 11
The question I am working on is:
Let p p and q q be the propositions
pp:It is below freezing.
qq:It is snowing. Write these propositions using pp and qq and logical
connectives (including negations).
a) It is below freezing and snowing.
Sol) pq
b)It is below freezing but not snowing.
Sol) P -q
c) It is not below freezing and it is not snowing.
Sol) -p-q
d)It is either snowing or below freezing (or both).
Sol) P q
e) If it is below freezing, it is also snowing.
Sol) P q

## f) Either it is below freezing or it is snowing, but it is not snowing if it is

below freezing.
Sol) (pq) -r
g) That it is below freezing is necessary and sufficient for it to be
snowing."
Sol) P <-> q

Pgina 15 ejercicio 32
.Construct a truth table for each of these compound propositions.
a) p p
b) p p
c) p (p q)
d) (p q) (p q)
e) (q p) (p q)
f ) (p q) (p q)
a)

-p

P->-q

-p

P<->-q

b)

C)
p

Pq

p (p q)

Pq

p q

-p

q->-P

d)
(p q) (p q)

e)
p <-> q

(q p) (p q)

f)

(p q) (p q)

(p q)

-q

p q

Pagina 35 ejercicio 13 .
Use truth tables to verify the absorption laws:
(a) p (p q) p.
(b) p (p q) p.

(p q)

P (Pq) p q

p(pq)

## Dado que los valores de la columna 1 y la columna 4 coinciden , (a )

es verdadera . Ya que los valores de la columna 1 y la columna 6
coinciden, ( b ) es verdadera .

Pgina 35 ejercicio 26
b) Show p (q r) and q (p r) are logically equivalent.
p (q r)
p v (q r)
p v (q v r)
q v (p v r)
q (p r)

## For each of the following sets, determine whether 2 is an element of

that set.
a) {x R | x is an integer greater than 1}
b) {x R | x is the square of an integer }
c) {2, {2}}
d) {{2}. {{2}}}
e) {{2}, {2,{2}}}
f) {{{2}}}
a) conjunto que contiene x , que es una real, tal que x es un nmero
entero mayor que 1. Claramente, el conjunto que contiene nmeros
enteros reales por encima de 1 contiene 2.
contiene

b)
Conjunto que contiene X, que es un real, tal que x es el cuadrado de
produce 2. Slo la raz cuadrada de dos (o su negativo) lo est
haciendo, y es irracional. NO
c)
Claramente, este contiene 2 como un elemento. CONTIENE
d, e, f) Estos tres bsicamente todo lo que hacen la pregunta " Tiene
el conjunto que contiene el conjunto que contiene 2 contienen 2 ? ", Es
decir , es " 2 ", un elemento del conjunto que contiene el conjunto que
contiene 2. La respuesta es NO.
En todos estos casos, el 2 es un elemento de un subconjunto , no un
elemento del conjunto que estamos hablando . NO

## Pgina 125 ejercicio 9

Determine whether each of these statements is true or

false.
a) 0
b) {0}
c) {0}
d) {0}
e) {0} {0}
f ) {0} {0}
g) {} {}

a) Falso

cero.
b) Falso

## significa que el elemento de la izquierda est en el conjunto de la

derecha, pero el conjunto de la derecha tiene un solo elemento 0.
c) Falso
Una vez ms es un conjunto vaco. Por lo tanto, no contiene ningn
conjunto dentro de l, excepto en s.
es un conjunto vaco y lo tiene como un subconjunto.

e) Falso
El elemento {0} no es en el conjunto {0} porque 0 es el nico elemento
del conjunto
Cada conjunto es igual a s mismo y por lo tanto es un subconjunto del
mismo.

Pgina
126
ejercicio
17. What is the cardinality of each of these sets?

19

a) {a}
1
b) {{a}}
1
c) {, {}}
2
d) {a, {a}, {a, {a}}}
3

## Pgina 136 ejercicio 14

Find the sets A and B if A B = {1, 5, 7, 8}, B A = {2, 10}, and A B =
{3, 6, 9}.

A = {1, 3, 5, 6, 7, 8, 9}
B = {2, 3, 6, 9, 10}

## Pgina 136 ejercicio 26

Draw the Venn diagrams for each of these combinations of the sets A,
B, and C.
a) A (B C)

b) A B C

c) (A B) (A C) (B C)

## Pgina 330 ejercicio 9

a) Find a formula for the sum of the first n even positive
integers.
b)Prove the formula that you conjectured in part (a).

## a) La frmula para la suma de los primeros n enteros pares es

s = n (n + +1)
Suponga s ( n ) = n ( n + 1 ) de los n primeros trminos .
El nmero ensimo incluso sera 2n , por lo que el n + 1 plazo sera
incluso 2n + 2. A continuacin, la suma de n + 1 trminos an sera la
respuesta anterior ms 2n + 2 en ambos lados .
b)
s(n) + 2n+2 = n(n + 1) + n+2
s(n+1) = n + n + 2n + 2
s(n+1) = n + 3n + 2
s(n+1) = (n + 1)(n + 2)
s(n+1) = (n + 1)(n + 1 + 1)

## Prove that for every positive integer n,

1 2 + 2 3 + + n(n + 1) = n(n + 1)(n + 2)/3.

## Aplicamos el mtodo de induccin para la prueba .

1. paso Base: para n = 1 , el lado izquierdo es 1 2 = 2 , y el lado
derecho es 1 ( 1 + 1 ) ( 1 + 2 ) 3 = 2 , por lo que la afirmacin es
cierta .
2. Paso inductivo :Supongamos que la afirmacin es cierta para n = k ,
es decir ,

Entonces tenemos

Pgina 35 Ejercicio 16
Show that p q and (p q) (p q) are logically
Equivalent

P<->q

Fp
F
T

Tq
F
T

(p q)

-P

F
T

(p q)

-q

(p q) (p q)