P. 1
Ejercicios de Cuantificadores

Ejercicios de Cuantificadores

4.0

|Views: 11.165|Likes:
Publicado porEl Prepo

More info:

Published by: El Prepo on May 14, 2009
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

11/09/2015

pdf

text

original

Cuantificadores

1.

Identifique cual de los siguientes enunciados con cuantificadores es una equivalencia válida: a) ù $ x p(x) º ù " x p(x)

b)

"x [ p(x) Ú q(x) ] º " x p(x) Ú " x q(x)

c) d)

A [ p(x) Þ q(x) ] º A ù q(x) È A p(x) ù $ [ p(x) Þ q(x) ] º " x [ ù q(x) Ù p(x) ]

e)

ù " x [ p(x) Þ ù q(x) ] º $ x [ p(x) Þ q(x) ]

2.

Una de las siguientes proposiciones es FALSA, identifíquela. a) En una enunciación hipotética verdadera, es suficiente que la hipótesis sea verdadera para pensar que la conclusión es también verdadera. b) [ p Þ ( q Þ p ) ] º 1 c) ( p

Þq)º(ùqÞùp) Î(A-B)º(xÎA)Úù(xÎB)

d) Si A y B son conjuntos no vacíos, entonces x e) Sí N(Re) > 1; entonces,

"x p(x) Þ $x p(x)

3.

Si N (Re) > 1, entonces una proposición verdadera es: a) ù $ x p(x) º ù "x p(x) b) "x ( p(x) Ú q(x) ] º " x p(x) Ú " x q(x) c) A [ p(x) Þ q(x) ] º A ù q(x) È A p(x) d) ù $ x [ p(x) Þ q(x) ] º " x [ ù q(x) Ù p(x) ] e) ù " x [ p(x) Þ ù q(x) ] º $ x [ p(x) Þ q(x) ]

4.

Determine cuál de las siguientes proposiciones es FALSA a) b) c) d) e) ù ( $ x p(x) ) º "x ( ù p(x) ) xÎ(A (AÇB)ºxÎ(A B) n(A B)

n(A B)=n(A)+n(B) ( A Ç B )C = ( A

B)È(B-A)

Una de las siguientes proposiciones anteriores es Falsa

5.

Una de las proposiciones siguientes es verdadera, identifíquela: a) " x Î { -1, 0, 1 } $ y Î { 1, 0 } [ x + y = 3 ] b) " x Î { -1, 0, 1 } " y Î { 1, 0 } [ x + y Î N ] c) $ x Î { -1, 0, 1 } " y Î { 1, 0 } [ x + y = y ] d) $ x Î { -1, 0, 1 } $ y Î { 1, 0 } [ y = 2x ] e) " x Î { -1, 0, 1 } $ y Î { 1, 0 } [ x = y ]

6.

Una de las siguientes proposiciones es verdadera, identifíquela: a) " x Î { 1, 2 }, $ y Î { 0, 1, 2 } [ x + y = y ] b) $ y Î { 0, 1, 2 } "x Î A = { 1, 2 } [ x < y ] c) $ y Î { 0, 1, 2 } "x Î { 1, 2 } [ x £ y ] d) " m Î N " n Î N [ ( m n)£2]

e) $ x Î { 0, 1, 2 } $ y Î { 1, 2 } [ ( x2 + 2 y2 ) ³ 15 ] 7. Una de las siguientes proposiciones es falsa. Identifíquela: a) Si el referencial es unitario, ( $ x p(x) º "x p(x) ) b) Si el referencial es unitario, ( $ x p(x) Þ "x p(x) ) c) Si el referencial tiene más de un elemento, ( "x p(x) Þ $ x p(x) ) d) ù " x p(x) º $ x [ ù p(x) ] e) ù $ x [ ù p(x) ] º " x [ ù p(x) ]

8.

La traducción en lenguaje simbólico de la afirmación: No todo número impar es divisible para 5 , utilizando: p(x): x es número impar; q(x): x es número divisible para 5; es: a) " x [ q(x) Ù ù p(x) ] b) " x [ p(x) Þ ù q(x) ] c) $ x [ p(x) Ù ù q(x) ] d) ù [ $ x p(x) Ù q(x) ] e) Ninguna de las anteriores

9.

Identifique cuál de las siguientes proposiciones es FALSA: a) ( x Î A ) Ù [ ù ( x Î A ) Ú ( x Î B ) ] º [ ( x Î A ) Ù ( x Î B ) ] b) [ x Î ( Re A ) ] Ú [ x Î ( Re B ) ] º ( x Î Re ) Ù [ ù ( x Î A ) Ú ( x Î B ) ]

c) Si ù ( Re = Æ ): [ " x p(x) Þ $ x p(x) ] d) (" x p(x) º 1 ) º ù ( A p (x) = Æ ) e) Si todas las anteriores son verdaderas marque esta casilla

10. Identifique cual de las siguientes proposiciones es falsa: a) b) c) d) e)

" x[p( x ) Ù q( x) ] º (" xp( x)) Ù ( " xq(x )) $ x[p( x) Ú q( x )] º ( $xp( x )) Ú ($ xq(x )) " x[p( x ) Ú q(x )] º ( " xp( x)) Ú ( " xq(x )) Ø" xp(x ) º $xØp(x )
Ø $ x[p(x ) Þ q( x )] º " x[p( x) Ù Øq(x) ]

11. La negación lógica del siguiente enunciado: $ y $ x [ p(x) Þ ù q(y) ] es: a) $ x $ y ù [ p(x) Þ ù q(y) ] b) ù " y " x [ ù q(y) Þ p(x) ] c) " y " x [ p(x) Ù q(y) ] d) " y " x [ ù q(y) Ú p(x) ] e) " y " x ù [ p(x) Ù q(y) ]

12. Si se tiene la siguiente proposición: ù [ "x p(x) Þ ùq(x) ]; entonces una de las siguientes alternativas es EQUIVALENTE. a) b) c) d) e) $x p(x) Þ q(x) $x p(x) Ú q(x) "x p(x) Þ ùq(x) $x p(x) Ù q(x) "x ùq(x) Ú ùp(x)

Traducción de expresiones cotidianas con cuantificadores

13. Sea Ref = { a, e, i, o, u } y p(x) un predicado cualquiera, una de las siguientes proposiciones es verdadera. Identifíquela: e) "x p(x) Þ $ x p(x) f) $ x p(x) Þ "x p(x)

g) $ x p(x) º "x p(x) h) ( "x p(x) = 0 ) Þ ( "x p(x) = Æ ) i) ($ x p(x) º 1 )

14. Considere Re = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 } y los predicados p(x): ( x - 2 ) ( x 4 ) = 0, q(x): x es par y r(x): x es múltiplo de 3 x 4 , entonces es VERDAD que: a) A p(x) Í A q(x) b) A r(x) - A p(x) = Æ c) A q(x) - A p(x) = A r(x) d) A ù p(x) = { 1, 3, 5, 6, 7, 8, 9, 10 } e) A p(x) Ç A q(x) = { 2 }

15. Sea Re = R y los predicados p(x): x es un número impar y q (x): x es un número par entonces es verdad que: a) N Í A p(x) b) A p(x) = Ac q(x)

c) Re = A p(x) È A q(x) d) A q(x) e) A p(x) =F A ( p(x) Þ q(x)) = Ac p(x)

16. Dado el conjunto referencial Re = { -3, -2, -1, 1, 2, 3 } y los predicados p(x) : x ( x + 2 ) = 0 q(x) : x Entonces, es verdad que : a) b) c) d) e) -1 Î A [ p(x) Ù q(x) ] A [ p(x) Ú q(x) ] = Æ A [ p(x) Þ q(x) ] = Re A [ ~q(x) ] = { -3, -2, -1 } A [ p(x) Þ q(x) ] = Æ
2

>0

17. Sea Re ={1,2,3,4,...}y los predicados p(x): x es un número impar q(x): x es un número par Entonces una de las siguientes proposiciones es FALSA, identifíquela. a) b) c) d) e) A [ p(x) Þ q(x) ] Í A q(x) A p (x) = AC q(x) A q(x) A p(x) = Æ

Re = A p(x) È A q(x) A [ p(x) Þ q(x) ] = AC p(x)

Razonamientos con Cuantificadores

18. Comprobar si el siguiente razonamiento es VALIDO. H1: Todos los números enteros son racionales H2: Algunos números reales son enteros C: Algunos números reales son racionales. a) Valido b) Falacia

19. Considere las siguientes premisas de un razonamiento: P1: Todos los números racionales son reales P2: Ningún número imaginario es real P3: Algunos números complejos son reales Entonces una conclusión para que el razonamiento sea válido es: a) Ningún número racional es complejo b) Ningún número complejo es real c) Existen números complejos que son imaginarios d) Ningún número imaginario es racional e) Marque esta casilla si ninguna conclusión es lógicamente inferida de las premisas.

20. Considerando las siguientes premisas H1: Todo Kin es Kon H2: Ningún Kon es Kan H3: Algunos Kun son Kon Una CONCLUSIÓN VÁLIDA es: a) Algunos Kin es Kon b) Todo Kon es Kun c) Todo Kon es Kan d) Algunos Kun son Kin e) Algunos Kun no son Kan

21. Dadas las siguientes hipótesis: H1: Todo profesional tiene título. H2: Ningún irresponsable tiene título. H3: Algunos profesores tienen título. Entonces una CONCLUSIÓN que se puede inferir de las premisas anteriores es: a) Ningún profesional es profesor. b) Ningún profesor tiene título. c) Existen profesores que son irresponsables. d) Ningún irresponsable es profesional. e) Marque esta casilla si las todas conclusiones anteriores no se infieren de las premisas.

22. Dadas las siguientes premisas: P1 : Todos los contribuyentes son honestos. P2 : Todos los honestos son especiales. Entonces una CONCLUSIÓN LÓGICAMENTE INFERIDA de las premisas es: a) Algunos contribuyentes no son especiales. b) Todas las personas especiales son contribuyentes. c) Todos los contribuyentes son especiales. d) Ningún contribuyente es especial. e) Marque esta casilla si premisas dadas. ninguna de las conclusiones anteriores se infieren de las

23. Considere las premisas de un razonamiento: P1: Todos los vegetarianos son sanos, P2: Algunos sanos comen carne de res, P3: Todos los vegetarianos no comen carne de res, P4: Algunos vegetarianos tienen vicios. Entonces una conclusión para que el razonamiento sea válido es: a) b) c) d) e) Algunas personas que tienen vicios, no comen carne de res Algunas personas que no tienen vicios comen carne de res Todos los que no son vegetarianos comen carne de res Todos los viciosos son sanos Todos los viciosos comen carne de res

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->