INSTITUTO TECNOLGICO DEL PUTUMAYO

PRIMER PARCIAL DE LGICA

A continuacin se dan dos proposiciones compuestas encuentre su valor de verdad y de acuerdo con su
anlisis marque as: (cuando se refiere a la primera o la segunda es la proposicin compuesta)
A. Si la primera proposicin compuesta es verdadera y segunda proposicin compuesta es falsa.
B. Si las dos proposiciones son verdaderas.
C. Si la primera proposicin compuesta es falsa y segunda proposicin compuesta es verdadera
D. Si las dos proposiciones son falsas.
1.
- Si 3 < 5, entonces 3 < - 5
- Si 2 + 2 = 4 entonces 3 + 3 = 7 si, solo si 1 + 1 = 4
A. B. C. D.
2.
- 4 16 4 16 = = o
- 6 + 4 = 10 4 2 2 =
A. B. C. D
3.
- 8 4 4 5 2 3 = + = + y
- 5
2
= 25 o 3 x 3 = 9
A. B. C. D.
4.
- Si 2 + 2 = 4 entonces no es cierto que 2 + 1 = 3 y 5 + 5 = 10
- 2 + 5 = 7 si, solo si, 3 + 6 = 9
A. B. C. D.
5.
- Si 3 1 = 2, entonces 2 + 2 = 4
- 5 + 1 = 8 si, solo si, 5 1 = 2
A. B. C. D.
A continuacin se presenta dos listas de proposiciones compuestas en forma simblica, es coja la letra que
expresa lo mismo que cada nmero teniendo en cuenta las propiedades de las proposiciones y escrbala al
frente de cada uno.
( )
( )
( ) q p
r q p
r q p
q p
v
v .
. v
v
. 9
. 8
. 7
. 6

( ) ( )
( ) ( ) r q r p D
r q r p C
q p B
p q A
v . v
. v .
.
v
.
.
.
.

6. 7. 8. 9.

10. Para encontrar el numero de filas que se deben hacer en una tabla de verdad hay que tener en cuenta el
numero de proposiciones ( n ) la formula que me ayuda a realizar esto es:

A. 2( n ) B. n
2
C. 2
n+1
D. 2
n


Realice las siguientes tablas de verdad y clasifquelas
11. ( ) ( ) | | ( ) r p r q q p .
12. ( ) ( ) q p q p .
Demostrar por medio de propiedades.
13. A continuacin se realiza una demostracin. Usted debe deducir el mtodo de
demostracin.
Demostrar que si x es impar, entonces que x
2
es impar. El enunciado genera las siguientes
premisas:
1. x es impar
2. x = 2n+ 1, donde n es un entero
Hay que demostrar que x
2
= (2n + 1)
2
es impar.
Demostracin:
Si x es impar, entonces x = 2n + 1, entonces x
2
= (2n + 1)
2
= 4n
2
+ 4n + 1, esta expresin se
puede escribir de la forma 2(2n
2
+ 2n) + 1, tomando el trmino
2n
2
+ 2n como el entero m, se tiene que
X
2
= (2n + 1)
2
= 2m + 1, es decir, x
2
es un nmero impar
A. Directo. B. Indirecto C. Contradiccin D. Contra ejemplo
14. A continuacin se realiza una demostracin. Usted debe deducir el mtodo de demostracin
Construir la demostracin de:
Si x
2
es par, entonces x es par, (con x entero)
Suponga que existe al menos un entero x tal que x
2
es par y x es impar. Se sabe que si x es
impar, entonces x
2
es impar, luego es imposible que x sea impar y que x
2
sea par.
Esta es la contradiccin buscada.
A. Directo. B. Indirecto C. Contradiccin D. Contra ejemplo
15. A continuacin se realiza una demostracin. Usted debe deducir el mtodo de demostracin
La proposicin El cuadrado de todo nmero impar es par.
Se debe encontrar un nmero impar cuyo cuadrado sea impar, como 5
2
= 25, queda refutada la
proposicin.
A. Directo. B. Indirecto C. Contradiccin D. Contra ejemplo
16. Seleccionar la frase que completa la proposicin verdadera: Si en una funcin P se cumple
para n = 1, 2, 3, . 99, 100 entonces.
A. Puede garantizarse que se cumple para todos los n
B. No se puede garantizarse que se cumple para todos los n
C. Puede garantizarse que se cumple para todos los reales
D. Puede garantizarse que se cumple para todos los enteros.
117. Para demostrar que q p basta probar que:
A. p q q p . B. p q q p v
C. ) ( ) ( p q q p D. ) ( ) ( p q q p
SEGUNDA PARTE.
1. Demostrar por medio directo
La suma de un nmero par y un nmero impar es un nmero impar.
2. Encontrar el error en la siguiente demostracin.
A. 1 1
2
= = x x Si
b. 0 1 1
2 2
= = x x Si
C. ( )( ) 0 1 1 0 1
2
= + = x x x Si
d. ( )( )
( )( )
( ) ( ) 1
0
1
1 1
0 1 1

+
= +
x x
x x
x x
e. 0 2 0 1 1 1 . 0 1 = = + = = + luego x como Y x luego
Justificar la respuesta.
3. Demostrar que: 4 + 8 + 12 4n = 2n (2n+1).