Issuu on Google+

3URI/HRQDUGR$+HUQiQGH]5843,6&7/)

7HRULDGH/HQJXDMHV )RUPDOHV  /yJLFDPDWHPiWLFD



/DLPSOLFDFLyQ  (Q OD LPSOLFDFLyQ

4

3 → 4  3  VH FRQRFH

FRPR OD FRQGLFLyQ HO DQWHFHGHQWH R OD KLSyWHVLV





VH

FRQRFH

FRPR

OD

FRQFOXVLyQHOFRQVHFXHQWHRODWpVLV

,QWURGXFFLyQ





/DV SURSRVLFLRQHV UHODFLRQDGDV FRQ OD

/D OyJLFD PDWHPiWLFD HVWXGLD ODV UHJODV GHO

SHQVDPLHQWR

FRQRFLPLHQWR

GHGXFWLYR

SXHGH

D\XGDU

 D

3 →4 4 → 3 ¬3 → ¬ 4  ¬4 → ¬3 

5HFtSURFD



RFRQWUDSXHVWD

LPSOLFDFLyQVRQODVVLJXLHQWHV

(VWH ODV

SHUVRQDV D PHMRUDU VX IRUPD GH UD]RQDU GHGXFWLYDPHQWH  7DPELpQ VH XWLOL]D HQ ,QWHOLJHQFLD DUWLILFLDO SDUD ORJUDU TXH ODV PiTXLQDVUHDOLFHQLQIHUHQFLDV 

*HQHUDOLGDGHV 

'LUHFWD

&RQWUDULD &RQWUDUUHFtSURFD

 



7DEODGHYDORUHVGHYHUGDG

3URSRVLFLyQ

3  ¬3 



 'HILQLFLyQ (V XQD IUDVH GH OD FXDO VH SXHGHGHWHUPLQDUVLHVYHUGDGHUDRIDOVD



9

3 4 3 ∧4 3∨4 3 →4 3 ↔ 4

/OXHYH



(OSDVWRHVYHUGH



9

/DVVLJXLHQWHVQRVRQSURSRVLFLRQHV

-

)

)



/DVVLJXLHQWHVVRQSURSRVLFLRQHV

-

9











9

9

9

9

9 )

9

)

)

9

)

$GLyV

)

9

)

9

9

)

(VWDIUDVHHVIDOVD

)

)

)

)

9

9





(O ~OWLPR HMHPSOR HV XQD YHUVLyQ VHQFLOOD



GHODSDUDGRMDGH(SLPpQLGHV

7DXWRORJtD







'HILQLFLyQ

&RQHFWRUHVOyJLFRV

VLHPSUHHVYHUGDGHUD





/RVFRQHFWRUHVOyJLFRVVRQORVVLJXLHQWHV

∧ ∨ ¬ → ↔

(MHPSOR

\



R

XQD

SURSRVLFLyQ

TXH

3 ∨ ¬3 

SURSRVLFLRQHVWLHQH

HQWRQFHV



VL\VRORVL

QRPEUHV

3 ∧4  3∨4 ¬3  3 →4 3 ↔ 4

(V

/D WDEOD GH YDORUHV GH YHUGDG SDUD

QR



 /RV



GH

ODV

SURSRVLFLRQHV

UHVXOWDQWHVVRQORVVLJXLHQWHV FRQMXQFLyQ GLV\XQFLyQ QHJDFLyQ LPSOLFDFLyQ HTXLYDOHQFLD



2 Q FRPELQDFLRQHV

Q


3URI/HRQDUGR$+HUQiQGH]5843,6&7/)

(MHUFLFLR





/H\FRQPXWDWLYD

( 3 ∧ 4) ↔ (4 ∧ 3 ) 

'HPRVWUDU XVDQGR OD WDEOD GH YDORUHV GH YHUGDG TXH OD VLJXLHQWH SURSRVLFLyQ HV



XQDWDXWRORJtD



( 3 ∨ 4) ↔ (4 ∨ 3 ) 



/H\FRQPXWDWLYD

3 → 4 ↔ ¬4 → ¬3 









¬[( 3 → 4) ∨ ¬5 ] ↔ 3 ∧ ¬4 ∧ 5 

( 3 ∧ 4) ∧ 5 ↔ 3 ∧ (4 ∧ 5 ) 



/H\$VRFLDWLYD





¬( 3 ∧ 4) ↔ ¬3 ∨ ¬4 







( 3 ∨ 4) ∨ 5 ↔ 3 ∨ (4 ∨ 5 ) 

/H\$VRFLDWLYD

¬( 3 → 4 ) ↔ ( 3 ∧ ¬4) 

 



( 3 ∧ 3) ↔ 3 





7DXWRORJtDV%iVLFDV





( 3 ∨ 3) ↔ 3 



 



¬(¬3 ) ↔ 3 

/H\GHGREOHQHJDFLyQ



3 ∧ (4 ∨ 5 ) ↔ ( 3 ∧ 4 ) ∨ ( 3 ∧ 5 ) 

/H\GLVWULEXWLYD

 



¬( 3 ∧ 4) ↔ (¬3 ∨ ¬4) 

\VHGHQRPLQDQ/H\HVGH0RUJDQ



( 3 ∨ 4) ∧ 5 ↔ ( 3 ∧ 5 ) ∨ (4 ∧ 5 ) 

/H\GLVWULEXWLYD



¬( 3 ∨ 4) ↔ (¬3 ∧ ¬4) 





/H\GLVWULEXWLYD





3 ∨ (4 ∧ 5 ) ↔ ( 3 ∨ 4 ) ∧ ( 3 ∨ 5 ) 

( 3 → 4 ) ↔ ( ¬3 ∨ 4 ) 









/H\GLVWULEXWLYD



( 3 ∧ 4) ∨ 5 ↔ ( 3 ∨ 5 ) ∧ (4 ∨ 5 ) 

( 3 ↔ 4) ↔ ( 3 → 4 ) ∧ (4 → 3 ) 







/H\GHGREOHLPSOLFDFLyQ

( 3 ↔ 4 ) ↔ ( ¬3 ↔ ¬4) 



( 3 ∧ 4) → 3 











6LPSOLILFDFLyQ



( 3 ∧ 4) → 4 

6LPSOLILFDFLyQ

 

3 → 3∨4

$GLFLyQ

 

3 →4∨ 3

$GLFLyQ



( 3 → 4 ) ↔ ( ¬ 4 → ¬3 ) 








3URI/HRQDUGR$+HUQiQGH]5843,6&7/)



&RQWUDMHPSOR 

 7pFQLFD GH GHPRVWUDFLyQ TXH VH XWLOL]D SDUD

GHPRVWUDU

TXH

XQD

SURSRVLFLyQ

FXDQWLILFDGDXQLYHUVDOPHQWHHVIDOVD 

(MHUFLFLRV  'HPXHVWUD OD IDOVHGDG GH ODV VLJXLHQWHV SURSRVLFLRQHV   7RGRV ORV HVWXGLDQWHV GH OD 8QLYHUVLGDG GHO4XLQGtRWLHQHQDxRV 

∀[,2 [ > [ HQHOFRQWH[WRGHORVQ~PHURV



UHDOHV 

∀[, [ HV LPSDU → [ HV GLYLVLEOH SRU WUHV



HQHOFRQWHVWRGHORVQ~PHURVQDWXUDOHV  




3URI/HRQDUGR$+HUQiQGH]5843,6&7/)

7HRUtDGHFRQMXQWRV



)RUPDGHH[SUHVDUORVFRQMXQWRV







/RV

,QWURGXFFLyQ

FRQMXQWRV

SXHGHQ

H[SUHVDUVH

SRU

H[WHQVLyQRSRUFRPSUHVLyQ





/D 7HRUtD GH /HQJXDMHV )RUPDOHV HVWi

(Q OD H[SUHVLyQ SRU H[WHQVLyQ VH GD OD

EDVDGDHQOD7HRUtDGH&RQMXQWRV

OLVWDVHSDUDGDSRUFRPDVGHORVHOHPHQWRV



GHOFRQMXQWR

/D FRQVWUXFFLyQ GH FRPSLODGRUHV VH EDVD



HQOD7HRUtDGH&RQMXQWRV

(MHPSOR^`







(O PRGHOR UHODFLRQDO GH OD EDVHV GH GDWRV

(Q OD H[SUHVLyQ SRU H[WHQVLyQ QR LQWHUHVD

HVWiEDVDGRHQOD7HRUtDGH&RQMXQWRV

HORUGHQHQTXHVHHVFULEHQORVHOHPHQWRV



3RUHMHPSOR

/D 7HRUtD GH 3UREDELOLGDGHV WDPELpQ VH



EDVDHQOD7HRUtDGH&RQMXQWRV

^`



^`



*HQHUDOLGDGHV 

/RV HOHPHQWRV UHSHWLGRV HQ OD OLVWD GH HOHPHQWRV GH XQ FRQMXQWR H[SUHVDGR SRU



H[WHQVLyQVRORFXHQWDQSRUXQHOHPHQWR

,GHDVSULPLWLYDV

 ^`

 /DV

LGHDV

SULPLWLYDV

HQ

7HRUtD

^`



GH

&RQMXQWRV VRQ ODV LGHDV GH FRQMXQWR GH

(Q OD H[SUHVLyQ SRU FRPSUHQVLyQ VH GD

HOHPHQWR\GHODUHODFLyQGHSHUWHQHQFLD

XQD



HOHPHQWRV GHO FRQMXQWR \ QDGD PiV TXH

(MHPSOR$

SURSLHGDG

TXH

LGHQWLILFD

ORVHOHPHQWRVGHOFRQMXQWR3RUHMHPSOR

^`





^[_[HVXQQ~PHURHQWHUR\[!`

&RQMXQWR$ 

(OHPHQWRV 5HODFLRQHVGHSHUWHQHQFLD

∈ $ ∈ $  ∈ $









ORV






3URI/HRQDUGR$+HUQiQGH]5843,6&7/)

'HILQLFLRQHV

'HPRVWUDFLRQHV





 8Q FRQMXQWR FRQMXQWR

%

$

3DVRVYiOLGRV HV VXEFRQMXQWR GH XQ



[∈0 ∧ 0 ⊆ 1 → [∈1 

VL WRGRV ORV HOHPHQWRV GHO



SULPHU FRQMXQWR WDPELpQ SHUWHQHFHQ DO VHJXQGRFRQMXQWR 



$ ⊆ % ↔ ∀[, [ ∈ $ → [ ∈ % 

[∈0 ∪ 1 ↔ [∈0 ∨ [∈ 1 







 'RV FRQMXQWRV

[∉0 ∪ 1 ↔ [∉0 ∧ [∉ 1 

$ \ % VRQ LJXDOHV VL FDGD



XQRHVVXEFRQMXQWRGHORWUR 

$ = % ↔ $ ⊆ % ∧ % ⊆ $



[∈0 ∩ 1 ↔ [∈0 ∧ [∈ 1 







 /D XQLyQ GH GRV FRQMXQWRV FRQMXQWR

FRQIRUPDGR

SRU

[∉0 ∩ 1 ↔ [∉0 ∨ [∉ 1 

$ \ % HV HO WRGRV



ORV



HOHPHQWRVGHDPERVFRQMXQWRV 

$ ∪ % = {[ | [ ∈ $ ∨ [ ∈ %}

[∈0 − 1 ↔ [∈0 ∧ [∉ 1 

 



  /D LQWHUVHFFLyQ GH GRV FRQMXQWRV

[∉0 − 1 ↔ [∉0 ∨ [∈ 1



$ \ % HV

HO FRQMXQWR GH ORV HOHPHQWRV FRPXQHV D



ORVGRVFRQMXQWRV





[∈0 ↔ [∉0

$ ∩ % = {[ | [ ∈ $ ∧ [ ∈ %} 

[∉0 ↔ [∈0



 /D GLIHUHQFLD FRQMXQWR

$  % GH GRV FRQMXQWRV HV HO

FRQIRUPDGR

SRU

WRGRV





ORV



HOHPHQWRV GHO SULPHU FRQMXQWR TXH QR

(MHUFLFLRV

SHUWHQHFHQDOVHJXQGRFRQMXQWR

$ − % = {[ | [ ∈ $ ∧ [ ∉ %} 

 'HPRVWUDUODVVLJXLHQWHVSURSLHGDGHV 





 (O FRPSOHPHQWR GH XQ FRQMXQWR

$− % = $∩ % 

6HDQ

$ HVWD

FRQIRUPDGR SRU WRGRV ORV HOHPHQWRV GHO

$

 (OSURGXFWRFDUWHVLDQR

\

%

FRQMXQWRV

HQWRQFHV

%

FRQMXQWRV

HQWRQFHV

%

FRQMXQWRV

HQWRQFHV



$− % ⊆ %

6HDQ

$ = 5 − $ = {[ | [ ∈ 5 ∧ [ ∉ $} 



$



FRQMXQWR UHIHUHQFLDO TXH QR SHUWHQHFHQ D 











$

\

 

$× % VHFRQIRUPD

$ ⊆ $∪ % 

6HDQ

GH WRGRVORV SDUHV RUGHQDGRV DE  GRQGH

$\ESHUWHQHFHD%

DSHUWHQHFHD







$;% = {( [, \ ) | [ ∈ $ ∧ \ ∈ %} 

$

6HDQ



HQWRQFHV





\

$∪ % = $∩ % $

\

%

FRQMXQWRV

 ,QGLTXHFXiOHVGHORVVLJXLHQWHVSDVRVVRQ LQFRUUHFWRV\FXiOHVVRQFRUUHFWRV 

[ ∈ ( $ ∪ %) ∩ & → [ ∈ $ ∪ % ∧ [ ∈ & 








3URI/HRQDUGR$+HUQiQGH]5843,6&7/)

[ ∈ $ ∨ [ ∈ % ∪ & → [ ∈ $ ∪ (% ∪ &) 





[ ∉ $ ∨ [ ∉ % ∪ & → [ ∉ $ ∪ (% ∪ &) 





[∉ $∩ % ∪& → [∉ $∧ [∉ % ∪& 





[ ∈ $ ∪ % ∩ & → [ ∉ ( $ ∪ %) ∩ & 



  'HPXHVWUH

TXH

ODV

VLJXLHQWHV

DILUPDFLRQHVVRQIDOVDV  

$− % =& − % → $ =&

6HDQ

$

%

&

FRQMXQWRV

HQWRQFHV

 

$∩ % = & ∩ % → $ = & 

6HDQ

$

%

&

FRQMXQWRV

HQWRQFHV



&DUGLQDOLGDG





&DUGLQDO  (O FDUGLQDO HV HO Q~PHUR GH HOHPHQWRV GH XQFRQMXQWR/HGR\XQRVHMHPSORV   (O FDUGLQDO GHO FRQMXQWR GH HVWXGLDQWHV GH 7HRUtD  GH /HQJXDMHV )RUPDOHV HV  KDVWDHOPRPHQWR  6L$

^DEF`HQWRQFHV _$_



 (O VtPEROR __ VH OHH FDUGLQDO GH  7DPELpQ VHSXHGHXVDUHOVtPEROR $   (O FDUGLQDO GH ORV Q~PHURV HQWHURV HV

ℵ 

TXHVHOHHDOHSKVXEFHUR\HOFDUGLQDOGH ORVQ~PHURVUHDOHVHV& 

 >(ODE/$+@ > 5HY /$+    @ 




Preliminares Matematicos