Trabajo de lógica

1) Construir la tabla de la verdad:

↔
(a) ( p ⊻ q ) ❑ [( p ∧ q ) ∨ ( q ∧ p ) ]

↔
(p ⊻ q) ❑ [(p ^ ~q) v (q ^ ~p)]
1 0 1 1 1 0 0 0 1 0 0
1 1 0 1 1 0 1 1 0 0 0
0 1 1 1 0 0 0 1 1 1 1
0 0 0 1 0 0 1 0 0 0 1
La expresión es una Tautología

↔ ↔
(b) ( p →r ) ❑ [ ( p ❑ q ) ∧(q ∨r )]

(p → r) ↔
[(p ↔
q) ∧ (q v r)]
❑ ❑
1 1 1 1 1 1 1 1 1 1 1
1 0 0 0 1 1 1 1 1 1 0
1 1 1 0 1 0 0 0 0 1 1
1 0 0 1 1 0 0 0 0 0 0
0 1 1 0 0 0 1 0 1 1 1
0 1 0 0 0 0 1 0 1 1 0
0 1 1 1 0 1 0 1 0 1 1
0 1 0 0 0 1 0 0 0 0 0

2) Explique si son equivalentes:

↔
A: ( p ∨q )❑ ( p ∧ p)
↔
B: ( p →q ) ❑ ( q → p)

Solución:
Se realizan las tablas de la verdad de cada expresión.
 Para A:
~ (p ∨ q) ↔
(~p ∧ ~p)
❑
0 1 1 1 1 0 0 0
0 1 1 0 1 0 0 0
0 0 1 1 0 1 1 1
1 0 0 0 1 1 1 1

Para B:

(p → q) ↔
(~q → ~p)
❑
1 1 1 1 0 1 0
1 0 0 1 1 0 0
0 1 1 1 0 1 1
0 1 0 1 1 1 1

Conclusión: Se puede apreciar que el resultado de la tabla de la verdad

de A es diferente al de B, por lo tanto A y B no son equivalentes.

3) Probar deductivamente:

↔ ↔
(a) ( p❑ q ) ❑ ( p ∧q ) ∨( p ∧ q)
↔
( p ∧ q ) ∨( p∧ q)❑ ( p ∧q ) ∨( p ∧ q) Ley de la Bicondicional
↔
( p ∧q ) ∨ ( p ∧ q ) ❑ ( p ∧q ) ∨ ( p ∧ q ) Ley Conmutativa

↔
(b) ( p →q ) ❑ p ∨q
↔
p ∨q ❑ p∨ q Ley de la Condicional
 4) Efectúe pro el Método Directo:
(a) Si m y n son impares, entonces m + n son impares.
Solución:
Sean m y n enteros impares, m=2 x+ 1 y n=2 y+1, siendo x, y números
enteros. Luego, m+n=2 x +1+2 y+ 1=2 x+2 y +2=2( x+ y +1). Como se obtuvo que
todo resultado de x + y +1 al multiplicarlo con 2 da un número par, entonces la
proposición es falsa. Es decir, si m y n son impares, entonces m+n es par.
(b) Si P es un número par, entonces P2 es par.
Solución:
Sea P un número par entero, entonces 2 es factor de P, por tanto se
puede decir que P=2 n, siendo n número entero. Luego, P2=(2 n)2 =4 n 2, el cual
se puede escribir como 2(2 n2 ). Entonces como 2 n2es entero y 2(2 n2 ) es par y
además 2 ( 2 n2 )=P2, se concluye que P2 es par.

5) Resolver por el Método Indirecto:

Si P2 es un número impar, entonces P es impar.
Solución:
La proposición dada es S ( P ) → Q( P), donde S( P) es “ P2 es un número
impar” y Q(P) es “P es impar” y P es un número entero. El
contrarecíproco(Método Indirecto) es Q ( P ) → S ( P), es decir, si P es par,
entonces P2 es un número par, que es lo que se quiere demostrar.
Ahora, sea P un entero par, P=2 m donde m es un número entero.
Luego, P2=¿ . Se observa que 4 m2=2 ( 2m2 ) ,donde 2 m2 es entero y como 2 ( 2 m2 ) ,
entonces P2es par. Por lo tanto, se cumple Q ( P ) → S ( P).

6) Demostrar por inducción:

 (n+ 1)(n+ 2)
(a) 1.2+2.3+…+ n ( n+1 )=n
3

Para n=1
(1+1)(1+2) 2(3)
1 ( 1+1 )=1 →1.2=1 →1.2=1.2
3 3

Para n=k
(k +1)(k +2)
1.2+2.3+…+ k ( k +1 )=k
3

Para n=k +1
(k +1+1)(k +1+2)
1.2+2.3+…+ k ( k +1 ) + ( k +1 ) ( k +1+1 ) =(k + 1)
3

(k +2)(k + 3)
1.2+2.3+…+ k ( k +1 ) + ( k +1 ) ( k +2 ) =(k +1)
3

Ahora
(k+ 1)(k +2) (k +2)(k + 3)
k + ( k +1 ) ( k +2 ) =( k +1)
3 3

k ( k +1 ) ( k +2 ) +3(k +1)( k +2) (k +2)(k +3)

=(k + 1)
3 3

k +3 ( k +2)( k +3)
(k + 1)( k+ 2) =(k +1)
3 3

( k +2 )( k +3 ) (k + 2)( k +3)
(k + 1) =(k +1)
3 3

1 1 1 n
(b) + + …+ =
1.2 2.3 n ( n+1 ) n+ 1
 Para n=1
1 1 1 1
= → =
1 ( 1+1 ) 1+1 2 2

Para n=k
1 1 1 k
+ + …+ =
1.2 2.3 k ( k +1 ) k +1
Para n=k +1
1 1 1 1 k +1
+ + …+ + =
1.2 2.3 k ( k +1 ) ( k +1)( k + 1+ 1 ) k +1+1

1 1 1 1 k+ 1
+ + …+ + =
1.2 2.3 k ( k +1 ) (k +1) ( k + 2 ) k + 2

k 1 k +1
+ =
k +1 (k +1) ( k +2 ) k +2

k ( k 1+1 )+( k +1 1 )( k 1+2 )= kk++12

( k 1+1 ) [ k +( k +21 )]= kk +1+2

1 k ( k +2 )+1 k + 1 1 k 2 +2 k +1 k +1
( )[k +1 k +2
= ]
k+2
→
k +1 ( )[ k +2 ] =
k +2

( k 1+1 ) [ ( k +1)(
k +2
k +1) k +1 k + 1 k + 1
]= k +2 → k + 2= k + 2
 7) Determine el valor lógico:
(a) (∃ x ϵ R ¿(x 2+ 1)=0
Solución:
La ecuación es FALSA. Ya que x 2+ 1> 0 → x 2>−1

(b) (∃n ϵ N ¿(2+ n)=6

Solución:
La ecuación es VERDADERA. Puesto que ( 2+n ) =6 →n=4

8) Un turista se perdió en la Selva de Amazonas y llegó una tribu “Los

Come Candelas”, y lo atraparon. El jefe de la tribu le dice “te daremos
una oportunidad de salvarte. Debes decir una proposición, si es
verdadera serás asado, si es falsa serás sancochado”. ¿Cómo hará el
turista para salvarse?

Solución:
El turista dijo “Moriré sancochado”. Puesto que si lo asan
entonces la proposición sería falsa, entonces tendrían que sancocharlo,
pero si lo sancochan sería verdadera entonces tendrían que asarlo, y
esto entraría en una paradoja ya que una proposición no puede ser
verdadera ni falsa a la vez.