Instituto Tecnolgico de Costa Rica

Escuela de Matemtica I semestre 2012

Clculo Diferencial e Integral. Prof. Juan Jos fallas.
1 Leyes de la lgica y reglas de inferencia
Leyes de la lgica Equivalencia
Implicacin y disyuncin (ID) P == Q = P . Q
Doble negacin (DN) P = P
De Morgan (DM) (P . Q) = P . Q
(P . Q) = P . Q
Contrapositiva P == Q = Q == P
Regla de inferencia Premisas Conclusin
Modus Ponens (MP) P == Q; P Q
Modus Tollens (MT) P == Q; Q P
Silogismo disyuntivo (SD) P . Q; P Q
Silogismo hipottico (SH) P == Q; Q == R P == R
Adjuncin (ADJ) P; Q P . Q
Simplicacin (SIMP) P . Q P; Q
Adicin (ADI) P P . Q
Q cualquier otra propos.
2 Ejercicios
1
1. Redacte la contrapositiva y el recproco de las siguientes proposiciones:
(a) Si f es una funcin invertible, entonces es biyectiva.
(b) Dos rectas oblicuas
2
son perpendiculares si el producto de sus pendientes es 1:
(c) Sea f (x) = a
x
; a > 0 y a ,= 1: Si a > 1; entonces f es una funcin creciente.
2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposicin:
[P == (R == T)] == [(P . S) == (Q == T)]
3. Determine, utilizando tablas de verdad, si cada proposicin compuesta es tautologa, contradiccin o
contingencia:
(a) (P == Q) == (P . Q)
(b) (P . Q) [Q == (P . Q)]
(c) [(P . R) . Q] == [(P . R) . Q]
4. Use una tabla de verdad para determinar si bajo las premisas P == Q y P == R es vlido concluir
Q. R:
Nota: Esto es equivalente a vericar que
[P == Q. P == R] == Q. R
sea una tautologa.
1
Varios de los ejercicios son tomados de Murillo, M (2010). Introduccin a la Matemtica Discreta. Cartago, Editorial
Tecnolgica de Costa Rica.
2
Una recta es oblicua si tiene pendiente real y diferente de cero.
5. Se tiene que R es una proposicin verdadera y que P y Q son proposiciones cualesquiera. Por medio
de una tabla de verdad determine si la proposicin [(P . Q) . R] == (P . Q) es una tautologa,
contradiccin o contingencia.
6. Determine una asignacin de valores de verdad para A; B; C; D y E que verique que
[(A == (B . C)) . (C == (D . E)) . D]
no implica tautolgicamente a A == E: Razone la asignacin de tal manera que no tenga que construir
una tabla de verdad.
7. Demuestre que (S . Q) a partir de T; P == S; y P . T.
8. Demuestre que R == Q a partir de (R . S) y S == Q:
9. Demuestre que (S . Q) a partir de S == Q; (T . R) ; S == T . R:
10. Demuestre P a partir de (P . Q) == (R . S) ; R == T; T:
11. Demuestre U a partir de P . T; P == Q; Q == (R . S) ; R . T . U:
12. Por medio de las reglas de inferencia pruebe T a partir de las siguientes premisas: P == Q; Q.R;
P . S y T == R . S:
13. Determine la veracidad de las siguientes armaciones cuanticadas:
(a) \n IN

n
2
< 27

:
(b) \x IR
h
(3x + 1)
2
> 0
i
:
(c) n IN

2 < n
3
+ 1 < 8

:
(d) Dado que: A =

1; 2;
3
2

y B =

3; 2;
3
2

i. x IN [x A. x B] :
ii. \x A[x _ 0] :
iii. @x B

x
2
Z .
x
2
A

:
14. Escriba la negacin de cada una de las proposiciones cuanticadas:
(a) \n IN

n
2
< 27

:
(b) n IN

n
3
+ 2 = 11

:
(c) r Q

r
2
= 2 . 2r + 1 < 0

:
3 Soluciones a los ejercicios
1. Solucin:
(a) Contrapositiva: Si f no es biyectiva, entonces no tiene inversa. Recproco: Si f es biyectiva,
entonces es invertible.
(b) Contrapositiva: Si el producto de la pendientes no es 1; entonces las dos rectas oblicuas no
son perpendiculares. Recproco: Si el producto de las pendientes es 1; entonces las dos rectas
oblicuas son perpendiculares.
(c) Contrapositiva: Si f no es creciente, entonces 0 < a _ 1: Recproco: Si f es una funcin
creciente, entonces a > 1:
2. Es falsa pues:
P Q R S T P T R == T P == (P . S) (Q == T) (P . S) == (+)
(R == T) (Q == T)
V V V F F F V F F F V V F
3. Respuestas:
(a) Es tautologa pues:
P Q Q P == Q (P == Q) P . Q (+)
V F V F V V V
V V F V F F V
F V F V F F V
F F V V F F V
(b) Es una contingencia pues:
P Q P . Q P . Q Q == (P . Q) (+)
V F V F V V
V V V V V V
F V V F F F
F F F F V F
(c) Es una contingencia pues:
P Q R P P . R (P . R) (P . R) . Q P . R (P . R) . Q (+)
V V F F F V V F F V
V F F F F V V F F V
F V V V V F V V V V
F F V V V F F V F V
V V V F F V V V V V
F F F V F V V V F F
F V F V F V V V V V
V F V F F V V V F F
4. El razonamiento es vlido pues corresponde a una implicacin tautolgica:
P Q R P P == Q P == R P == Q. P == R Q. R (+)
V V F F V V V V V
V F F F F V F F V
F V V V V V V V V
F F V V V V V V V
V V V F V V V V V
F F F V V F F F V
F V F V V F F V V
V F V F F V F V V
Comentario: ntese que la frase "si bajo las premisas P == Q y P == R" lleva implcito que
interesa solamente los casos en que las proposiciones "P == Q" y "P == R" sean verdaderas y que
el consecuente "Q . R" tambin sea verdadero, para concluir que el razonamiento es vlido. Para el
ejemplo solo interesan las las 1, 3, 4 y 5 de la tabla anterior.
5. Es una contingencia:
P Q R P Q P . Q (P . Q) . R P . Q (+)
V V V F F V V F F
V F V F V F F V V
F V V V F V V F F
F F V V V V V F F
6. Se quiere que
[(A == (B . C)) . (C == (D . E)) . D]
()
== (A == E)
()
no sea una tautologa. Para ello basta analizar el caso en que (+) sea verdadera y que (++) sea falsa.
Para que (+) sea verdadera debe darse que las proposiciones (A == (B . C)), (C == (D . E)) y D
sean todas verdaderas. Inmediatamente se deduce que D debe ser falsa y por ende D . E tambin
lo es. Luego, dado que D . E es falsa para que (C == (D . E)) sea verdadera debe darse que C sea
falsa. Luego, como C es falsa, entonces la veracidad de B . C depende de B:
Por otra parte, si se ja B como falsa, entonces B . C es falsa y para que (A == (B . C)) sea
verdadera, entonces A debe ser falsa y esto provoca que (A == E) es verdadera, independientemente
del valor de verdad de E. Por ello B no puede ser falsa pues provoca que (++) sea verdadera. As, je
B como verdadera, entonces B . C es verdadera y para que (A == (B . C)) sea verdadera, entonces
A puede ser verdadera o falsa, sin embargo ntese que conviene asignar A como verdadera, para que
la proposicin A == E resulte falsa luego de tomar E como falsa. En resumen, tmese:
D falsa, C falsa, B verdadera, A verdadera, E falsa
7. Demuestre que (S . Q) a partir de T; P == S; y P . T
1. T
2. P == S
3. P . T
4. P SD a 1 y 3
5. S MP a 2 y 4
6. S . Q ADI a 5
7. (S . Q) DM y DN a 6
8. Demuestre que R == Q a partir de (R . S) y S == Q:
1. (R . S)
2. S == Q
3. R . S DM a 1
4. R == S ID a 3
5. R == Q SH a 2 y 4
9. Demuestre que (S . Q) a partir de S == Q; (T . R) ; S == T . R:
1. S == Q
2. (T . R)
3. S == T . R
4. S MT a 2 y 3
5. Q MP a 1 y 4
6. S . Q Adj 4 y 5
7. (S . Q) DM y DN a 6
10. Demuestre P a partir de (P . Q) == (R . S) ; R == T; T:
1. (P . Q) == (R . S)
2. R == T
3. T
4. R MT a 2 y 3
5. R . S ADI a 4
6. (R . S) DM a 5
7. (P . Q) MT a 1 y 6
8. P . Q DM y DN a 7
9. P Simp a 8.
11. Demuestre U a partir de P . T; P == Q; Q == (R . S) ; R . T . U:
1. P . T
2. P == Q
3. Q == (R . S)
4. R . T . U
5. P Simp a 1
6. Q MP a 2. y 5
7. R . S MP a 3 y 6
8. R Simp a 7
9. T Simp a 1
10. U SD a 4, 8 y 9
12. Por medio de las reglas de inferencia pruebe T a partir de las siguientes premisas: P == Q; Q.R;
P . S y T == R . S:
1. P == Q
2. Q. R
3. P . S
4. T == R . S
5. P SIMP a 3
6. Q MP a 1 y 5
7. R SD a 2 y 6
8. R . S ADI a 7
9. (R . S) DM a 8
10. T MT a 4 y 9
13. Armaciones cuanticadas:
(a) \n IN

n
2
< 27

: Falsa. La desigualdad n
2
< 27 no se satisface para n _ 6:
(b) \x IR
h
(3x + 1)
2
> 0
i
: Falsa. la desigualdad (3x + 1)
2
> 0 no se satisface para x =
1
3
:
(c) n IN

2 < n
3
+ 1 < 8

: Falsa. Para n = 1 se tiene que n

3
+ 1 = 2; para n = 2 se tiene que
n
3
+ 1 = 9: Adems, cualquier n IN; n _ 3; satisface que n
3
+ 1 > 8:
(d) Dado que: A =

1; 2;
3
2

y B =

3; 2;
3
2

i. x IN [x A. x B] : Verdadera, tmese x = 2:
ii. \x A[x _ 0] : Verdadera. Todos los elemento de A son mayores o iguales que cero.
iii. @x B

x
2
Z .
x
2
A

: Falsa. Ntese que para x = 2 B se cumple que

x
2
= 1 Z y
1 A:
14. Las negaciones:
(a) \n IN

n
2
< 27

: Negacin: n IN

n
2
_ 2

:
(b) n IN

n
3
+ 2 = 11

: Negacin: \n IN

n
3
+ 2 ,= 1

:
(c) r Q

r
2
= 2 . 2r + 1 < 0

: Negacin: \r Q

r
2
,= 2 . 2r + 1 _ 0