Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1 Proposiciones
Consideremos las siguientes expresiones:
1. ¿Quién es?
2. ¡Abra la puerta!
3. Salta está al noroeste de la República Argentina.
4. 2 es un número negativo.
5. Juan tiene una moto.
1
Dada una proposición, cabe preguntarse entonces si esta es verdadera o es
falsa. Identi…caremos con las letras V y F a los posibles “valores de verdad”de
una proposición. Si es verdadera, diremos que su valor de verdad es V y si es
falsa, diremos que su valor de verdad es F . Así, por ejemplo, el valor de verdad
de 3 es V , de 4 es F y de 5 nos es desconocido, aunque, necesariamente, debe
ser V o F .
1.1 Notación
Representaremos a las proposiciones mediante las letras minúsculas p, q, r, s,
: : : Si p es una proposición, su valor de verdad se denotará con (p); si queremos
expresar que p es verdadera, escribiremos (p) = V y si es falsa (p) = F .
2.2 Negación
Se llama negación de la proposición p a la que se obtiene colocando la palabra
“no” antes de la misma. En símbolos: p (se lee no p o no es cierto que p).
Si p es una proposición, p también lo es y su valor de verdad es V si
(p) = F y es F si (p) = V .
2
Su tabla de verdad es la siguiente:
p p
V F
F V
La negación es una operación unitaria puesto que opera sobre una sola
proposición p, a quien le hace corresponder la proposición p.
Example 2 Si p es la proposición “el dique Cabra Corral se llama Embalse
Gral. Belgrano” y (p) = V , entonces su negación será:
p: “no es cierto que el dique Cabra Corral se llama Embalse Gral. Belgrano”
o, “el dique Cabra Corral no se llama Embalse Gral. Belgrano” y ( p) = F .
Si bien es cierto que, de acuerdo a la de…nición, para formar la negación
de cualquier proposición basta con anteponer la palabra “no” a la misma, en
el lenguaje cotidiano la costumbre es colocar la palabra “no” junto al verbo o,
si se quiere que esté al principio, hay que recurrir a giros como “no es cierto
que: : :”.
2.3 Conjunción
Consideremos las dos proposiciones siguientes:
p: El cometa Halley es un satélite de la Tierra.
q: 25 es un cuadrado perfecto.
A partir de estas dos proposiciones, uniéndolas mediante la conjunción “y”
obtenemos una nueva proposición:
r: El cometa Halley es un satélite de la Tierra y 25 es un cuadrado perfecto.
Diremos que la proposición r es la conjunción o el producto lógico de p y
q. ¿Es r una proposición?. Indudablemente, tiene sentido a…rmar que r es
verdadera o falsa. Podemos incluso decir que es falsa, porque la conjunción “y”
exige el cumplimiento simultáneo de ambas componentes; al ser falsa la primera
componente, es falsa la conjunción. Entonces el (r) = F . Así, la operación
conjunción o producto lógico hace corresponder a cada par de proposiciones,
dadas en un cierto orden, una nueva proposición.
De…nición Se llama conjunción o producto lógico de las proposiciones p y q, a
la proposición que se obtiene enunciando una a continuación de la otra, unidas
por la palabra “y”. En símbolos se escribe: p ^ q.
La conjunción es verdadera si lo son las dos proposiciones componentes. La
tabla de verdad de la conjunción es la siguiente:
p q p^q
V V V
V F F
F V F
F F F
3
2.4 Disyunción
De…nición Se llama disyunción o suma lógica de las proposiciones p y q, a la
proposición que se obtiene enunciando una a continuación de la otra, unidas por
la palabra “o”. En símbolos: p _ q.
La disyunción sólo es falsa cuando las dos proposiciones componentes son
falsas. En el uso habitual del lenguaje, esta operación establece una alternativa:
alguna de las dos componentes debe cumplirse.
Example 3 “El cometa Halley es un satélite de la Tierra o 25 es un cuadrado
perfecto”, es verdadera, puesto que es cierto que 25 es un cuadrado perfecto y
no importa que el cometa Halley no sea un satélite de la Tierra.
La tabla de verdad de la disyunción es la siguiente:
p q p_q
V V V
V F V
F V V
F F F
La conjunción y la disyunción son operaciones binarias, en el sentido de que
a cada dos proposiciones p y q le asignan una nueva proposición.
Example 4 Considere las siguientes proposiciones:
p: 2 es un entero positivo.
q: Buenos Aires es la capital de Argentina.
r: 5 4 = 20
s: el centro de una circunferencia es un punto de ella.
t: todos los hombres son mortales.
u: San Martín cruzó los Andes.
1. (a) Escriba con palabras las siguientes proposiciones compuestas: p_q,
q _ s y p ^ (q _ t).
(b) Halle los valores de verdad de p, q, q ^ r y r ^ u.
(c) Calcule el valor de verdad de:
(r ^ (p _ q))^ ( r _ (p ^ q) si:
(p) = V , (q) = F y (r) = V .
(d) Halle los valores de verdad de la fórmula p _ (q ^ r) para todos
los posibles valores de verdad de sus letras.
Solución
1. (a) p_q: 2 es un entero positivo o Buenos Aires es la capital de Argentina.
q _ s: Buenos Aires no es la capital de Argentina o el centro de
una circunferencia no es un punto de ella.
p ^ (q _ t): 2 es un entero positivo y Buenos Aires es la Capital
de Argentina o algunos hombres no son mortales (volveremos más
adelante a insistir en este tipo de negaciones).
4
(b) (p) = V
( q) = F
(q ^ r) = V
( r ^ u) = F
(c) Resolver ésto es como hacer un ejercicio combinado con números,
pero mucho más sencillo. Con los valores que nos dan, vamos re-
solviendo los paréntesis en el orden en que lo hacíamos para opera-
ciones numéricas. Veremos que es cómodo colocar las operaciones de
la siguiente forma:
p q r q p _ q r ^ (p _ q) p ^ q r
V F V V V V F F
r _ (p ^ q) ( r _ p ^ q) (r ^ (p _ q)) ^ ( r _ (p ^ q))
F V V
(r ^ (p _ q)) ^ ( r _ (p ^ q))
V
1. (d) Para resolver ésto conviene hacer una tabla que se confecciona del
siguiente modo: como las proposiciones implicadas son tres, la tabla
tendrá 8 = 23 …las y, en general, 2n …las cuando sea n el número
de proposiciones simples que intervienen (en nuestro caso 3) y tan-
tas columnas como operaciones haya. Para no olvidarnos ninguna
combinación de valores de verdad, “conviene” colocar, en la primera
columna (p), los valores V y F alternados de 1 en 1 (20 ), en la se-
gunda columna ( q ) los valores V y F alternados de 2 en 2 (21 ), en
la tercera columna ( r ) los valores de V y F alternados de 4 en 4
(22 ). Si hubieran más proposiciones, se continúa del mismo modo,
siempre alternando según las potencias de 2.
p q r r q^ r p p _ (q ^ r)
V V V F F F F
F V V F F V V
V F V F F F F
F F V F F V V
V V F V V F V
F V F V V V V
V F F V F F F
F F F V F V V
5
llaman contradicciones. Aquellas que no son ni tautologías ni contradicciones,
se denominan contingencias.
Solución
Para ello vamos a confeccionar las tablas correspondientes para todos los
valores de verdad posibles:
6
(a) (b) (c)
p p p_ p q q q^ q p p ( p)
V F V V F F V F V
F V V F V F F V F
Observamos que la primera fórmula es una tautología, la segunda una con-
tradicción y la tercera una contingencia.
Solución
1. (a) 8x 2 Z : x = 2m; m 2 Z
(b) Si representamos con la letra x a un elemento del conjunto de las
personas y simbolizamos con p(x) el hecho de ser empleado del Estado
y con q(x) el de llegar a …n de mes, la expresión dada puede escribirse
como: 9xjp(x) ^ q(x).
7
Decimos que la expresión 8x : p(x) es verdadera si y sólo si cualquier sustitu-
ción de x por un elemento de un conjunto adecuado, da origen a una proposición
verdadera. Por otra parte, 9xjp(x) es verdadera si y sólo si existe por lo menos
una sustitución de x que la transforme en una proposición verdadera.
5 Implicación o condicional
Estudiaremos ahora lo que podríamos llamar el concepto especí…co de la lógica
y de la matemática: el de deducción o implicación.
Consideremos las siguientes oraciones:
“Si x = 4, entonces x es un número par”
“Si x es un número entero, entonces x es un número natural”
Se trata de enunciados de la forma: “si p, entonces q”, donde p y q son
proposiciones. Los representaremos como p ) q, lo que se lee: “p implica q”.
En la primera oración, llamada ahora implicación, tendríamos: p(x): “x = 4”
y q(x):“x es un número par”, con lo cual p(x) ) q(x) queda:
“Si x = 4, entonces x es un número par”.
El nuevo conectivo lógico introducido ) se llama condicional o implicación y
es claro que con nuestro uso habitual de: “si...entonces...” nos permite construir,
a partir de dos proposiciones p y q, la proposición p ) q. Solo nos resta de…nir
la tabla de valores de verdad de esta última proposición compuesta. Para ello
observemos que el esquema: “si p entonces q”re‡eja el proceso de deducción de q
a partir de p. ¿Cuándo es esta deducción correcta? Aceptamos que la deducción
es V (o correcta) si a partir de algo verdadero se concluye algo también verdadero
y asimismo aceptamos que la deducción es F (o incorrecta) si a partir de algo
verdadero se concluye algo falso. Esto nos lleva a declarar que, si p y q son ambas
verdaderas, la implicación p ) q es también verdadera. Si p es verdadera y q es
falsa, p ) q es falsa. Para decidir lo que ocurre cuando p es falso, recordemos
juicios como el que sigue: “si Pedro es un sabio, entonces yo soy Einstein”. Se
usan con frecuencia y el sentido resulta muy claro: a…rmamos algo mediante
una implicación, cuyo consecuente es claramente falso, con lo cual expresamos
nuestro convencimiento de que el antecedente también es falso. La deducción
pues no nos parece incorrecta, sino más bien suponemos que de una falsedad
se puede concluir “cualquier cosa”. En efecto partiendo de una hipótesis falsa,
razonando correctamente, podemos obtener una conclusión verdadera. Esta
implicación es verdadera. Por ejemplo:
8
plo:
1=2 (hipótesis falsa)
3=3
4=5 (conclusión falsa)
Aceptaremos entonces desde ya que, si p es F , la implicación p ) q es V
con independencia del valor de q.
Se dice que la proposición p implica la proposición q o que q se deduce de
p, si no se veri…ca que p sea verdadera y q falsa. En símbolos: p ) q. La
proposición p recibe el nombre de antecedente o hipótesis y q el de consecuente
o tesis de la implicación. De…nimos la tabla de verdad de la implicación de la
siguiente forma:
p q p)q
V V V
V F F
F V V
F F V
Las tablas de verdad se de…nen arbitrariamente pero respetando el sentido
común.
Example 7
9
1. p ) q
2. Si p entonces q
3. p es su…ciente para q
4. q es necesario para p
5. q si p
6. p sólo si q.
p q p,q
V V V
V F F
F V F
F F V
p q p)q q)p (p ) q) ^ (q ) p)
V V V V V
V F F V F
F V V F F
F F V V V
Observamos que los valores de la última columna de ambas tablas son exacta-
mente los mismos, como era de esperarse, ya que de…nimos la doble implicación
como la conjunción de estas dos implicaciones que, como veremos, serán desig-
nadas como la directa y la recíproca, la una de la otra. Cuando dos expresiones
tienen el mismo valor de verdad, para los distintos valores de verdad de las
proposiciones componentes, se dice que son lógicamente equivalentes.
Example 8
10
(b) La equivalencia “un triángulo es equilátero , un triángulo es equián-
gulo”es verdadera, porque ambas proposiciones se re…eren al mismo
conjunto de triángulos.
(c) La equivalencia 1 = 2 , 22 = 4 es falsa, ya que la primera proposi-
ción es F y la segunda V .
11
1. (a) Si un cuadrilátero es un cuadrado, entonces es un rectángulo.
La implicación dada es verdadera.
Si un cuadrilátero es un rectángulo, entonces es un cuadrado (recíp-
roca): F .
Si un cuadrilátero no es un cuadrado, entonces no es un rectángulo
(contraria): F .
Si un cuadrilátero no es un rectángulo, entonces no es un cuadrado
(contrarrecíproca): V .
(b) Dos ángulos son suplementarios si suman 180 (esta implicación está
escrita en la forma q si p que, como vimos, es otra forma de expresar
p ) q).
p(x; y): x + y = 180
q(x; y): x e y son ángulos suplementarios.
Directa: p ) q: si dos ángulos suman 180 , entonces son suplemen-
tarios: V .
Recíproca: q ) p: si dos ángulos son suplementarios, entonces suman
180 : V .
Contraria: p ) q: si dos ángulos no suman 180 , entonces no
son suplementarios: V .
Contrarrecíproca: q ) p: si dos ángulos no son suplementarios,
entonces no suman 180 : V .
1. (a) que un polígono sea un cuadrado es condición su…ciente para que sea
un rectángulo, y:
(b) que un polígono sea un rectángulo es condición necesaria para que
sea un cuadrado,
12
Si una implicación y su recíproca son ambas verdaderas, es decir v(p ) q) =
V y v(q ) p) = V , diremos que p es condición necesaria y su…ciente para q, y
que q es necesaria y su…ciente para p, o bien que p es equivalente a q, lo que
expresamos con p , q.
Example 12
1. (a) Dadas las proposiciones, p: “es rico” y q: “es feliz”, exprese en sím-
bolos las siguientes expresiones:
i. Es necesario ser pobre para ser feliz.
ii. Ser rico es condición su…ciente para ser feliz.
iii. Ser rico es condición necesaria para ser feliz.
Solución
1. (a) i. q ) p
ii. p ) q
iii. q ) p
(b) Exprese las implicaciones siguientes usando las frases “es condición
necesaria” o “es condición su…ciente”:
i. Si un entero es múltiplo de 4, es par.
ii. Si un triángulo está inscripto en una semicircunferencia, es rec-
tángulo.
iii. Sean, p(x; y): dos triángulos son congruentes y q(x; y): dos trián-
gulos tienen dos lados y el ángulo comprendido respectivamente
congruentes. Analice la implicación: “si dos triángulos son con-
gruentes, entonces tienen dos lados y el ángulo comprendido re-
spectivamente congruentes”.
Solución
13
iii. La implicación p(x; y) ) q(x; y) es verdadera; también lo es
q(x; y) ) p(x; y). Luego, decimos que, el tener dos lados y el
ángulo comprendido congruentes, es condición necesaria y su…-
ciente para que dos triángulos sean congruentes.
Si el valor de verdad de la implicación dada es verdadero, puede decirse que:
Implicación dada Forma equivalente
p)q p es condición su…ciente para q
q)p p es condición necesaria para q
Si v(p , q) = V , su forma equivalente es: p es necesaria y su…ciente para q.
En matemática, muchas veces se habla de condición su…ciente pero no nece-
saria o condición necesaria pero no su…ciente. ¿Qué signi…cado tienen esas
expresiones?
Analicemos la expresión p necesaria y no su…ciente para q: signi…ca que p
debe ser necesaria y no su…ciente al mismo tiempo.
Si p es necesaria para q: (q ) p) = V
Si p es su…ciente para q: (p ) q) = V
Si p no es su…ciente para q: (p ) q) = F
En consecuencia, p es necesario y no su…ciente si y sólo si (q ) p) = V y
(p ) q) = F . En resumen:
(p ) q) = V p es su…ciente
^ pero no necesaria
(q ) p) = F para q
(p ) q) = F p es necesaria
^ pero no su…ciente
(q ) p) = V para q
Example 13 Sea la implicación “si un triángulo es isósceles, entonces tiene sus
tres lados congruentes”. Se trata de una implicación falsa: (p(x) ) q(x)) =
F . Veamos la recíproca: “si un triángulo tiene sus tres lados congruentes es
isósceles”. Su valor de verdad es: (q ) p) = V . Luego, es su…ciente, pero no
necesario que un triángulo tenga sus lados congruentes, para que sea isósceles.
También en la vida diaria se nos presentan situaciones de este tipo. Consid-
eremos, por ejemplo, verdadera la siguiente a…rmación: “si usted no elige a V.
J., usted no tendrá un gobierno honesto”. ¿Garantiza un gobierno honesto el
que sea elegido V. J.?
Analicemos la expresión en símbolos:
p: usted elige a V. J. q: usted tendrá un gobierno honesto.
La implicación dada es: p ) q, que sabemos es equivalente a q )
p. Resulta que p es necesaria para q, pero no sabemos si es su…ciente, ya
que desconocemos el valor de p ) q. En consecuencia, la elección de V.J. no
garantiza un gobierno honesto: es condición necesaria, pero no sabemos si es
su…ciente o no.
14
6 Leyes lógicas
Recordemos que una ley lógica es una tautología.
En el cálculo proposicional se utilizan las siguientes leyes lógicas o tau-
tologías, cuya demostración se reduce a la confección de la correspondiente tabla
de verdad.
1. Involución: ( p) , p
p p ( p) ( p) , p
V F V V
F V F V
2. Idempotencia: (p ^ p) , p (p _ p) , p
3. Conmutatividad:
(a) de la disyunción: p _ q , q _ p
(b) de la conjunción: p ^ q , q ^ p
4. Asociatividad:
(a) de la disyunción: (p _ q) _ r , p _ (q _ r)
(b) de la conjunción: (p ^ q) ^ r , p ^ (q ^ r)
5. Distributividad:
6. Leyes de De Morgan:
(a) (p _ q) , p^ q
(b) (p ^ q) , p_ q
7 Conjunto de verdad
Dada una forma o esquema proposicional p(x), el conjunto de valores de x que
hace que p(x) sea una proposición verdadera, recibe el nombre de conjunto de
verdad de p(x).
Por ejemplo, sea p(x) : x2 25 = 0; el conjunto de verdad de p(x), es
P = f 5; 5g.
15
El conjunto de valores de x, que hace que p(x) sea una proposición falsa se
llama el complemento del conjunto P y se representa con P .
En nuestro ejemplo: P = fx 2 Rjx 6= 5g.
Una implicación p(x) ) q(x) es verdadera, si el conjunto de verdad de
p(x), que llamaremos P , está incluido en el conjunto de verdad de q(x), que
llamaremos Q. En símbolos, P Q.
Example 14
1. (a) x2 = 1 ) x = 1
p(x) : x2 = 1 P = f 1; 1g
q(x) : x = 1 Q = f1g
Como f 1; 1g * f1g, diremos que la implicación es falsa.
(b) x2 2x + 1 = 0 ) x2 4x + 3 = 0
p(x) : x2 2x + 1 = 0 P = f1g
q(x) : x2 4x + 3 = 0 Q = f1; 3g
Como P Q, la implicación es verdadera.
Una equivalencia p(x) , q(x) es verdadera si el conjunto de verdad de p(x)
es igual al conjunto de verdad de q(x). En símbolos: P = Q.
Example 15
1. (a) x + 5 = 0 , x = 5
p(x) : x + 5 = 0 P = f 5g
q(x) : x = 5 Q = f 5g
Como P = Q, la equivalencia es verdadera.
(b) x 3 = 0 , x2 = 9
p(x) : x 3 = 0 P = f3g
q(x) : x2 = 9 Q = f 3; 3g
Como P 6= Q, la equivalencia es falsa.
16
Por lo tanto, la negación de una implicación no es una implicación, sino la
conjunción entre el antecedente y la negación del consecuente.
Example 16
1. (a) La negación de “si las rectas A y B son paralelas, entonces los ángulos
alternos formados con una tercera recta C que las corta, son iguales”
es: “las rectas A y B son paralelas y los ángulos alternos formados
con una tercera recta C que las corta, no son iguales”.
(b) (Si hoy es lunes, entonces mañana es miércoles),Hoy es lunes y
mañana no es miércoles.
(c) 3 = 3 ) 32 = ( 3)2 , 3 = 3 ^ 32 6= ( 3)2 .
17
Example 18 “Existen números que son cuadrados perfectos” tiene como ne-
gación a: “todos los números no son cuadrados perfectos”.
Example 19
Para emplear los términos con precisión no deben usarse las expresiones
“todos : : : no” y “no todos : : :”. En lógica, así como en el lenguaje común, es
conveniente reemplazar la fórmula “todos los x no son : : :”por “ningún x es : : :”,
cuando se tiene que formar la negación de “algún x es : : :”. Recíprocamente, la
negación de “todos los x son : : :”, es: “algún x no es : : :”.
(algún x es : : :) , ningún x es : : :
18
“no es cierto que algunos videos son actuales o no todos son intere-
santes”. Aplicando lo aprendido anteriormente, a cada una de las
proposiciones, resulta:
Todos los videos no son actuales o algunos no son interesantes (ne-
gando los cuanti…cadores primero, sin tener en cuenta la ambiguedad);
pero, según dijimos, es conveniente expresar ésto del siguiente modo:
“ningún video es actual o algunos no son interesantes”.
(b) “Si no pagamos el gas, algunas personas podrían imitarnos”.
Se trata de una implicación y escribimos su negación así:
“no pagamos el gas y no es cierto que algunas personas podrían im-
itarnos”; aplicando lo visto, resulta: “no pagamos el gas y todas las
personas no podrían imitarnos”. Correctamente, sería: “no pagamos
el gas y ninguna persona podría imitarnos”.
9 Métodos de demostración
La esencia de la matemática es demostrar implicaciones. En efecto, si queremos
demostrar una proposición p, podemos usar como hipótesis todos los teoremas y
axiomas conocidos y, a partir de ellos, deducir p. Si llamamos P a la conjunción
de todas estas a…rmaciones, lo que queremos probar es que P ) p.
El problema de la construcción de una demostración consiste en preparar
una serie de pasos que conduzcan a la conclusión deseada. No hay caminos au-
tomáticos para hacerlo. Es algo que se adquiere con la práctica y el desarrollo
de la iniciativa de cada uno. Es decir, a demostrar se aprende demostrando y
nosotros construiremos muchas demostraciones a lo largo de todo el curso. Pero
no hay algoritmos de demostración, sólo métodos generales, cuyo conocimiento
nos puede servir para realizar una demostración. Como los teoremas matemáti-
cos (en particular los de carácter universal) tienen la forma de implicaciones,
vamos a ver métodos para demostrar implicaciones.
Probemos, por ejemplo, el siguiente teorema: Sean m y n números naturales
(1; 2; : : :); se tienen m alumnos y n asientos y supongamos ciertas las siguientes
a…rmaciones:
19
Otra forma de demostrar este teorema sería a partir de la negación de la
tesis: 8
< m > n contradice H1 y H2
m 6= n
:
m < n contradice H3 y H1
Lo hemos demostrado usando la contrarrecíproca T ) H, que es equiva-
lente a H ) T .
El primer ejemplo ilustra lo que se conoce con el nombre de método directo
y el segundo el método indirecto.
Example 21
x = 2k (k 2 Z)
x2 = 4k 2
= 2(2k 2 )
= 2m c.q.d.
H) ajb ^ bjc
T) ajc
D) ajb ) b = k a con k 2 Z (1)
bjc ) c = k 0 b con k 0 2 Z (2)
Reemplazando (1) en (2), se tiene: c = k 0 (k a) = (k 0 k) a = k 00 a
con k 0 k = k 00 .
Luego, ajc como queríamos demostrar.
20
9.2 Método indirecto
En este método se examina q. Si se comprueba que es verdadera estamos seguros
que la implicación es verdadera y, por tanto, está demostrada p ) q. Si (q) =
F , entonces hay que examinar p y llegar a establecer que (p) = F .
Es decir, el método indirecto consiste en partir de la falsedad del consecuente
(tesis) y determinar la falsedad del antecedente (hipótesis).
Example 22 Demuestre que: 8x : x2 es par ) x es par.
Prueba
Supongamos que x no sea par, es decir que sea impar. Esto se expresa
en símbolos como x = 2k + 1, (con k entero). Elevando ambos miembros al
cuadrado, resulta:
x2 = (2k + 1)2
= 4k 2 + 4k + 1
= 2(2k 2 + 2k) + 1
= 2m + 1, con m = 2k 2 + 2k
Esta última expresión nos dice que x2 es impar, con lo que establecemos que el
consecuente o tesis es falso y así queda demostrada la implicación.
Una variante del método indirecto es el método por reducción al absurdo,
que consiste en negar la implicación dada, es decir, suponer la verdad de p^ q
y examinar las consecuencias de esta negación. Si se llega a contradecir algún
resultado conocido, diremos que este absurdo provino de suponer que p ) q era
falsa, por lo que debe ser verdadera.
Example 23 Pruebe que: x es impar ) x2 es impar.
Partimos de la negación de la implicación:
x es impar ^ x2 es par
x = 2k + 1 ^ x2 = 2m
x2 = (2k + 1)2 ^ x2 = 2m
x2 = 4k 2 + 2k + 1 ^ x2 = 2m
x2 = 2(2k 2 + k) + 1 ^ x2 = 2m
x2 = 2p + 1 ^ x2 = 2m
Ambos miembros representan el mismo número, pero el de la izquierda es
impar y el de la derecha es par, lo cual es un absurdo que provino de negar la
implicación. Luego la implicación es verdadera.
21
9.3 Contraejemplo
Si se quiere demostrar una proposición de la forma 8x; p(x) y se halla un x = x0
tal que (p(x0 )) es F , decimos que queda demostrado que la proposición dada
es falsa:
[8x; p(x)] 9x j p(x)
Muchas veces, cuando queremos demostrar algo, damos ejemplos. Si la impli-
cación es verdadera, los ejemplos no son su…cientes para demostrarla; en cambio,
si es falsa, sí.
Por ejemplo, sea la implicación:
8x : (x impar ) (x es primo _ x + 2 es primo _ x + 4 es primo))
Analizaremos la implicación dada para algunos números:
Para probar que es falsa, hacía falta encontrar tres números que la cumplan,
cosa que no fue posible, pero tampoco se pudo demostrar que es verdad.
Actualmente se dice que ya está probada, pero tal demostración llena un
libro y hasta el momento no pudo comprobarse si es válida o no.
22
10 Razonamientos válidos
Entendemos por razonamiento la a…rmación de que una cierta proposición (lla-
mada conclusión) se deduce de otras proposiciones (las premisas). Diremos que
el razonamiento es válido si y sólo si la conjunción de las premisas implica
la conclusión (se sobreentiende que tanto las premisas como la conclusión es-
tán expresadas mediante ciertas proposiciones simples o elementales y ciertos
conectivos lógicos).
En símbolos: sean P1 ; P2 ; : : : ; Pn las premisas y q la conclusión: P1 ^ P2 ^
: : : ^ Pn ) q.
Si llamamos P a la conjunción de las premisas, será posible analizar el valor
de verdad de P ) q. Pueden darse tres casos:
1) Hacer una tabla con todas las combinaciones posibles de valores de verdad
de las proposiciones elementales y luego establecer si la implicación p ) q
es una tautología o no.
Solución
Escribimos ese razonamiento en forma simbólica, asignando nombre a las
proposiciones:
El razonamiento sería:
p)q
p) r
r)p
23
Confeccionemos la tabla de verdad:
p q r p)q p r p) r
V V V V F F V
F V V V V F F
V F V F F F V
F F V V V F F
V V F V F V V
F V F V V V V
V F F F F V V
F F F V V V V
P Q
z }| { z }| {
(p ) q) ^ ( p ) r) (r ) p) P )Q
V V V
F F V
F V V
F F V
V V V
V V V
F V V
V V V
Observamos que P ) Q es siempre V , por lo que se trata de una tautología
y el razonamiento es válido.
Example 25
2 es impar o 3 divide a 6.
2 es par.
24
Escribimos este razonamiento en forma simbólica y, luego, suponenemos ver-
daderas a todas las premisas, comenzando el análisis por la que juzguemos es
más conveniente:
p) q ( r) = V ) (r) = F
r (p ) q) = V ^ ( q) = F ) (p) = F ) ( p) = V
p
r_ q
s) r
p) s
25
Suponemos que la conclusión es falsa, es decir que:
(p ) s) = F ) (p) = V ^ ( s) = F ) (s) = V .
A partir de ésto, considerando las premisas verdaderas, se tiene que:
Exercise 27
26