U.P.O.L.

I SEDE ESTELI

RAZONAMIENTO MATEMATICO II UNIDAD: CUANTIFICADORES

Con%&n o sol&ci!n C&an i"icadores. Uni#ersal' c&an i"icador e(is encial. Ne)aci!n de "ormas proposicionales.

Trminos y predicados. Formas proposicionales. No aci!n de "ormas proposicionales Dominio de la #aria$le

OBJETIVOS: Aplicar la c&an i"icaci!n correc a de &na "orma proposicional simple o comp&es a en e%ercicios prop&es os. Desarrollar *a$ilidades y des re+as para ne)ar correc amen e "ormas proposicionales c&an i"icadas. Anali+ar la di"erencia en re &n c&an i"icador &ni#ersal y &n e(is encial median e s& aplicaci,n en "ormas proposicionales simples y comp&es as. TERMINOS Y PREDICADOS: TERMINOS: Un rmino es &na e(presi!n con la -&e se nombra o se designa un ni!o ob"e#o. En las proposiciones si)&ien es: Mar.a es mdico. Es e s/$ado *a$r/ %ornada de #ac&naci!n. Dos es menor -&e res. 0&an #a despacio. Son rminos: Mar.a' Es e s/$ado' Dos y res' 0&an PREDICADO: Ordinariamen e' en proposiciones a !micas el s&%e o de la proposici!n es &n rmino y el predicado es el res o de la proposici!n -&e dice al)o so$re el s&%e o. E%emplo: Minsa reali+a %ornadas de #ac&naci!n.

El rmino MINSA es el s&%e o de la proposici!n' y la "rase 1reali+a %ornadas de #ac&naci!n2 es el predicado. SIMBO$I%ACI&N: Minsa reali+a %ornadas de #ac&naci!n Represen aremos por 102 el predicado. 03 reali+a %ornadas de #ac&naci!n. Represen aremos por 1m2 el s&%e o. m3 Minsa. 4a "rase: Minsa reali+a %ornadas de #ac&naci!n' se p&ede sim$oli+ar de la si)&ien e manera: Sim$!licamen e: Jm

1Mar.a y Ana son *ermanas2' 4as "rase 1son hermanas2 es &n predicado. 4as en idades conec adas en es a "orma' Mar.a y Ana' se llaman Sim$!licamen e: F3 son *ermanas m'a3 Mar.a y Ana F5m'a6

Trminos.

U.P.O.L.I SEDE ESTELI

'ORMAS PROPOSICIONA$ES: Una proposici!n es &na e(presi!n de la -&e es posi$le decir 5en &n momen o y l&)ar de erminados6' si es #erdadera o "alsa. E%emplo: El cora+!n es &n !r)ano del apara o circ&la orio. El "m&r es el *&eso m/s cor o del c&erpo *&mano. En cam$io' la e(presi!n: 1 7 es &n !r)ano del apara o circ&la orio2 17 es &n *&eso de la e( remidad in"erior del c&erpo *&mano2 No represen an proposiciones' p&es no podemos asi)narle &n #alor de #erdad. 4lamamos #aria$le a &na le ra 5& o ro s.m$olo6 -&e p&ede ser s&s i &ida por &n elemen o c&al-&iera de &na colecci!n. 4os s.m$olos -&e represen an a cada elemen o par ic&lar de la colecci!n' son llamadas cons an es indi#id&ales. E%emplo: 1( es &n !r)ano del apara o circ&la orio2 D3 8Cora+!n' ar erias' #enas9 4a 172 es la #aria$le -&e p&ede omar #alores de la colecci!n D. Cada elemen o del con%&n o 1D2 se llaman cons an es indi#id&ales. 4as #aria$les y las cons an es indi#id&ales reci$en' colec i#amen e' el nom$re de Trminos. DE'INICION 'ORMA PROPOSICIONA$: Una "orma proposicional o (ro(osi!i)n abier#a es &na e(presi!n -&e con iene &na #aria$le al -&e al ser s&s i &ida por &n #alor de erminado' la e(presi!n se con#ier e en &na proposici!n. 17 es &n !r)ano del apara o circ&la orio2 Se con#ier e en &na proposici!n #erdadera si a la #aria$le la s&s i &imos por: cora+!n' ar erias' #enas. 17 es &n *&eso de la e( remidad in"erior del c&erpo *&mano2 Se con#ier e en &na proposici!n #erdadera si a la #aria$le la s&s i &imos por: Fm&r' i$ia' peron' r! &la' arso' me a arsos' "alan)es NOTACION: Se deno an las "ormas proposicionales median es le ras min:sc&las' 5como a las proposiciones6' poniendo al pie de la le ra la #aria$le o #aria$les -&e in er#ienen en ellas. 4as "ormas proposicionales poseen &n len)&a%e similar al de los predicados' e%emplo: ;5(6: 7 es &n !r)ano del apara o circ&la orio. ;odemos relacionar -&e &na "orma proposicional es &n (redi!ado sin su"e#o* DOMINIO DE $A VARIAB$E: El con%&n o de #alores posi$les de la #aria$le de &na proposici!n a$ier a se llama dominio de la #aria$le. E%emplo: ;5(6: 7 es &n *&eso de la e( remidad in"erior del c&erpo *&mano. D3 8Cora+!n' ar erias' #enas' Fm&r' i$ia' peron' r! &la9 CONJ+NTO SO$+CION El con%&n o "ormado por odos a-&ellos elemen os del dominio de la #aria$le *acen #erdadera la "orma proposicional ;576' ser/ llamado el con%&n o sol&ci!n de es a "orma proposicional. Con%&n o sol&ci!n: ,- . P/01 2 5con%&n o escri o por comprensi!n6

U.P.O.L.I SEDE ESTELI

;5(6: 7 es &n *&eso de la e( remidad in"erior del c&erpo *&mano. D3 8Cora+!n' ar erias' #enas' Fm&r' i$ia' peron' r! &la9 Con%&n o sol&ci!n: ,- . P/01 2 ,Fm&r' i$ia' peron' r! &la2

C+ANTI'ICADORES
Dada &na "orma proposicional' p&ede s&ceder -&e s a se con#ier a en &na proposici!n #erdadera para odos los posi$les #alores de la #aria$le'' solamen e para al)&nos #alores de la #aria$le' o para nin)&no de los #alore de la #aria$le.

C+ANTI'ICADOR +NIVERSA$
E%emplo: ;5(6: 7 es &n *&eso del o.do. D3 8el yunque, el martillo y el estribo9
5no "orman par e del es-&ele o *&mano' pero son i)&almen e impor an es.6

O$ser#emos -&e !ua34uiera de los elemen os del dominio al ser s&s i &idos en la proposici!n a$ier a la *acer #erdadera. In erpre aremos como sin!nimo de C+A$5+IERA: ;ARA TODO' ;ARA CADA' TODO. NOTACION: U ili+aremos el s.m$olo: +NIVERSA$* 4a e(presi!n: c&mple la proposici!n ;. VA$OR DE VERDAD DE:
(

llamaremos C+ANTI'ICADOR

< D' p5(6'

si)ni"ica -&e para odo elemen o del con%&n o D se

6 D7 (/-1

Si enemos &na e(presi!n a$ier a' p5(6 con dominio en D' y la c&an i"icamos' o$ enemos la e(presi!n
( (

< D' p5(6 es &na proposici!n y por lo an o endr/ s& respec i#o #alor de #erdad.

< D' p5(6: Ser/ "alsa si al menos &n elemen o 1(2 del dominio con#ier a a p5(6 en

&na proposici!n "alsa' y #erdadera si p5(6 se con#ier e en &na proposici!n #erdadera para c&al-&ier #alor en el dominio. En la e(presi!n:
-

6 D7 -89

Es &na proposici!n. Si el dominio de ( son odos los endremos la

n:meros reales' es o es D8 proposici!n =3> -&e es FA4SA.

' la proposici!n es FA4SA' ya -&e para (3=

En cam$io si el dominio de la #aria$le es D38>9

-

endremos:

6 D7 -89

es &na proposici!n ?ERDADERA ya -&e TODOS los #alores del dominio

son i)&ales a >. Si el dominio de la #aria$les es el con%&n o de los n:meros reales' de erminar el #alor de #erdad delas si)&ien es proposiciones. >.
-

7 -:;89

<*

7 ;- = <- 8 7-

U.P.O.L.I SEDE ESTELI

Es "alsa si *acemos (3@

Es #erdadera para c&al-&ier #alor de 7

C+ANTI'ICADOR E0ISTENCIA$
E%emplo: ;5(6: 7 es &n *&eso de la e( remidad in"erior del c&erpo *&mano. D3 8Cora+!n' ar erias' #enas' '>mur7 #ibia7 (eron>7 r)#u3a9 E(is en a3gunos elemen os del dominio -&e al ser s&s i &idos en la #aria$le de la proposici!n a$ier a la *acen #erdadera. 4a pala$ra A4AUNOS' si)ni"icar/: por lo menos &no. 4os c&an i"icadores: e(is en' al)&no' o' e(is e por lo menos &no se llaman C+ANTI'ICADORES E0ISTENCIA$ES* 4os c&an i"icadores e(is enciales se represen an:

Es e s.m$olo e(presar/ -&e la

proposici!n ser/ #erdadera siempre -&e la proposici!n a$ier a as. c&an i"icada sea #erdadera para al menos &n #alor de la #aria$le en el dominio. ?A4OR DE ?ERDAD: Una proposici!n con &n c&an i"icador e(is encial es #erdadera si y s!lo si el con%&n o sol&ci!n de la e(presi!n a$ier a no es ?a!@o. NOTACION:
(

< D' p5(6.

Con#ier a cada &na de las "ormas proposicionales en proposiciones #erdaderas. ;ara odo B < D' B C = 3 = C B >. B C = 3 = C y D3 8en eros9 =. 7 es "eo. D3 8insec os9 D. B C + 3 + C y D3 8en eros9 E. Todos los *om$res son al os. E(is e &n +' al -&e EZ G > 3 >> F. EZ G > 3 >> D3 8en eros9
H.

=(

>F

D3 8en eros9 D3 8m&%eres9

TRANSCRIIIR A4 4ENAUA0E SIMIO4ICO.

@. 7 es $ella.

>. Todo c&adrado es rec /n)&lo. =. Al)&nos n:meros son pares. D. Al)&nas naran%as son d&lces. E. Todos los *om$res son al os.

(' si 7 es &n c&adrado' en onces ( es &n rec /n)&lo.

NEAACION DE 4OS CUANTIFICADORES Analicemos las e(presiones: a6 Todos los *om$res son mor ales.
7

U.P.O.L.I SEDE ESTELI

$6 Al)&nos *om$res son mor ales. c6 Nin):n *om$re es mor al. d6 Al)&nos *om$res no son mor ales.

FORMA SIMIO4ICA: p576: ( es mor al. En enderemos por dominio de la #aria$le: D3 8*om$res9
a6 $6 c6 d6
( (

' p5(6 ' p5(6 ' Jp5(6

' J p5(6 ' p5(6'

;ara ne)ar &na proposici!n -&e en)a &n c&an i"icador &ni#ersal de la "orma

se cam$ia es e c&an i"icador por el e(is encial y se nie)a la proposici!n a$ier a. E%emploK NEAAR 4A ;RO;OSICION

Todos los *om$res son mor ales. A/ - 7 (/-1 1 ES ELUI?A4ENTE A: Nin):n *om$re es mor al. A/ - ' Jp5(6 6 ES ELUI?A4ENTE A:

7 A (/-1

7 (/-1

;ara ne)ar &na proposici!n -&e con en)a &n c&an i"icador e(is encial se cam$ia es e c&an i"icador a &ni#ersal y se nie)a la proposici!n a$ier a NEAAR 4A ;RO;OSICION

Al)&nos *om$res son mor ales.

A/
-

7 (/-1 1

ES ELUI?A4ENTE A:

7 A (/-1

En!uen#re 3a nega!i)n de !ada una de 3as siguien#es (ro(osi!iones* a6

(

< D' al -&e ( es mayor -&e >F. < D' 7 ES MENOR O IAUA4 LUE >F.

$6

< D' 5 7 C E 6 5 ( G E 6 3 7= G >H

< D' TA4 LUE 5 7 C E 6 5 ( G E 6

7= G >H

U.P.O.L.I SEDE ESTELI

c6 Al)&nos n:meros son ne)a i#os.

Nin):n n:mero es ne)a i#o.

RAZONAMIENTO MATEMATICO II UNIDAD: CUANTIFICADORES >. C&an i"icaci!n de proposiciones =. ?alor de #erdad D. Ne)aci!n de proposiciones PRACTICA >. C4ASIFICA 4OS ENUNCIADOS DADOS EN: ;RO;OSICION 4OAICA B FORMAS ;RO;OSICIONA4ES. a. Si ( es real' en onces 7 C M 3 M $. = N D 3 >H c. 7 O = d. = C P 3 P C = e. 7= C > 3 M =. DADA 4A FORMA ;RO;OSICIONA4 P/ 0 6 ENCONTRAR EN CADA E4 CON0UNTO SO4UCIQN 5CONSTANTES INDI?IDUA4ES6 LUE RAAAN ?ERDADERA A P/ 0 1 ;5(6: ( es &n n:mero primo. U38 >' =' D' E' F' H' SS..' =M9
;5(6: 7 es &n *&eso del o.do. ;5(6: U3 8el yunque, el martillo ,estribo9 U3 8 estmago, corazn, h ga!o,

7 es &n !r)ano del apara o di)es i#o.

"#ncreas9
;5(6: 7 es &n *&eso del o.do. U3 8el yunque, el martillo ,estribo9

;5(6: (= C > 3 M ;5(6: ( es el c&adrado de D.

U38 >' =' D' E'9 U38 >' =' D' E' F' H' SS..' >M9

D. CUANTIFICAR 4AS FORMAS ;RO;OCIONA4ES DE 4OS E0ERCICIOS DE 4A PABINA C* EJEMP$O: Escri$ir sim$!licamen e la e(presi!n: a. r: ;ara cada en ero n' si n es par' en onces n = C >T es primo. $. s: E(is e &n n:mero real (' al -&e ( . 3 = = 7 C> F Sol&ci!n: a. dominio de la #aria$le es el con%&n o de n:meros en eros.
7

U.P.O.L.I SEDE ESTELI

U3 8 en eros9 En el condicional: p5n6: n es par -5n6: n= C >T es primo r3 U p5n 6 V -5n6 W es el con%&n o de n:meros en eros. ( ( ' . 3 = 7= C > 5(6

en "orma sim$!lica: $. dominio de la #aria$le U3 8 Reales 9 En el condicional: 5(6: -&e En "orma sim$!lica: s3