Вы находитесь на странице: 1из 8

Facultad de IngenierÌa - UNLPam

MATEM£TICA DISCRETA

Trabajo Pr·ctico N o 1:

Nociones B·sicas de LÛgica

1. øCu·les de estas frases son proposiciones? øCu·l es el valor de verdad de aquellas que son proposiciones?

a ) es un n˙mero racional

b ) x> 5

c ) øJuan es amigo de Pedro?

d ) Cierra la puerta.

e ) 8 + 10 = 18

f ) JapÛn es un paÌs asi·tico

g ) Chaco pertenece a la Patagonia.

2. Sean p y q los enunciados ìYo estoy equivocadoîy ìLa primera pregunta es verdaderaî, respectivamente. Expresar cada una de las siguientes fÛrmulas en lenguaje natural.

a ) :p

c ) :p^q

e ) :q!:p

g ) p$q

b ) p_q

d )

q!p

f ) :p!:q

h ) :q_ ( :p^q )

3. Considerar los enunciados p : ìHaces todos los problemas del libroîy q :ìApruebas el examen Önalî. Escribir los siguientes enunciados usando p , q y los conectivos lÛgicos.

a ) No haces todos los problemas del libro.

b ) Haces todos los problemas del libro pero no apruebas el examen Önal.

c ) Apruebas el examen Önal o no haces todos los problemas del libro.

d ) Hacer todos los problemas del libro es suÖciente para aprobar el examen Önal.

e ) Siempre que haces todos los problemas del libro apruebas el examen Önal.

f ) Si no haces todos los problemas del libro no aprobar·s el examen Önal.

g ) Aprobar·s el examen Önal si haces todos los problemas del libro.

4. Determinar si los siguientes enunciados son verdaderos o falsos.

a ) 1 + 1 = 2 , entonces los cerdos vuelan.

b ) 1 + 1 = 2 si, y

c ) Es invierno si, y sÛlo si, no es primavera, verano u otoÒo.

d ) 0 > 1 si, y sÛlo si, 2 > 1 .

sÛlo si, 2 + 3 = 4 .

) Si 1 + 1

) Si 1 + 1

) Si 1 + 1

e = 3 , entonces 2 + 2 = 4 .

f = 3 , entonces 2 + 2 = 5 .

g = 2 , entonces 2 + 2 = 4 .

h ) Si 1 + 1 = 3 , entonces

Dios existe.

5. a ) Escribir cada uno de los siguientes enunciados de la forma ìsi p entonces q î.

Facultad de IngenierÌa - UNLPam

MATEM£TICA DISCRETA

(i) Estar·s informado cuando leas el periÛdico.

(ii)

Puedes sacarte un 10 en esta materia si aprendes a resolver problemas de matem·tica discreta.

(iii)

Tribu nÛmada implica chozas no permanentes.

(iv)

Es necesario que dos elementos se unan quÌmicamente formando una nueva sustancia para que se denomine un compuesto.

(v)

Duermo la siesta siempre que no tenga que ir a trabajar.

(vi)

Una condiciÛn suÖciente para que la garantÌa sea v·lida es que se haya comprado la computadora hace menos de un aÒo.

(vii) Que me gusten los perros es consecuencia de haber tenido muchos de ellos de pequeÒa.

b ) Enunciar la recÌproca y la contrarecÌproca de cada una de las implicaciones del item anterior.

6. Construir la tabla de verdad para cada una de las siguientes proposiciones compuestas. Indicar en cada caso si se trata de una tautologÌa, una contradicciÛn o una contingencia.

a ) :p^p

b ) :p_p

c ) ( p_:q ) !q

d ) ( p_q ) ! ( p^q )

e ) ( p!q ) $ ( :q!:p )

f ) ( p!q ) ! ( q!p )

7. Indicar si cada una de las siguientes aÖrmaciones es verdadera o falsa.

a ) Si p es verdadera y q falsa, entonces p ^ q es verdadera.

b ) Si p es verdadera, q es falsa y r es falsa, entonces p _ ( q ^ r ) es verdadera.

c ) La sentencia ( p $ q ) $ ( :q $ :p ) es una tautologÌa.

d ) Las sentencias p ^ ( q _ r ) y ( p _ q ) ^ ( p _ r ) son lÛgicamente equivalentes.

e falsa entonces : ( p ^ q ) ! q es falsa.

)

Si p ! q es

f verdadera entonces :p ^ ( p ! q ) es verdadera.

)

Si p ! q es

8. Averig¸ar si p ^ q implica lÛgicamente la proposiciÛn indicada en cada caso. øPuede hacerse sin construir la tabla de verdad?

a ) p

c ) q

e ) p_q

g ) :p_q

b ) p$q

d ) p!q

f ) p_r

h ) p^:q

9. a ) Probar que cada proposiciÛn de la columna I es lÛgicamente equivalente a la proposiciÛn

Facultad de IngenierÌa - UNLPam

MATEM£TICA DISCRETA

correspondiente en la columna II, sin utilizar tablas de verdad.

   

I

II

Propiedad

A)

p_

(

q_r

)

( p_q ) _r

_ es asociativa

B)

p^

(

q^r

)

( p^q ) ^r

^ es asociativa

C)

p_q

 

q_p

_ es conmutativa

D)

p^q

q^p

^ es conmutativa

E)

p_p

p

_ es idempotente

F)

p^p

p

^ es idempotente

G)

p_

(

q^r

)

( p_q ) ^ ( p_r )

_ es distributiva respecto de ^

H)

p^

(

q_r

)

( p^q ) _ ( p^r )

^ es distributiva respecto de _

I)

p_

(

p^q

)

p

ley de absorciÛn

J)

p^

(

p_q

)

p

ley de absorciÛn

K)

::p

 

p

L)

:

( p^q )

 

:p_:q

Primera ley de De Morgan

M)

p

!q

( p!q ) ^ ( q!p )

N)

q_C

 

q

ley de acotaciÛn

O)

p^T

 

p

ley de acotaciÛn

P)

p^:p

C

ley del complemento

Q)

p_:p

T

ley del complemento

R)

p!q

:p_q

Tabla 1

b ) Probar que cada proposiciÛn de la columna I es lÛgicamente equivalente a la proposiciÛn correspondiente en la columna II.

 

I

II

 

:

( p_q )

:p^:q

Segunda ley de De Morgan

p^C

C

p_T

T

p_q

:p!q

:

( p!q )

p^:q

p!q

:q!:p

Tabla 2

c ) Utilizando las equivalencias de las Tablas 1 y 2, obtener la negaciÛn de los enunciados del Ejercicio 3.

Facultad de IngenierÌa - UNLPam

MATEM£TICA DISCRETA

10. Determinar, sin construir tablas de verdad , cu·les de las siguientes implicaciones es una tautologÌa.

a ) p! ( q!p )

b ) (( p ! :q ) ^ :p ) ! q

c ) (( p _ q ) ^ r ) ! ( p _ ( q ^ r ))

11. Encontrar fÛrmulas lÛgicamente equivalentes a las siguientes en las que aparezcan solamente los conectivos : y ^ .

a) p $ q

b) ( p ^ q ) ! ( :p ^ r )

c) ( p ! q ) ! r

12. Analizar la validez de los siguientes argumentos por dos mÈtodos diferentes.

a ) p^q :p!q

b

)

:q

p q! ( s^t ) p! ( r^q )

s

c )

p

d ) p!q

q!s

:q

p!:q

r! ( s_p )

:s

r!s

13. Demostrar los siguientes argumentos utilizando el mÈtodo de resoluciÛn.

a ) p!:q

r_p

q_s

r_s

b ) p!q :p!r

q_r

c ) p!q

 

q!s

p!s

d ) r!s

 

q

p! ( q!r )

:p_s

e ) :p_t q!s r!t p_q_r_u

s_t_u

14. Analizar la validez de los siguientes argumentos:

a ) Si el reloj est· adelantado, entonces Juan llegÛ antes de las diez y vio partir el auto de AndrÈs. Si AndrÈs dice la verdad, entonces Juan no vio partir el auto de AndrÈs. O AndrÈs dice la verdad o estaba en el ediÖcio en el momento del crimen. El reloj est· adelantado. Por lo tanto, AndrÈs estaba en el ediÖcio en el momento del crimen.

b ) Si ganÈ la loterÌa, soy rico. No ganÈ la loterÌa. Por lo tanto, no soy rico.

c ) Si Tom·s tiene 17 aÒos, entonces tiene la misma edad que Juana. Si JoaquÌn tiene distinta edad que Tom·s, entonces JoaquÌn tiene distinta edad que Juana. Tom·s tiene 17 aÒos y JoaquÌn tiene la misma edad que Juana. Por lo tanto, JoaquÌn tiene la misma edad que Tom·s y Tom·s la misma edad que Juana.

d ) Si Carlos aumenta de peso, entonces abusÛ de dulces o abusÛ de pastas. Si Carlos no abusÛ de dulces, entonces est· mintiendo. Si Carlos est· mintiendo y aumenta de peso, entonces no abusÛ de pastas. Por lo tanto, Carlos abusÛ de dulces.

Facultad de IngenierÌa - UNLPam

MATEM£TICA DISCRETA

15. Considerar las siguientes hipÛtesis:

O el ladrÛn atravesÛ la puerta, o el delito fue cometido desde dentro y uno de los sirvientes est· implicado en Èl.DISCRETA 15. Considerar las siguientes hipÛtesis: El ladrÛn atravesÛ la puerta sÛlo si el cerrojo fue

El ladrÛn atravesÛ la puerta sÛlo si el cerrojo fue levantado desde dentro.desde dentro y uno de los sirvientes est· implicado en Èl. Uno de los sirvientes est·

Uno de los sirvientes est· implicado en el delito si el cerrojo fue levantado desde el interior.la puerta sÛlo si el cerrojo fue levantado desde dentro. øCu·les de las siguientes conclusiones pueden

øCu·les de las siguientes conclusiones pueden deducirse de dichas hipÛtesis?

a ) El delito fue cometido desde dentro.

b ) El ladrÛn atravesÛ la puerta o uno de los sirvientes est· implicado.

16. Los siguientes problemas fueron planteados inicialmente por Raymond Smullyan en su libro What Is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles , Prentice- Hall, Englewood Cli§s, NJ, 1978. Smullyan planteÛ muchos juegos lÛgicos acerca de una isla con dos clases de habitantes: caballeros, que siempre dicen la verdad, y sus opuestos, los villanos, que siempre mienten. Te encuentras a dos personas A y B habitantes de esa isla. Determina, si es posible, quÈ son A y B en cada caso. Si no puedes determinar quÈ son estas personas, øpuedes deducir alguna concusiÛn?

a ) A dice ìLos dos somos caballerosîy B dice ìA es un villanoî.

b ) A dice ìYo soy un villano o B es un caballeroîy B no habla.

c ) Tanto A como B dicen ìYo soy un caballeroî.

17. Demostrar que el cuadrado de un n˙mero par es un n˙mero par, utilizando:

a ) Una demostraciÛn directa.

b ) Una demostraciÛn por el absurdo.

18. Demostrar que si n es un n˙mero entero y 3 n +2 es un n˙mero par, entonces n es un n˙mero par, usando:

a ) Una demostraciÛn por el contrarrecÌproco.

b ) Una demostraciÛn por el absurdo.

19. Demostrar que si x; y 2 R entonces se veriÖca que jxj + jyj jx + yj . (Esta desigualdad se conoce como la desigualdad triangular.)

20. Sea n un n˙mero natural. Demostrar que n es un n˙mero impar si y sÛlo si 7 n + 4 es un n˙mero impar.

21. Demostrar que las siguientes tres sentencias son equivalentes:

a ) 3 x + 6 es un n˙mero par.

b ) x + 7 es un n˙mero impar.

Facultad de IngenierÌa - UNLPam

MATEM£TICA DISCRETA

c ) x es un n˙mero par.

22. Se denota por Q ( x; y ) el predicado ìx es la cuarta parte de y î. øCu·les son los valores de verdad de los siguientes enunciados? El dominio de ambas variables es el conjunto de los n˙meros reales.

a ) Q (30 ; 120)

b ) Q ( 5 ; 20)

c ) Q (4 ; 1)

d ) Q (0 ; 0)

23. Indicar el valor de verdad de cada uno de los siguientes enunciados, donde Q ( x ) es el predi- cado ìx + 1 > 2 x îy el dominio consiste en todos los enteros.

a ) Q (0)

c ) 9xQ ( x )

e ) 9x:Q ( x )

b ) Q (1)

d ) 8xQ ( x )

f ) 8x:Q ( x )

24. Sea P ( x ) el predicado ìx es mayor que yoî, siendo el dominio de x el conjunto de todos los estudiantes de la clase de Matem·tica Discreta. Expresar cada uno de los siguientes enunciados en lenguaje natural.

a ) 9xN ( x )

c ) :9xN ( x )

e )

:8xN ( x )

b ) 8xN ( x )

d ) 9x:N ( x )

f )

8x:N ( x )

25. Traducir los siguientes enunciados a lenguaje natural, donde C ( x ) es ìx es un caballoî, F ( x ) es ìx se usa para jugar al poloîy el dominio de x consiste en todos los animales.

a ) 8x ( C ( x ) ! F ( x ))

b ) 8x ( C ( x ) ^ F ( x ))

c ) 9x ( C ( x ) ! F ( x ))

d ) 9x ( C ( x ) ^ F ( x ))

26. Sea P ( x ) el predicado ìx sabe programar en Javaîy Q ( x ) ìx conoce el lenguaje de progra- maciÛn Cî. El dominio para la variable x consiste en todos los alumnos de la Facultad de

IngenierÌa. Expresar cada uno de los siguientes enunciados en tÈrminos de P ( x ) , Q ( x ) , cuan- tiÖcadores y conectivos lÛgicos. Luego formar la negaciÛn del enunciado de tal manera que ning˙n sÌmbolo de negaciÛn quede a la izquierda de un cuantiÖcador. Finalmente, expresar la negaciÛn de cada frase en lenguaje natural. (No usar simplemente las palabras ìNo se

cumple que

î).

a ) Hay un estudiante de la Facultad de IngenierÌa que sabe programar en Java pero no conoce el lenguaje de programaciÛn C.

b ) Ning˙n estudiante de la Facultad de IngenierÌa sabe programar en Java o conoce el lenguaje de programaciÛn C.

c ) Todos los estudiantes de la Facultad de IngenierÌa saben programar en Java y conocen el lenguaje de programaciÛn C.

d ) Hay un estudiante de la Facultad de IngenierÌa que no sabe programar en Java y no conoce el lenguaje de programaciÛn C.

27. Suponer que el dominio de la variable x consiste en los enteros 3 , 1 , 1 y 3 . Expresar los siguientes enunciados sin usar cuantiÖcadores, sÛlo disyunciones, conjunciones y negaciones. Indicar el valor de verdad de cada enunciado para el predicado P ( x ) x es imparî.

Facultad de IngenierÌa - UNLPam

MATEM£TICA DISCRETA

a ) 9xP ( x )

b ) 8xP ( x )

c ) 8x (( x 6= 1) ! P ( x ))

d ) 9x (( x 0) ^ P ( x ))

e ) ( 9x:P ( x )) ^ ( 8x ( x < 0) ! P ( x ))

28. Traducir cada una de estas frases a expresiones lÛgicas usando predicados, cuantiÖcadores y conectivos lÛgicos. EspeciÖcar en cada caso el dominio considerado.

a ) Todos tus compaÒeros de clase han nacido en la dÈcada del 90 y han aprobado £lgebra.

b ) Cada uno de tus compaÒeros ha nacido en la dÈcada del 90.

c ) Un compaÒero de clase que no ha nacido en la dÈcada del 90 no ha aprobado £lgebra.

d ) Ninguno de tus compaÒeros de clase ha aprobado £lgebra.

e ) No todos tus compaÒeros han nacido en la dÈcada del 90 y alguien ha aprobado £lgebra.

f ) Todos tus compaÒeros han nacido en la dÈcada del 90.

g ) No todos tus compaÒeros de clase han aprobado £lgebra.

29. Traducir cada uno de los siguientes enunciados al lenguaje natural y determinar su valor de verdad. El dominio para todas las variables es el conjunto de los n˙meros enteros.

a ) 9x ( x 7 = 0 ; 5)

b ) 8x ( x > 0)

c ) 9x8y ( x:y = y )

d ) 8x9y ( x>y )

e 8x8y (( x > y ) _ ( x y ))

)

f 8x8y ((( x < 0) ^ ( y < 0)) ! ( x:y > 0))

)

g ) 8x8y9z ( x:y = z )

30. Expresar cada uno de los siguientes enunciados usando operadores matem·ticos y lÛgicos, predicados y cuantiÖcadores. El dominio consiste en todos los enteros.

a ) La suma de dos enteros negativos es negativa.

b ) La diferencia de enteros positivos no es necesariamente positiva.

c ) La suma de los cuadrados de dos enteros es mayor o igual que el cuadrado de su suma.

d ) El valor absoluto del producto de dos enteros es el producto de sus valores absolutos.

31. Determinar el valor de verdad de cada uno de los siguientes enunciados si el dominio de todas las variables es el conjunto de los n˙meros reales. Luego traducirlos al lenguaje natural.

a ) 8x9y ( x 2 = y )

b ) 8x9y ( x = y 2 )

c ) 9x8y ( xy = 0)

d ) 9x9y ( x + y6=

y + x )

e ) 8x ( x 6= 0 ! 9y ( xy = 1))

f ) 9x8y ( y 6= 0 ! xy = 1)

g ) 8x9y ( x + y = 1)

h ) 9x9y (( x + 2 y = 2) ^ (2 x + 4 y = 5))

i ) 8x8y9z ( z = ( x + y ) = 2)

32. Reescribir cada uno de los siguientes enunciados de tal forma que las negaciones no aparezcan a la izquierda de alg˙n cuantiÖcador.

Facultad de IngenierÌa - UNLPam

MATEM£TICA DISCRETA

a ) :8x8yP ( x; y ) b ) :8y9xP ( x; y ) c ) :8x8y ( P ( x; y ) _ Q ( x; y ))

d ) : (( 9x9y:P ( x; y )) ^ ( 8x8yQ ( x; y )))

e ) :8x (( 9y8zP ( x; y; z )) ^ ( 9z8yP ( x; y; z )))

33. Si es posible, encontrar un contraejemplo para los siguientes enunciados. El dominio de las variables consiste en el conjunto de los n˙meros enteros.

a ) 8x8y ( x 2 = y 2 !x = y )

b ) 8x9y ( y 2 = x )

c ) 8x8y ( xy x )

0 BibliografÌa sugerida :

1) K. H. Rosen, Matem·tica Discreta y sus Aplicaciones, McGraw-Hill, Quinta EdiciÛn, 2004. CapÌtulo 1, secciones 1.1 a 1.5. 2) R. Johnsonbaugh, Matem·ticas Discretas, Pearson EducaciÛn. Sexta EdiciÛn, 2005. CapÌtulo 1.