Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
46Activity
0 of .
Results for:
No results containing your search query
P. 1
Ejercicios de Cuantificadores

Ejercicios de Cuantificadores

Ratings:

4.0

(1)
|Views: 10,656 |Likes:
Published by El 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

08/21/2013

pdf

text

original

Cuantificadores
1. Identifique cual de los siguientes enunciados con cuantificadores es una
equivalencia v\u00e1lida:
a)\u00f9 $ x p(x)\u00ba\u00f9" x p(x)

b)"x [ p(x)\u00da q(x) ]\u00ba" x p(x)\u00da" x q(x)
c) A [ p(x)\u00de q(x) ]\u00ba A\u00f9 q(x)\u00c8 A p(x)
d)\u00f9 $ [ p(x)\u00de q(x) ]\u00ba" x [\u00f9 q(x)\u00d9 p(x) ]
e)\u00f9 " x [ p(x)\u00de\u00f9 q(x) ]\u00ba$ x [ p(x)\u00de q(x) ]

2. Una de las siguientes proposiciones es FALSA, identif\u00edquela.
a) En una enunciaci\u00f3n hipot\u00e9tica verdadera, es suficiente que la hip\u00f3tesis sea verdadera
para pensar que la conclusi\u00f3n es tambi\u00e9n verdadera.

b) [ p\u00de ( q\u00de p ) ]\u00ba 1
c) ( p\u00de q )\u00ba (\u00f9 q\u00de\u00f9 p )
d) Si A y B son conjuntos no vac\u00edos, entonces x\u00ce ( A - B )\u00ba ( x\u00ce A )\u00da\u00f9 ( x\u00ce B )
e) S\u00ed N(Re) > 1; entonces,"x p(x)\u00de$x p(x)

3. Si N (Re) > 1, entonces una proposici\u00f3n verdadera es:
a)\u00f9 $ x p(x)\u00ba\u00f9"x p(x)

b)"x ( p(x)\u00da q(x) ]\u00ba" x p(x)\u00da" x q(x)
c) A [ p(x)\u00de q(x) ]\u00ba A\u00f9 q(x)\u00c8 A p(x)
d)\u00f9 $ x [ p(x)\u00de q(x) ]\u00ba" x [\u00f9 q(x)\u00d9 p(x) ]
e)\u00f9 " x [ p(x)\u00de\u00f9 q(x) ]\u00ba$ x [ p(x)\u00de q(x) ]

4. Determine cu\u00e1l de las siguientes proposiciones es FALSA

a)\u00f9 ($ x p(x) )\u00ba"x (\u00f9 p(x) )
b) x\u00ce ( A\ue000 ( A\u00c7 B )\u00ba x\u00ce ( A\ue000 B )
c) n ( A B ) = n ( A ) + n ( B )\ue000 n ( A B )
d) ( A\u00c7 B )C = ( A\ue000 B )\u00c8 ( B - A )
e) Una de las siguientes proposiciones anteriores es Falsa

5. Una de las proposiciones siguientes es verdadera, identif\u00edquela:

a)" x\u00ce { -1, 0, 1 }$ y\u00ce { 1, 0 } [ x + y = 3 ]
b)" x\u00ce { -1, 0, 1 }" y\u00ce { 1, 0 } [ x + y\u00ce N ]
c)$ x\u00ce { -1, 0, 1 }" y\u00ce { 1, 0 } [ x + y = y ]
d)$ x\u00ce { -1, 0, 1 }$ y\u00ce { 1, 0 } [ y = 2x ]
e)" x\u00ce { -1, 0, 1 }$ y\u00ce { 1, 0 } [ x = y ]

6. Una de las siguientes proposiciones es verdadera, identif\u00edquela:

a)" x\u00ce { 1, 2 },$ y\u00ce { 0, 1, 2 } [ x + y = y ]
b)$ y\u00ce { 0, 1, 2 }"x\u00ce A = { 1, 2 } [ x < y ]
c)$ y\u00ce { 0, 1, 2 }"x\u00ce { 1, 2 } [ x\u00a3 y ]
d)" m\u00ce N" n\u00ce N [ ( m\ue000 n )\u00a3 2 ]
e)$ x\u00ce { 0, 1, 2 }$ y\u00ce { 1, 2 } [ ( x2 + 2 y2 )\u00b3 15 ]

7. Una de las siguientes proposiciones es falsa. Identif\u00edquela:

a) Si el referencial es unitario, ($ x p(x)\u00ba"x p(x) )
b) Si el referencial es unitario, ($ x p(x)\u00de"x p(x) )
c) Si el referencial tiene m\u00e1s de un elemento, ("x p(x)\u00de$ x p(x) )
d)\u00f9 " x p(x)\u00ba$ x [\u00f9 p(x) ]
e)\u00f9 $ x [\u00f9 p(x) ]\u00ba" x [\u00f9 p(x) ]

8. La traducci\u00f3n en lenguaje simb\u00f3lico de la afirmaci\u00f3n:\ue001No todo n\u00famero impar es
divisible para 5\ue002, utilizando:
p(x): x es n\u00famero impar; q(x): x es n\u00famero
divisible para 5; es:

a)" x [ q(x)\u00d9\u00f9 p(x) ]
b)" x [ p(x)\u00de\u00f9 q(x) ]
c)$ x [ p(x)\u00d9\u00f9 q(x) ]
d)\u00f9 [$ x p(x)\u00d9 q(x) ]
e) Ninguna de las anteriores

9. Identifique cu\u00e1l de las siguientes proposiciones es FALSA:

a) ( x\u00ce A )\u00d9 [\u00f9 ( x\u00ce A )\u00da ( x\u00ce B ) ]\u00ba [ ( x\u00ce A )\u00d9 ( x\u00ce B ) ]
b) [ x\u00ce ( Re\ue000 A ) ]\u00da [ x\u00ce ( Re\ue000 B ) ]\u00ba ( x\u00ce Re )\u00d9 [\u00f9 ( x\u00ce A )\u00da ( x\u00ce B ) ]
c) Si\u00f9 ( Re =\u00c6 ): [" x p(x)\u00de$ x p(x) ]
d) (" x p(x)\u00ba 1 )\u00ba\u00f9 ( A p (x) =\u00c6 )
e) Si todas las anteriores son verdaderas marque esta casilla

10. Identifique cual de las siguientes proposiciones es falsa:

a)"x[p(x)\u00d9 q(x)]\u00ba ( "xp(x))\u00d9 ( "xq(x))
b)$x[p(x)\u00da q(x)]\u00ba ( $xp(x))\u00da ( $xq(x))
c)"x[p(x)\u00da q(x)]\u00ba ( "xp(x))\u00da ( "xq(x))
d)\u00d8"xp(x)\u00ba $x\u00d8 p(x)

e)\u00d8$x[p(x) \u00deq(x)] \u00ba"x[p(x) \u00d9 \u00d8q(x)]

You're Reading a Free Preview

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