Instituto Tecnolgico de Costa Rica

Escuela de Matemtica
Clculo Diferencial e Integral.

I semestre 2012
Prof. Juan Jos fallas.

Leyes de la lgica y reglas de inferencia

Leyes de la lgica
Implicacin y disyuncin (ID)
Doble negacin (DN)
De Morgan (DM)
Contrapositiva
Regla de inferencia
Modus Ponens (MP)
Modus Tollens (MT)
Silogismo disyuntivo (SD)
Silogismo hipottico (SH)
Adjuncin (ADJ)
Simplicacin (SIMP)
Adicin (ADI)

Equivalencia
P =) Q :P _ Q
::P P
: (P _ Q) :P ^ :Q
: (P ^ Q) :P _ :Q
P =) Q :Q =) :P

Premisas
P =) Q; P
P =) Q; :Q
P _ Q; :P
P =) Q; Q =) R
P; Q
P ^Q
P
Q cualquier otra propos.

Conclusin
Q
:P
Q
P =) R
P ^Q
P; Q
P _Q

Ejercicios1

1. Redacte la contrapositiva y el recproco de las siguientes proposiciones:

(a) Si f es una funcin invertible, entonces es biyectiva.
(b) Dos rectas oblicuas2 son perpendiculares si el producto de sus pendientes es
(c) Sea f (x) = ax ; a > 0 y a 6= 1: Si a > 1; entonces f es una funcin creciente.

1:

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) 8n 2 IN n2 < 27 :
h
i
(b) 8x 2 IR (3x + 1)2 > 0 :

(c) 9n 2 IN 2 < n3 + 1 < 8 :

(d) Dado que: A = 1; 2; 23

y B = 3; 2; 32

i. 9x 2 IN [x 2 A ^ x 2 B] :
ii. 8x 2 A [x
iii. @x 2 B

x
2

0] :
2Z^

x
2

2A :

14. Escriba la negacin de cada una de las proposiciones cuanticadas:

(a) 8n 2 IN n2 < 27 :
(b) 9n 2 IN n3 + 2 = 11 :
(c) 9r 2 Q r2 = 2 _ 2r + 1 < 0 :

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
creciente, entonces a > 1:

1: Recproco: Si f es una funcin

2. Es falsa pues:
P

:P

:T

R =) T

P =)
(R =) T )
F

(:P ^ S)

(Q =) :T )

: (P =) Q)
V
F
F
F

P ^ :Q
V
F
F
F

(:P ^ S) =)
(Q =) :T )
V

3. Respuestas:
(a) Es tautologa pues:
P
V
V
F
F

Q
F
V
V
F

:Q
V
F
F
V

P =) Q
F
V
V
V

( )
V
V
V
V

(b) Es una contingencia pues:

P
V
V
F
F

Q
F
V
V
F

P _Q
V
V
V
F

P ^Q
F
V
F
F

Q =) (P ^ Q)
V
V
F
V

( )
V
V
F
F

(c) Es una contingencia pues:

P
V
V
F
F
V
F
F
V

Q
V
F
V
F
V
F
V
F

R
F
F
V
V
V
F
F
V

:P
F
F
V
V
F
V
V
F

:P ^ R
F
F
V
V
F
F
F
F

: (:P ^ R)
V
V
F
F
V
V
V
V

: (:P ^ R) _ Q
V
V
V
F
V
V
V
V

:P _ R
F
F
V
V
V
V
V
V

(:P _ R) ^ Q
F
F
V
F
V
F
V
F

( )
V
V
V
V
V
F
V
F

( )
F

4. El razonamiento es vlido pues corresponde a una implicacin tautolgica:

P
V
V
F
F
V
F
F
V

Q
V
F
V
F
V
F
V
F

R
F
F
V
V
V
F
F
V

:P
F
F
V
V
F
V
V
F

P =) Q
V
F
V
V
V
V
V
F

:P =) R
V
V
V
V
V
F
F
V

P =) Q ^ :P =) R
V
F
V
V
V
F
F
F

Q_R
V
F
V
V
V
F
V
V

( )
V
V
V
V
V
V
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
V
V
F
F

Q
V
F
V
F

R
V
V
V
V

:P
F
F
V
V

:Q
F
V
F
V

:P _ Q
V
F
V
V

(:P _ Q) ^ R
V
F
V
V

P ^ :Q
F
V
F
F

( )
F
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.
2.
3.
4.
5.
6.
7.

:T
:P =) :S
:P _ T
:P
:S
:S _ Q
: (S ^ :Q)

SD a 1 y 3
MP a 2 y 4
ADI a 5
DM y DN a 6

8. Demuestre que R =) :Q a partir de : (R ^ S) y :S =) :Q:

1.
2.
3.
4.
5.

: (R ^ S)
:S =) :Q
:R _ :S
R =) :S
R =) :Q

DM a 1
ID a 3
SH a 2 y 4

9. Demuestre que : (S _ :Q) a partir de :S =) Q; : (T ^ R) ; S =) T ^ R:

1.
2.
3.
4.
5.
6.
7.

:S =) Q
: (T ^ R)
S =) T ^ R
:S
Q
:S ^ Q
: (S _ :Q)

MT a 2 y 3
MP a 1 y 4
Adj 4 y 5
DM y DN a 6

10. Demuestre P a partir de (:P _ :Q) =) (R ^ S) ; R =) T; :T:

1.
2.
3.
4.
5.
6.
7.
8.
9.

(:P _ :Q) =) (R ^ S)
R =) T
:T
:R
:R _ :S
: (R ^ S)
: (:P _ :Q)
P ^Q
P

MT a 2 y 3
ADI a 4
DM a 5
MT a 1 y 6
DM y DN a 7
Simp a 8.

11. Demuestre U a partir de P ^ T; P =) Q; Q =) (R ^ S) ; :R _ :T _ U:

1.
2.
3.
4.
5.
6.
7.
8.
9.
10.

P ^T
P =) Q
Q =) (R ^ S)
:R _ :T _ U
P
Q
R^S
R
T
U

Simp a 1
MP a 2. y 5
MP a 3 y 6
Simp a 7
Simp a 1
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.
2.
3.
4.
5.
6.
7.
8.
9.
10.

P =) :Q
Q _ :R
P ^S
T =) R ^ S
P
:Q
:R
:R _ :S
: (R ^ S)
:T

SIMP a 3
MP a 1 y 5
SD a 2 y 6
ADI a 7
DM a 8
MT a 4 y 9

13. Armaciones cuanticadas:

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

1
3 :

(c) 9n 2 IN 2 < n3 + 1 < 8 : Falsa. Para n = 1 se tiene que n3 + 1 = 2; para n = 2 se tiene que
n3 + 1 = 9: Adems, cualquier n 2 IN; n 3; satisface que n3 + 1 > 8:

(d) Dado que: A = 1; 2; 32

y B = 3; 2; 32

i. 9x 2 IN [x 2 A ^ x 2 B] : Verdadera, tmese x = 2:
ii. 8x 2 A [x
iii. @x 2 B
1 2 A:

x
2

0] : Verdadera. Todos los elemento de A son mayores o iguales que cero.

2Z ^

x
2

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

14. Las negaciones:

(a) 8n 2 IN n2 < 27 : Negacin: 9n 2 IN n2

2 :

(b) 9n 2 IN n3 + 2 = 11 : Negacin: 8n 2 IN n3 + 2 6= 1 :
(c) 9r 2 Q r2 = 2 _ 2r + 1 < 0 : Negacin: 8r 2 Q r2 6= 2 ^ 2r + 1

x
=12Zy
2