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)

Pgina 125 ejercicio 7

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
un nmero entero. No hay ningn nmero entero que, al cuadrado,
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

es el conjunto vaco, que no puede contener ningn elemento, incluso


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.
d) verdadero
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
f), g) verdadero
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)

Pgina 330 ejercicio 15

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)