La negacin de cualquier castigo de ms de un cuantificador se puede

lograr mediante la aplicacin sistemtica de la regla para la negacin de

una oracin con slo un cuantificador. Vamos a ilustrar. Suponga que su se
les pidi que demostrar por contradiccin de una frase que tiene la
siguiente forma:

Por lo tanto, usted debe demostrar que la negacin de esta frase implica
alguna frase falsa como un dejar r^r. F =F (x, y), etc., nos encontramos. La
negacin de la siguiente manera:

Por lo tanto, con el conocimiento de unas tautologas y las reglas de la

lgica, el trabajo de negar una oracin complicada se vuelve casi mecnica.
Ejercicios para la Seccin 1.8
1. Traducir cada una de las siguientes declaraciones en smbolos, utilizando
los cuantificadores, variables y smbolos de predicado.
(A) Todas las aves pueden volar.
(B) No todas las aves pueden volar.
(C) Todos los bebs son ilgicas.
(D) Algunos bebs son ilgicas.
(E) Si x es un hombre, entonces x es un gigante.
(F) Algunos hombres son gigantes
(G) Algunos hombres no son gigantes.
(H) Todos los hombres son gigantes.
(I) No hay hombres son gigantes.
(J) No es un estudiante que le gusta las matemticas, pero no la historia.
(K) x es un nmero entero impar y x es primo.
(L) Para todos los enteros x, x es impar y x es primo.
(M) Para cada entero x, x es impar y x es primo.

(N) No es un nmero entero x tal que x es impar y x es primo.

(O) No todos los actores es talento que es famoso.
(P) Algunos nmeros son racionales.
(Q) Algunos nmeros no son racionales.
(R) No todos los nmeros son racionales.
(S) No todas grfica es plana.
(T) Si algunos estudiantes son perezosos, a continuacin, todos los
estudiantes son perezosos. (U) x es racional implica que x es real.
2. Deje que el universo consiste de todos los enteros y dej
P (x): x es un nmero primo,
Q (x): x es positivo,
E (x): x es par,
N (x): x es divisible por 9,
S (x): x es un perfecto. cuadrado, y G (x): x es mayor que 2.
Luego de expresar cada uno de los siguientes en simblica. formar.
(A) x es par o x es un cuadrado perfecto.
(B) x es un nmero primo y x es divisible por 9.
(C) x es un nmero primo y x es mayor que 2.
(D) Si x es un nmero primo, entonces x es mayor que 2.
(E) Si x es un nmero primo, entonces x es positivo y no
3. Traducir cada una de las siguientes frases en smbolos, en primer lugar
utilizando ningn cuantificador existencial, y en segundo lugar sin usar
cuantificador universal.
(A) No todos los coches tienen carburadores.
(B) Algunas personas son ya sea religiosa o piadosa.
(C) Los perros no son inteligentes.
(D) Todos los bebs son ilgicas.
(E) Cada nmero es negativo, ya sea o tiene una raz cuadrada.
(F) Algunos nmeros no son reales.
(G) Cada conectado y grfico de libre circuito es un rbol. (H) No todos grafo
es conexo.
4. Determinar la verdad o falsedad de las siguientes frases donde el
universo U es el conjunto de nmeros enteros.

901.

5. Escribir las negaciones (como las proposiciones universales o

existenciales) de 'frases (a) a (i) en el ejercicio 4.
6. Escribir las negaciones de las siguientes frases cambiando
cuantificadores.
(A) Para cada entero x, si x es par, entonces x 2 x es par.
(B) No es un nmero entero x tal que x es par y x es primo.
(C) Cada grafo bipartito completo no es plana.
(D) No existe un nmero entero x tal que x es primo y x + 6 es primo.
(E) Para cada entero x, x 2 + 3> 5 o x <2.
(F) Para cada entero x, ya sea x, x 1, x - 2, o x - 3 es divisible por 4.
(G) Para cada entero x, si x 2 es par, entonces x es par.
(H) V x, x 2 25 o x es negativo.
(I) B x, x 2 x 25 y> 0.
(J) No es un nmero entero .i tal que x 2 - 9.
7. Considere las proposiciones abiertas sobre el universo
U={-5,0,1,2,3,4,5,6,7,8,9,10}
P(x): x2<5
Q(x): x>=3
R(x): x es mltiple de dos
S(x): x2= 25
Encuentra los conjuntos de verdad de:
8. Cul de las siguientes proposiciones
son proposiciones, abiertas, o no?
(a) X<2
(b) 1<2
(c) l es un jugador de beisbol.
(d) Reggie Jacson es un jugador de
beisbol
(e) 2+3=3+2
(f) Esta oracin es falsa
(g) WOW
(h) X es entero dado x2-25=0
(i) Para un entero x, existe un entero y dado x+y=5
9. El uso de la frmula de interpolacin de Lagrange, construir un polinomio
P (x) de modo que P (I) 360, P (2) 420, PO), 360, P (4) 195, y
10. Uso interpolacin de Lagrange para construir un polinomio cuya grfica
pasa por los puntos (- 1,1), (0,1), (j, l), y (2, -5).
11. si x1, x2.. xn son nmeros reales distintos y si "

entonces la frmula de interpolacin de Lagrange establece que

n

P (X) L
i1

(X) y, es el polinomio nico de tal manera que

P (Xi) y, para cada i.

n

(A) Demostrar que, en general,

Li ( X ) yi
i1

I. Consejo: uso singularidad.

Este hecho en (a) uno permite calcular ms rpidamente en muchos

ejemplos. Por ejemplo, utilizando los datos de ejercicio 10,(x1,y1)=(-1,1),
(x2,y2)=(0,1),(x3,y3)=(1,1) y (x4,y4)=(2,-5)
el polinomio P (X) se puede calcular de dos maneras: primero,
P(X)=L1(X)+L2(X)+L3(X)-5L4(X)
por la frmula de interpolacin, y segundo, P (X) 1 6L4 (X) por (a) desde L2
(X) L3 (X) + L4 (X) 1. Pero entonces P (X) se puede calcular fcilmente
mediante el clculo solamente IA (X). Ya que

6
(B) Usando el hecho de (a) Calcular la frmula de Lagrange interpolacin
polinmica P (X) de la siguiente tabla de valores:

x
i
y
i

123
4
111
4

(C) Calcular P (x) como en (b) de la siguiente tabla de valores:

x
i
y
i

123
4
111
-8

(D) Derivar P (X) como en (b) de la siguiente tabla de valores:

x
i

135
7

y
i

111
4

(E) de x para i = 1,2,. . ., N, demostrar que

puede generalizar?
12. Derivar P (X) de la siguiente tabla:

xi

1234
5
1111
v

yi

Por lo tanto la conclusin de que una secuencia de valores a partir de 1, 2,

3, 4 no es necesario continuar con 5; cualquier valor v puede justificarse
como el siguiente valor. Sin embargo, v 5 reduce sustancialmente el grado
de P (X).
14. Encuentra todas las races racionales de los siguientes polinomios:

-6

15, (magia, cuadrados problema) Supongamos que tenemos un cuadrado de

3 x 3 x 1 y nueve I baldosas que contienen los nmeros del 1 al 9. El
problema es colocar las baldosas en las plazas de forma que la suma de los
nmeros a travs de cada fila , abajo de la columna ench, ya lo largo de
cada diagonal es la misma. Tal disposicin se llama un cuadrado mgico.
(A) En primer lugar descubrir lo que cada suma fila (y por lo tanto lo que
cada columna y suma diagonal) debe ser.
(B) Tener en cuenta que 9 no pueden ser colocados en la segunda fila y la
segunda columna. Tampoco pueden 9 puede colocar en cualquier posicin
de la esquina. Por qu? Por lo tanto slo hay 4 posiciones legtimas para 9.
Por otra parte, en cualquier lugar legtimo para 9, hay un nmero limitado
de posiciones de 6, 7, y 8. A continuacin observar que 5 debe ocupar la
segunda fila y la segunda posicin de la columna. Finalmente, observamos
que 1, 5, y 9 deben ocurrir en la misma fila o columna.
(C) Utilizar la prueba por el agotamiento de encontrar los 8 cuadrados
mgicos que usan los dgitos del 1 al 9. Tenga en cuenta que cualquiera de
ellos puede ser transformado en cualquier otro ya sea por una rotacin o
una reflexin.
(D) Cambiar el problema de los cuadrados mgicos de utilizar los dgitos del
0 al 8. Indique cmo encontrar todos esos cuadrados mgicos.

(E) Indicar cmo encontrar los 3 x 3 cuadrados mgicos utilizando los

enteros 3 a 11.
(F) Buscar todos los 3 x 3 cuadrados mgicos utilizando cualquiera de los 9
nmeros enteros consecutivos.
(G) Indicar cmo generar 5 x 5 cuadrados mgicos utilizando los primeros
25 nmeros enteros como etiquetas en las baldosas individuales. Hintz en
cuenta el medio cuadrado de 3 x 3 utilizando las entradas de 9 a 17. Se
puede generalizar a una casilla n n x donde n es impar?
(H) En general, un cuadrado mgico nxn usando los nmeros enteros 1,2, ...,
n2 es una matriz nxn de estos nmeros enteros de tal manera que la suma s
de los nmeros enteros en cada fila, en cada columna, y en cada una de las
dos diagonales es el mismo. El nmero s se llama la suma mgica del
cuadrado mgico.
Demostrar que la suma mgica de un cuadrado mgico n n x usando los
enteros 1,2,. . "N2 es n (n2 + 1) / 2. Observe que no hay 2 x 2 cuadrados
mgicos. Encontrar un cuadrado de 4 x 4 magia usando los enteros
1,2,. . .,diecisis.
16. Definir un cuadrado latino como una tabla de n n X que usa los nmeros
enteros de 1 a n como entradas, y lo hace de tal manera que ningn entero
aparece ms de una vez en la misma fila o columna.
(A) Observe que una tabla de n x n de entradas de la 1 a la n es un
cuadrado latino si y slo si cada entero aparece exactamente una vez en
cada fila y columna.
(B) Hallar los dos 2 x 2 cuadrados latinos.
(C) Utilizar la prueba por el agotamiento de encontrar todos los 12 de 3 x 3
cuadrados latinos.
(D) Encontrar uno de los 4 x 4 cuadrados latinos.
(A) Encontrar un cuadrado latino 5x5,
Respuestas seleccionadas para la Seccin 1.8

(l) Que el universo el conjunto de:

6. Escribir la frase de la siguiente manera: Sea U el universo de los

grficos.

Donde
C(x) x es completo
B(x) x es bipartido
P(x) x es planar
La negacin es:

1.9 reglas de inferencia para las proposiciones CUANTIFICADOS

Reglas de inferencia adicionales son necesarios para probar las afirmaciones
que implican proposiciones abiertas y cuantificadores. Un tratamiento
cuidadoso de estas reglas est fuera de nuestro alcance, pero vamos a
ilustrar algunas de las tcnicas. Los siguientes cuatro reglas describen
cuando los cuantificadores universales y existenciales se aadi o
eliminados de una afirmacin. Continuamos nuestra lista para incluir las
cuatro reglas de inferencia que ya hemos hablado:
Regla Fundamental 5. Descripcin del producto Universal. Si un enunciado
de la forma V x, P (x) se supone que es cierto, entonces el cuantificador
universal puede

de p, O En segundo lugar, se podra pensar en g (n) = 127 -2N, para todos

los valores de n para que 2n es menor que 127, y luego investiga si g (n) es
primo para algn valor de n, Obviamente, ya que hay ms nmeros primos
menores de 12 '? que no son potencias de 2, el segundo enfoque requiere
menos la siguiente tabla se muestra que g (n) nunca es primordial para n
0,1,2,3,4,5,6 y por lo tanto que 127 es de hecho un ejemplo contrario a la
conjetura anteriormente.

El razonamiento inductivo conduce frecuentemente 10 conjeturas vlidos.

Por ejemplo, consideremos el siguiente ejemplo.
Ejemplo 1.4.2. Supongamos que tenemos el siguiente problema: Conjetura
una frmula general para la suma.

mediante la especializacin valores sucesivos de la entero positivo n.

(Recordemos que n! Es el producto de n (n-1) .2.1)

Si permitimos que n sea 1, 2, 3, o 4, se obtienen los valores de la suma T1 =

1/2
T2 = 5/6, '1'3 23/24, T4 = 119/120. Observamos que en el caso EOH el
numerador es uno menos que el denominador. Por otra parte, los
denominadores son respectivamente 2 !, 3 !, "l t., Y 5 !. Es sta una
coincidencia? Si no, entonces debe ser T5 (G! 1) / 6 !. De hecho,

Observamos otra caracterstica: Tn hasta ahora ha tenido el denominador l)!

para cada observacin. Ahora que se animan a la conjetura de que "1" es
siempre igual a [(n -F 1) - Il / (n -L- 1) !. Ms adelante vamos a discutir un
mtodo para probar esta conjetura.
Anlisis-Sntesis y trabajando hacia atrs
Hemos sugerido que usted se centra en gran medida el objetivo de guiar la
direccin de sus pensamientos. Es posible hacer esto en una variedad de
maneras, pero dos mtodos con frecuencia resultar beneficiosa.
Que llamamos el primer mtodo de "anlisis-sntesis." Bsicamente,
supongamos que el problema tiene una solucin y luego tratar de
determinar sus caractersticas.
Supongamos que el problema es demostrar un comunicado, como: Si A,
entonces B. El mtodo comprende dos etapas. La primera etapa del anlisis
es trabajo de laboratorio por as decirlo, aqu est el plan ideado. La
segunda etapa de la sntesis, es donde se aplica el plan de IB lleva a cabo
efectivamente, donde lo que es descubre en la etapa de anlisis. Esta etapa
en realidad
constituye la prueba.
En la etapa de anlisis, se parte de lo que est por concluir, damos por
hecho, y sacar conclusiones a partir de la conclusin hasta llegar a algo ya
conocido, cierto que, o salta a la vista cuando se considera en relacin con
la informacin dada A. En otra es decir, que asumen B, derivan o concluyen
C, de C derivamos D, y as sucesivamente, hasta llegar a la declaracin de
que Z es evidente en conjuncin con A. Ahora estamos preparados para la

segunda etapa.
En la segunda etapa, basta con invertir el proceso. A partir de la declaracin
obvia Z, trabajamos hacia adelante, siguiendo el modelo euclidiano de
exposiciones y el intento de invertir cada paso de las derivaciones a la
conclusin D y C y luego B. Por supuesto, el xito de la etapa de sntesis
depende de si o no cada derivacin es, de hecho, reversible.

Ejemplo 1.4.3. Supongamos que queremos demostrar: Si n es un entero

positivo tal que N - (Y 2 + 7 es divisible por 43, entonces M 6n + 3 + 3 +
72n es divisible por 43. Aqu se puede no tener ninguna idea de cmo
proceder de la base de que N es divisible por 43 'para demostrar que M es
divisible por 43. Sin embargo, podramos tratar de emplear el anlisissntesis y suponer que M es divisible por 43. Entonces M - N, M - 2 N, M - 3N,

etc., son todos divisible por 43. Lo que esperaramos es que en la etapa de
anlisis que pudimos
Asumir una solucionsacar conclusiones Determine caractersticas de la
solucin
ANALISIS
Hiptesis +
caractersticas de una solucin trabajar hacia adelante solucin de
conclusin
ayudan a determinar la
direccin de inferencias
SINTESIS
Figura 1-3 diagrama de mtodo de sntesis anlisis- de resolucin
de problemas
descubrir a alguien del nmero de hombre que es, obviamente, un mltiplo
de 43, entonces podramos revertir el proceso en la etapa de sntesis para
demostrar la proposicin. Debemos considerar

A primera vista esto no es una simplificacin, pero. Nos damos cuenta en

primer lugar que las potencias de 6 y 7 son los mismos que los de N.
A continuacin, si escribimos 48 = 5 + 13 vemos que

Por lo tanto, H - 6 N = 72n+1(43) es algo obvio divisible por 43.

Ahora estamos preparados para presentar la etapa de sntesis.

Desde M - 6N = 72n + 1 (43) y N son divisibles por 43, M = 6 N + 7 2n+1 (43)

es divisible por 43.

El mtodo de trabajo hacia atrs es similar al anlisis-sntesis en la que la

atencin se centra en el objetivo. Sin embargo, trabajando hacia atrs
difiere en la forma en la meta se considera en relacin con la informacin
dada. En la etapa de anlisis de anlisis-sntesis, el objetivo es considerado
como parte de la informacin proporcionada, e intentamos derivar
consecuencias de la portera, en relacin con lo dado. Por lo tanto, la
inferencia es directional de la declaracin de la meta de algunos de los
nuevos estados. En trabajando hacia atrs, el objetivo no es considerado
como una pieza de informacin dado. Empezamos con el gol, pero en vez de
sacar conclusiones de ella, tratamos de adivinar una declaracin anterior o
declaraciones que, en conjunto, implicara la declaracin de la meta. Con
frecuencia, hay teoremas de neumticos o hechos en el marco de referencia
que le dar a tales declaraciones que implican la declaracin de la meta. Por
lo tanto, la persona que la formulacin de una prueba de una implicacin "Si
A, entonces B" se supone que pensar de esta manera: "Yo puedo demostrar
B si puedo demostrar C; puedo demostrar C si puedo demostrar D; puedo
demostrar D si puedo demostrar E. Pero puedo demostrar E de la A

Probar o retirar probar o retirar probar o retirar probar o retirar

Conclusin B
AE
ED
DC
CB
3ra observacin

2da obs

1ra obs

Figura 1-4
Ejemplo 1.4.4 Demostrar la siguiente declaracin de la sala de trabajo.
Si el tringulo rectngulo T, con la longitud y b e hipotenusa de longitud c,
tiene un rea igual a

c2 / 4, entonces T es un tringulo issceles.

Tenemos que mostrar a=b. Pero podemos probar a=b mostrando la

equivalencia a-b=0. Para estar seguro ,a-b=0 si

(ab)2 = a22ab +b2

=0. Entonces podemos probar a-b=0 mostrando

a 2ab +b =0 o

equivalente a

a +b =2 ab . El teorema de pitagoras dice

,entonces para probar

a2 +b 2=2 ab

a +b =

solo necesitamos probar

c 2 = a2 +b 2

c2 / 4=ab/2. pero recuerda que el rea de T es ab / 2. Por

2
lo tanto, por hiptesis ab/2= c / 4.
o la equivalencia

Por lo tanto, la prueba se ha completado, y sabemos que a = b

Ejemplo 1.4.5. Recordemos que para los nmeros enteros a, b, y n, donde n
es positivo, ab mod n significa a - b = k n, donde k es un entero. Luego
demostrar que si a b mod n, y c d mod n, entonces a + c = b + d mod n
trabajando en sentido inverso.
Podemos demostrar un mod + c = b + d n si podemos demostrar (a + c) (b + d) =

n. x para algn entero x. Sin embargo, (a + c) - (b + d) = (a- b) (c - d), y

sabemos que a- b = n k y c-d = n I donde k e i son nmeros enteros, ya
que un mod n b y c = d mod n. Por lo tanto, (a + c) - (b + d) = n (k + I) y
el entero k + i es el nmero entero x que necesitamos.

FALACIAS
Lo que constituye una prueba no siempre es clara, ni se est obvio cuando
un argumento es convincente. De hecho, los matemticos a veces no estn
de acuerdo entre s en cuanto a si un argumento es slido. Su desacuerdo
puede ser mayor si se debe permitir una orden particular, tal como la ley del
medio excluido en la lgica, o su desacuerdo se puede producir cuando se
cree una supuesta prueba de contener algn error. Por lo tanto, cuando se
presenta un argumento matemtico, si es o no est bien fundada que por lo
general se determina por consenso; la comunidad matemtica decide si el
argumento es convincente. Un argumento es aceptado como una prueba
vlida si nadie puede percibir cualquier defecto en ella. Acuerdo en la
materia es muy buena, pero el proceso no es en modo a prueba de fallos.
Existen ejemplos de argumentos que fueron ampliamente aceptados como
prueba durante muchos aos, pero despus nos llevaron a ser falaz por
alguien que descubri la posibilidad de que se haba pasado por alto en el
argumento original. Es frecuente el caso de que se pasa por alto la
posibilidad fundamenta la refutacin de la afirmacin original, pero en
ocasiones, los resultados de la deteccin de un nuevo argumento fase de
definicin, que luego se acept como prueba.
Si bien no todos estn de acuerdo en cuanto a lo que hace que un
argumento convincente, todos coinciden en que todos los casos de un
problema deben ser considerados y se debe justificar para cada conclusin.
Por otra parte, todos estaran de acuerdo en que, tanto