An experiment concerning mathematical proofs on computers with French undergraduate students

HAL Id: hal-00384656

https://hal.archives-ouvertes.fr/hal-00384656

Submitted on 15 May 2009

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

An experiment concerning mathematical proofs on computers with French undergraduate students

René David, Christophe Raffalli

To cite this version:

René David, Christophe Raffalli. An experiment concerning mathematical proofs on computers with

French undergraduate students. Journal of Applied Logic, Elsevier, 2004, 2 (2), pp.219-239. �hal-

00384656�

*+,-.$(

/

021 $3*,4567'4,8.9($,4 .(

:<;>= ?A@BDCE?GF.CIH ;J:K?ML?GNONOB

∗

P QSR'TU7VXWYZ3T7[\V"R

]_^M`badcMef`hgjikg0lmedadlonj`bpqnjadef`c)njp.rJcsXlont^f`s%luntrJvhpw)xfnt^f`byzcMr|{)`hgjp}r|n~"w)x€b^dlks"‚Sƒhgq~'^dlh{„`

nt^f`w„…d…w„gqntaMcMr|n~w)xlkc<wk…Mntr|w)cdlk†.v\w)afgjp}`r>c †|w„i)rJveMaMgjr>cfi-nj^M`r|g8nj^dr|gje~„`ologu‡5ˆAw)s`'~„`ologtp

lmi„wd‰nt^Mr>pv\w)aMgjpq`KŠ_lkp6lvh†Jlkpjp}rJvlk†br>c)njg}wfeMaMv0ntr>w)c‹njwŒ†|w„i)r>vlkp‰7xw„g`hŽMlks…d†>`„‰.rJc‘u’“‡.”8af`

njw•nt^f` eMr>–XvhaM†|ntr|`p-w)x8nj^M`<pqntaMef`c)ntph‰br|n-‚`uvlks`„‰bpqnj`h…—‚˜~—pqn}`…5‰l‹n}g0lmrJcMrJcfi#vhw)afgjpq` r>c

sXlont^f`usXlontr>vlk†™g}`olkpqw)cMrJcfid‡b]_^M` aMp}`<w)x›š^fw„œ‰nt^f`<…dg}w˜w)x'lkp}pjr>pžn0lkc)nef`h{„`†>w„…`eŸ‚˜~€z‡

 ™lm¡¢lk†J†>r£Op}`h`K>¤h¥m’O¦0‰lk†>†>wuŠb`e n}wKvlmg}gq~w)aAnu‰GrJcef`hntlkrJ†O‰§ug}`ulk†¨-…Mg}wAw)xp™eMaMgjr>cMi%†©lm‚pq`pjp}r>w)cMp

w)cvhw„s6…daAnj`hgtph‡

ª‹`"pžn0lmgqnj`eKnjwXaMp}`›š3^Mw„œ«Š™r¬nt^pqntaMef`c)ntp_r>cŒ¤u­„­„­f‡M®bn_nt^f`‚`i)r>cMcdr>cfid‰fnt^M``\ŽMlks6…d†|`up

Šb`<v\w)cMp}rJef`hg}`ue¯Šb`g}` {)`hgq~°p}rJs…G†|`‚GaAnu‰pžnj`h…°‚˜~°pžnj`h…$‰nt^f`h~¯‚`uvlks`sw„g}`<lkcde°sw„g}`

r>c)njgjr>vulunj`%lkcde¢‰5rJc•±m²„²M¤„‰Snj^M`XpžntaMeM`c„ntp›pq…S`c„nlm‚w)aAnX¤² ^fw)afgjp8Š™r|nt^Œš3^Mw„œ'‡$”8afgjrJcfinj^M`

±m²„²˜±u³ž±m²„²„‘™lkvlkef`sXr>v~)`ulmg‰nt^dr>p7v\w)afgjpq`8£DrO‡`„‡k´m²™^fw)afgjp0¦5^dlkp5njwkn0lk†>†|~›‚`h`c'ef`\{)wknj`e›n}wŠwkgjµ

w)c-vhw)s…daAnj`gjph‡M]_^f`›pžntaMef`uc„ntp_^dlke%njw6eMwd‰A¶dgjpžnŠ™r|nt^%nt^f`›v\w)s6…daAnj`hglkcde%nt^f`ucKw)c-…Glm…`hg‰

nt^f` …dg}wAw„xzw)xnt^fg}``vh†©lmpjp}rJvlk†_s%lonj^M`sXlontrJvlk†bnj^M`hw„g}`sXp £Dp}`h`p}`v0ntr|w)c—‘A‡·‘)¦0‡3”8aMgjr>cfi‹nj^M`

±m²„²)‘o³ž±m²„²m¥›lmvulkef`s6rJv~„`ulmg‰mw)cM†|~lzp}^Mwkg}nv\w)afgjp}`£q¤²z^fw)afgjp0¦5w)xfnjgtlkrJcMr>cMizn}wsXlont^f`s%lonjrJvlk†

g}`ulkp}w)cMr>cMi'Š_lkps%lkr>c)ntlkrJcf`e<¸fw)afg_v\w)†>†>`ulmi)af`p›£DsXlont^f`s%lonjrJvhr©lmcdp‚GaAncfwkn_†>w„i)r>vhr©lkcMplmpbŠb`

lmg}`o¦eMrJecfwknzv\w)cMpjr>eM`hg_nt^dlonnt^MrJp™v\w)afgjp}`Š_lkp™r>s…w„gqn0lkc)nzlkcMent^f`\~ eM`vhrJef`enjw%p}aM…M…Mg}`pjp

r¬nu‡3”8afgjrJcfi nt^f`<±o²„²M¤\³ž±m²„²)‘ lkvlkef`us6rJvK~„`ologtph‰3pqw)s`¶Mgjpqn~)`ulmgXpqnjadef`c)njp%lk†>p}wŒeMrJe¹pqw)s`

£Dsw„g}``†>`s`c)n0lmgq~d¦…Mgjw˜w)xºpbŠ™r¬nt^ š3^Mw„œ'‡

»“nr>p‰)lkpxOlmglkp.Šb`_µAcfwuŠ"‰knj^M`¶dgjpžnntrJs`_rJc6¼dgtlkcMv\`nt^dlonsXlont^pqntaMef`c)ntph‰)lonnt^MrJp3†|`\{)`†D‰

^dlh{)`-efw)cf`%…dg}w˜w)xºp"w„xbnt^dloneMr|–XvaM†¬n~ŒŠ™r|nt^½lv\w)s…dafn}`g‡]_^f`Ki„w)lk†w)xnt^MrJp"…Glm…`gr>p"n}w

ef`pjv\gjr>‚`6nt^f`upq`6{„lmgjr>w„adp›`hŽA…`hgjrJs`c)ntph‡5ª‹`6Š™rJ†>†s%lmrJcM†|~Œvhw)cMv\`c)njgtlon}`%w„cŒnt^f`-±m²„²˜±u³ž±m²„²)‘

lkvlkef`sXr>v~)`ulmg3p}rJcMv\`_r|n3rJph‰„r>cp}w)s`p}`cMpq`)‰kr¬ntp3lm…w„i„`h`„‡mª‹`lk†>p}w8i)r¬{)`bnt^f`_s%lmrJcr>s…Swkg}ntlkc)n

…w)r>c)ntp_vhw„cdv\`hgjcdr>cfi6nt^f`wknt^f`hg_~„`ulmgjp™lkcMe-nt^f``\Žf…`hgjrJs`c)n™x©w„gnt^f`›¶Mgjpqn~)`ulmgpqntaMef`c)ntph‡

]_^dr>p3…Glm…`hgr>pcfwknu‰)pžnjgjrJv0nt†¬~6pq…`oloµfr>cMid‰˜l8g}`pq`olmgjvt^…lm…`hg‡)¾{„`cnt^fw)aMi„^Xr¬ni)r|{„`uppqw)s`

ef`\n0lkrJ†>pw)cKnt^f`8Š_lh~-š^fw„œ«Šbw„g}µAplkcMeKnt^˜adp_vlkc-‚`›v\w)cMpjr>ef`g}`e lkplpj^fw„gqnrJc„njg}wfeMaMv0ntr>w)c

njwnt^Mr>p"pqw)x©nŠ_lmg}`„‰¢Šb`%lmg}`X^M`hg}`%sw„g}`Xv\w)cMv\`gjcf`e Š™r¬nt^Œ…`eGloi„w„i)rJvlk†s%lonqnj`hgtph‡5¿™wuŠb`\{)`hg‰

nt^f`8…Mg}w„‚d†>`s6pŠb`s`uc„ntr|w)c-sXlh~KrJc„nj`hg}`upžn_vhw)s…daAnj`hg_p}vhr>`cMvh`8g}`pq`ologtvt^f`hgtpŠbw„g}µfr>cMirJc%nj^M`

¶M`†Je6w)xSx©w„gjsXlk†ds`hnt^fwfeMp‚`vulmadpq`_nt^f`\~6s%lh~6^f`†>…6nt^f`sÀrJc6…Mg}wknjwkn~A…Gr>cfi"…Mg}wAw)x¢lmpjp}rJpžn0lkc„ntp

ef`pjr|i)cM`e x©w„gnj`ulkvt^dr>cfi%sXlont^f`s%lonjrJvhph‡

Á ÂIU7VXV"ðÄ"RWÅZV'ÆÈÇY%TÉ_U.Ê

š3g}wAw)x.lkpjp}rJpžn0lkc„ntp†Jr|µ„`'®™€bË7±>¤²o’“‰S€_ÌÍΏÏo’“‰d¿Ì8˗·ÐA‰­o’щd»žptlo‚S`†>†>`K|¤o±u’“‰d˾bқÌӏ>¤u‘o’щ

šÔ"ˆK>¤„¤\’$‡h‡‡)lk†>†>wuŠ¯njw"efw›s%lunt^M`sXlontr>vulm†f…Mg}wAw)xp.Š™r¬nt^Xlv\w)s…dafn}`glkcMent^f`r>g3vhwkgjg}`v0ntcf`pjp

r>p™nj^AaMp™i)adlmgtlkc)n}``e¢‡]_^MrJpzr>pzcfwkn›lkaAnjw)sXlonj`eef`edaMv0ntr>w„c•¸Gnj^M`aMpq`gzvlkc½£ÑlkcMei„`cf`hgtlk†J†¬~

∗ÕAÖt×kØ0ÙÑÖjÚÑØhÛÙDÜÝoÜޛÖjړßuàqáMâãoÛä\ÜqÙDàÑÛÚÑåÝoܙæuÖqähØ\ÛÜ\áAÜ}çÖ0ÛèéAÝmÖqäoÛÝkê.ëoãoÛähìà“Öqä\Ø\ÛÜ0áí|ٝÖ0ãuÝÙÑÖjî˜Ö0èèÛ¬ê7ëoãoÛähì àÑÖqähØ\ÛÜ\áí¬Ù

w)x5nt^f`›…Mg}wAw)xrJp_vhw„g}g}`v0nu‡

ðw)pžnXw)x_nt^f` p}w„x©nŠ_lmg}`lm‚wu{)`…Mg}wu{Mr>eM`pXsw„g}`w„gX†|`pjp6pqw„…G^Mr>pqntr>vlonj`e¹lk†>i„w„gjr¬nt^MsXpw)x

lkaAnjw)sXlontr>vXef`ueMaMv0ntr>w)c•lk†>†>wuŠ™rJcfi njw ¶GcMr>pj^ nt^f`%…Mg}wAw)xŠ™r¬nt^fw)aAn"nt^f`%…Glmgqntr>vhr>…Glontr|w)cŒw)xnj^M`

aMp}`hg‡Gñbafnnt^Mr>pzlkp}…`v0nzefwA`p™cfwknz^dlh{)`'s'advt^-nj`olmv0^MrJcfi%rJc„nj`hg}`upžn™‚`uvlkaMpq`›nt^f`'r>c)nj`hg}`pžntrJcfi

…w)r>c)n"rJpznt^f`Xv\w„g}g}`v\njcM`p}p8w)x`ulkvt^Œpžnj`h…Œw)xlK…Mg}wAw)x“‡5]_^f`upq`6pq~fpžnj`us6pzŠb`hg}`Xef`\{)`†>w„…`e ‚)~

pq…S`vhrJlk†Jr>pqntpK…Mgtr>sXlmgjrJ†¬~lkr>sXr>cMi#xw„g lo…d…d†>rJvlontr|w)cdp-rJcŸxw„gjsXlk†{)`hgjr>¶dvlontr|w)cx©w„g-…Mgjwki„gtlksXph‰

vhr>gjvhaMr|ntph‰˜v\w)s6saMcdr>vlontr|w)cdp…dg}wknjwAv\w)†Jph‰)`\ntvk‡˜Ë5`ulmgjcMrJcfi›njw'aMpq`nj^M`pq`™pq~fpqn}`us6prJpcfwknbp}rJs…d†>`

lkcMe vh†|`ologt†¬~-g}`uò˜aMr>g}`pnjw˜wXsaMvt^-njrJs`›xw„gaMcMeM`hg}i„gtlkeMadlonj`"pžntaMef`uc„ntp_rJcs%lonj^M`sXlontrJvhph‡

š^fw„œóvlkc‚`'aMpq`ue‚)~ aMcMeM`hg}i„gtlkeMadlonj`"pžntaMeM`c„ntp_‚S`vlkaMp}`"r¬nzaMp}`pnt^f`"aMpjadlk†$sXlont^f`\³

sXlontrJvlk†3†Jlkcfi)adlmi„`£Dpq`h`%pqw)s6`6`\ŽMlks…G†|`p"‚`†|wuŠ8¦›lkcMe<nt^M`XpjsXlk†J†3c˜aMs'‚`hg›w)xbv\w)sXsXlkcMeMp

£ºnj`cŒlmg}`XsXlkr>cd†¬~ p}aM–Xvhr|`uc„n\¦zsXlmµ„`pr|ntp†>`ulmgjcMrJcfi`ulkpq~)‡5®zpxºlmg'lmp8nt^f`Xlkafnj^Mw„gjp8µAcMwuŠ"‰5r¬n

r>p8nt^f`6w)cM†¬~ …Mg}wAw)xlkp}pjr>pqntlkc)n"aMpq`eŒrJc ¼dgtlkcMvh`6x©w„gn}`olkvt^MrJcfi s%lunt^M`sXlontr>vp6£Dlkcde cfwkn_ïžadpžn

†|w„i)rJvu¦0‡

Ôblmgjr>w„adp5wknj^M`hgpž~Mpžnj`s6phô7lmg}`aMp}`e8njw_nj`ulkvt^"†|w„i)r>vaMp}rJcfi™v\w)s6…daAnj`hgjp‡ñbafnu‰h`\{)`cnj^Mw)afi)^

Šb`8lmg}`z†|w„i)r>vrJlkcMp‰)w)afgi„w˜lk†Gr>pcMwuŠ°njw›nj`ulkvt^%s%lonj^M`sXlontr>vulk†Mg}`ulkp}w„cdr>cMi'aMpjr>cfil›v\w)s6…daAnj`hg

lkcMe6lh{)w)r>e6†|w„i)rJvk‡˜ˆAr>cdv\`„‰„r>c6¼Mg0lmcdv\`„‰„sw)pžnw)xMnt^f`sXlont^pqntaMef`c)ntp7Š™r>†J†Mcf`\{)`hg3^dlh{)`l8v\w)aMgjpq`

r>c•†>wki)rJvk‰r¬nlm…d…`ulmgjpnjw ‚`Kcf`vh`p}ptlmgq~8õ¢ª‹`%i„r|{)`%pqw)s6`KlmcdpžŠb`gjpnjwnt^f`%òAaf`pqntr|w)c§Š™^„~

š^fw„œŒöm¨Kr>c-nt^f`"lm…d…`cMeMr|Ž”‡

÷ øúù-ÉûÆÈÄ'[\RÅɝüKÇ<ÉU.[hÆÈÉ_RT

ª‹`ef`pjv\gjr>‚`r>cnt^MrJpzp}`v0ntr|w)cŠ™^dlonzŠb`^dlh{„`eMw„cM`eMaMgjr>cMi%nt^f`X±m²„²)±u³ž±m²„²)‘Klkvlkef`sXr>v

~)`ulmg‡

ýþ}ÿ

ñb`xwkgj`-pqn0log}njrJcfinjwŠbw„g}µŒŠ™r¬nt^#v\w)s…dafn}`gjph‰Šb`pq…`c)nnt^fg}`h`-w„gxw„aMg^fw)aMgjp'w)c•nj^M`

‚d†©lkvjµ˜‚Sw)lmgje-njwXef`pjv\gjr>‚`8nt^f`›i„gtlks6sXlmgw)x…Mg}wAw)xplkcdeKnjwXefwXp}w)s``\ŽMlks6…d†|`uph‡

ª‹`eMrJecfwkn.i)r¬{)`l™xw„gjsXlk†)…dg}`pq`uc„n0lontr|w)c"w)xfnt^f`bcfwkntr>w)c"w)xMxw„gjs'ad†Jl_nt^dlonvlkc'‚`bx©w)adcMe¢‰

x©w„g"`hŽMlks…d†>`„‰r>c—‘u’z¸r¬nrJp"p}aM–Xvhr|`uc„nt†¬~‹rJc„ntaMr|ntr¬{)`Xnjwnt^f`KpžntaMef`uc„ntp'lkcMeŒnt^Mr>plh{„w)rJeMp›nj^M`

eMrJpžntrJcMv0ntr|w)cX‚`\nŠb`h`uc6¶MgjpqnblkcMeX^Mr>i)^f`hgw„gjeM`hgx©w„gjs'ad†Jlkph‡˜]_^Mr>pedr>pqnjrJcMv0ntr>w)cXrJpr>s6…w„gqn0lkc„nr>c

l'v†Jlkp}pjr>vlk†¢v\w)afgjp}`zw)x$†>w„i„rJvz‚daAnp}aMv0^l'v\w)aMgjpq`r>pcMwknw)afgi„w)lk†S^M`hg}`„‡f®zpr¬nr>pnjgtlkedr¬ntr|w)cGlm†

r>c †>w„i„rJvk‰fŠb`"cf`\{)`hgqnt^f`†>`pjp_rJc„njg}wfeMadv\`e-nt^f`›pq~fs'‚w)†>p

∨

∧

¬

§ocMwmn\¨„‡fª‹`›`p}p}`c„ntr©lk†>†|~pjlkr>e-nt^f`"x©w)†>†>wuŠ™r>cMi ¸

® …Mg}wAw)x™r>pXl pq`uò˜af`ucMv\`w)xK¸.`ulkvt^¯w)x_nj^M`s v\w„g}g}`p}…w)cMeMpnjw nj^M` lm…M³

…d†Jr>vulonjr>w)c½w„x™l !\‡7®bn`ulkv0^½pžnj`…½w)xl…Mg}wAw)x“‰nt^f`hgj`-r>p6l#"%$'&)(*!,+.-/10243

£Def`cMwkn}`uelkp65Ë7¦0‡G®bn_nt^M`‚S`hi)r>cMcdr>cMiXw)x.l…Mg}wAw)x“‰75›Ë•r>p`s…fn~Œ¸dsw„g}`›…Mg}`h³

vhrJpq`u†¬~Kr¬n_v\w)c„n0lkrJcMpw)cM†|~6nt^f`zgj`p}aM†|ntpi)r¬{)`cKedafgjrJcfi'nt^f`8v\w)afgjp}`„‰ArD‡`„‡˜nj^M`hw„g}`s6p‰

†>`s6s%lmp‰GloŽfr>w)s6ph‰d`\ntvk‡Sˆ˜w)s6`›gjaM†|`up™lk†J†|wuŠ«n}wX`hŽ˜nj`cMe85˽x©w„g_nt^f`"g}`pžn™w)x$nt^M`

…Mgjw˜w)x‡»žxl%…Mg}wAw)x3^dlkp™njwv\w)cMpjr>eM`hgpq`\{)`hgtlk†.vlkpq`uph‰Gnt^f`95Ë#w)x`olkvt^<vulmp}`6lmg}`

rJef`c)njrJvlk†$lon_nt^f`›‚`hi)r>cdcMr>cMi6‚dafn_nj^M`\~vlkcv0^dlkcfi„`›rJcMef`…`cMeM`c„nt†|~)‡

® ¶MgtpžnXgjaM†>`p}rJs…d†|~¯pjlh~Mpnt^dlon%r>xl x©w„gjsaM†Jl ‚`†>w)cfi)pn}wŒnj^M`:5›Ë3‰.nt^f`uc¯r|n

rJp_…Mg}wu{)`e¢‡d¼dw„g_`ulkv0^ †|w„i)r>vulk†¢pq~fs'‚w)†3£Dv\w)cMcf`v\ntr¬{)`'lmcdeòAadlkc)njr>¶M`hg0¦nt^f`hg}`'lmg}`

nŠbwXgjad†|`p™v\w)cMvh`hgjcMrJcfi6nt^f`'x©w„gjsaM†JlkpŠ™^Mw)pq`"s%lkr>c vhw„cdcf`v0ntr|{„`'rJp_nj^M`"v\w„g}g}`upž³

…w)cMedr>cfiw„cM`„‡$Ìzcf`„‰¢vulm†J†|`uent^f`;02$'<=&>+)7?><0@&)$d‰dŠ™^dr>v0^<rJp8adpq`en}wA'=&)B)™pjaMv0^

lx©w„gjsaM†©lf‡7¼dw„g`\ŽMlks6…d†|`„‰njw<…Mg}wu{)`

A → B

A

B

pjaMvt^ l%^„~f…wknt^f`pjr>p£Owkg›lX†>`sXsXlf‰Slkc loŽfr>w„s ‰G`\ntv„‡·¦0‡S¼dw„gz`\ŽMlks6…d†|`)‰Sr>x

A ∨ B

MON

Ø0Ù5ÜPoÖ0çQkèÜàDÜqÜSRRR7T<UVLTGW=X>Y[ZDW\TGYDULT^]D_>`VOXDYaa=bDc%de>`Of.Y=]%V[`gW,Z.dUU[W=hDc>V[i,RDYci T!fX,jkgá

l[m

ßoÛàSèÛàOÚ¢Ûà'nqØ\ççØ\ãmèopn}Ö0è·èÜqÝړßuÜrqDst%uv^q%wxOwxzy>Ø0Ù'nqØ\ã\ÚÑÜPhÚ{d×mëÚGړßoÛàGÚÑÜqÙÑç}|\ÚÑßoÖtÚ¢èØ~\Ûn}ÛÖ\ãuà¢ëuàDÜ7çØ\àOÚ

Ø0í¬ÚÑÜ}ã'Ûã›Ú“ßoÛààÑÜqãuàÑÜ|Jn}Ö0ã"×kÜ_çÛàÑèÜ}ÖtÝmÛ·ã.~zׄÜn}Ö0ëuàÑÜÛÚn}Ö0ã"×kÜbړßuØ\ë.~\ß\Ú3Ö0àrnqØ\ãuàOړÖ\ã0Ú}á

m

ßuÜbí>Ö[nžÚ.ړßoÖjÚړßoÛà

èÛàDÚÛànžØhãuàOړÖ0ã\ړèo}nžßoÖ0ã.~\Û·ã.~_ÛàÖ0ãzÛçpQkØ\ٺړÖ\ã0ڀQ„Ø\Ûã\ÚzßoÛnß65Ö0à$ãuØtڀnqèÜqÖtÙ5ÚÑ؝ړßuÜàDÚÑëoÝoÜqã\ÚÑàqá

‚`†>w)cfi)p3njw"nt^f`5Ë lkcdeXw)cf`™Š_lkc„ntp3njw'…Mgjwu{„`

C

A → C

B → C

aMpjadlk†J†¬~)‰dcfwkn™v†|`ulmgxw„gnt^f`s ‡

]_^M`pq`™gjad†|`p=„8lmg}`™i)r¬{)`c<£Oadp}rJcfiš3^MwkœH…p3nj`hgjs6rJcfw)†>wkik~G¦r>cXnj^M`8lm…M…`cdeMr¬Ž%¾Ÿ£O…Glmi„`±m²˜¦t‡

»“n7vhw„ad†>e"‚`p}afgj…Mgjr>pjr>cMi_nt^dlonu‰hŠ™r|nt^'lx©`\Š½`\ŽAn}g0lloŽfr>w)s6p†>r>µ„`®™€<njw™p}…`vhrJxJ~nj^M`aMcMef`gj†¬~Mr>cMi

nt^f`hw„gq~˜‰knt^MrJprJp`cfw)afi)^6njw›…dg}wu{)`zlkc)~6s%lunt^M`sXlontr>vulm†dg}`p}ad†¬nu‡˜]_^Mr>prJpcMwkn3{)`hgq~XeMr>–XvhaM†|nn}w

`\Žf…d†JlkrJc¢‰)‚GaAnbsXlkc„~XsXlont^f`s%luntrJvhr©lmcdplmg}`zcfwknblhŠ_lmg}`™w„x$҇†fef`†@…pv\w)s…d†>`\nj`cM`p}pnt^M`hw„g}`sEõ

ýþˆ ‰#Š6‹Œ Ž *}‘’\“‘Š6‹•”L =)–˜—Ž ‹

®zx©n}`gnj^M`pq`™x©`\Š—^fw)aMgjph‰knj^M`_g}`pqn3w)xdnt^M`v\w)afgjp}`njw˜w„µ'…G†Jlkv\`™r>cnt^f`vhw„s6…daAnj`hg†Jlm‚$‡„]_^M`

pžntadef`c„ntpŠbw„g}µk`uer>ci„g}w)af…dpw)xnŠbwd‡]_^f`'v\w)s6…daAnj`hgzpž~Mpžnj`sΊ_lkp™Ë$rJc˜aAŽ ‚GaAn™nj^Mw)pq`›Š™^fw

Š_lkc„nj`ue-n}w%aMpq`nt^f`"p}w)xJnŠ_lmg}`'lon™^Mw)s`"v\w)aM†>eaMpq`'l{„`hgtp}r|w)cx©w„gªEr>cdefwuŠ™ph‡Mª‹`›i˜lh{)`nj^M`

pžntadef`c„ntp™l'ntlm‚G†|`Š™r¬nt^-nj^M`›sXlkrJcv\w)sXsXlkcMeMpw)x7š3^MwkœÓ£Ñlm…M…S`cMeMr|Ž¾_‰M…lmik`±m²˜¦t‡

]_^M`3¶Mgjpqn†©lm‚"pq`pjp}r>w)c8n}wAw„µlm‚w)aAnxw)afg^fw)aMgjph‡]_^f`pžntaMef`uc„ntp5…Mg}wu{)`e"pqw)s`3`†|`us`c)n0log}~

xºlkv0ntprJc…dg}w„…w)p}r¬ntr>w)cdlk†fvlk†JvhaM†JaMplkcMer>c¶Mgjpqnw„gjef`g†>w„i)r>v¸kx©w„g`\Ždlks…d†>`

[(A ∧ B) → C] ↔ [A → (B → C)]

∃ x(A ∧ B ) → ( ∃ x A ∧ ∃ x B)

]_^M`%p}`v\w)cMe•†Jlm‚½pq`pjp}r>w„c½lk†>pqw njwAw„µŒlm‚w)aAnx©w)aMg'^fw)afgjp‡$]_^M`%pqnjadef`c)njp'p}^fwoŠb`e nt^Glun

r>x›nŠbw#w)cf`\³Dnjwk³Ñw)cf`ŒxaMcdv0ntr|w)cMpŒ£Dx©gjw„s

E

E

v\w)s6saAnj`„‡G]_^MrJp`\ŽMlks6…d†|`'rJp™p}rJs…d†>`"‚`vlkaMp}`'r¬nŠlmp™p}`h`ceMafgtr>cfiXnt^f`'v\w)afgjp}`›w)xlk†>ik`‚Mgtl

£ºŠ™^f`cr¬n3rJpp}^fwuŠ™c'nt^dlonu‰mrJc

S

Šb`hgj`›xºlks6rJ†>r©lmg_`cMw„aMi)^KŠ™r|nj^ š^fw„œólkcMe-nt^f`\~^dlkecMwXsXlmïw„g_edr|–Xvhad†¬ntr>`pŠ™r¬nt^ r¬nu‡

ýþÑý ‰#Š6‹š‘Š6‹zŽ ‹€›“”œ‡Ž €‹

]_^M`cŸnt^f`•pžntaMef`uc„ntp ^dlkeŸnt^Mg}`h`Œ…Mg}w„ï`uv0ntph‡_¾lkvt^Ew„x"nj^M`sÈnjw˜w„µElm‚w)aAnnj`cI^fw)afgjph‡

]_^f`\~¹^dlke#njw‹efwŒnj^M`…dg}wAw„xŠ™r¬nt^#nt^f`v\w)s6…daAnj`hgKlmcde#n}wŒŠgjr¬nj`r¬nu‰r>c#nt^f`aMpjadlk†bŠ_lh~)‰

w)c…lm…`hg‡G]_^MrJp_Šbw„g}µKŠ_lkp`\{„lm†Jadlonj`elkcMent^f`'v\w„g}g}`upq…w)cMeMrJcfi%s%lmg}µ%Š_lkp™v\w)cMpjr>eM`hg}`elkp

nt^f`v\w)c„ntrJc˜afw)aMpKlkpjpq`pjp}s6`c„nu‡3]_^M` `\Ždlks ^Glkp6‚`h`uc°efw)cf`r>c¯nt^f`pjlks` Š_lh~E¸l …Mg}wAw)x

njw ‚` eMw)cf`-Š™r¬nt^#nj^M`vhw)s…daAnj`gXlkcMe¢‰3r>c#nt^f` aMpjadlk†Š_lh~˜‰.w)c#…Glm…`hg‡3]_^f`¶G†|`p£OòAaf`pq³

ntr|w)cMp%lkcMe¹lkcMpqŠb`hgjp0¦"w)x™¿™`rJcf`„‰ž™wA`\nt^f`hg%lkcMe½nt^f` `\Ždlms vulkc#‚` x©w)adcMe¹lon6nt^f` yz ËÀ¸

ŸLŸLŸp =¡L¢.£'¢r @¤\¥‚¦%§'¨/©J¢J§‘ª ¦J«r ¬L­‘® ¯k° ¢J§¦k° ®J±J²ª)³

´8µ\¶<·€µ ]_^f`i„w˜lk†Š_lkpbnjw6…Mg}wu{)`›¿™`rJcf`8nt^f`hw„g}`s ¸Glv\w)c„ntr>cAafw)aMpxaMcdv0ntr|w)c-w)c

I = [a, b]

r>paMcMrJx©w„gjsX†¬~%vhw„c)ntr>cAafw)aMp‡˜»“n_r>pbcfwkn_cf`v\`up}ptlog}~6njw^dlh{)`X§o‚daMrJ†¬n\¨

R

lkp3†>`s6sXlkp‰mnt^f`_…dg}w„…`hgqntr|`upw)x

R

cf`h`ue'{)`hgq~x`\Š¯nt^MrJcfi)p_¸kp}w)s`…Mg}w„…`hgqntr>`p.w)xdnt^f`w„gjeM`hg£ºnjwkn0lm†Jr¬n~˜‰keM`cMpjr¬n~)‰M‡J‡J‡¬¦t‰„r¬ntpg}`†©luntr>w)c

Š™r¬nt^nt^f`{„lmgjr>w„adp_w„…`gtlonjr>w)cMp'£

ε > 0 → ε/2 > 0,

†|`olkpžn™af…d…`hg_‚w)aMcde¢‡d]_^f`›…Mg}wAw)x^dlkp_‚`h`c ef`vhw„s6…w)pq`e r>c„njwnŠw6g}`p}ad†¬ntp›¸

³7]_^f`\~¶dgjpžn^dlken}w›…dg}wu{)`nt^f`™v\w)s…lkv0ntcf`pjp.w)xGnt^f`™r>c)nj`hgq{„lk†

I

x©w„g`\{)`hgq~-…Sw„pjr¬ntr|{„`"xºaMcMv0ntr>w)c †|i6nj^M`hg}`"r>p™l¶dcMr|nj`"p}af‚Gpq`\n

A

I

I

(x)

x

A

nt^f`›rJc„njg}wfeMaMv\njr>w)c-w)x5nt^f`›p}`\n

P

c

I

A

I

[a, c]

(x)

x

A

]_^f`6pqnjadef`c)njp›^dlkenjw-…Mgjwu{„`„‰5p}advhv\`pjp}r|{„`†|~#¸£q¤o¦

P

m

m ∈ P

m = b

³]w6…dg}wu{„`'¿™`r>cM`8nt^M`hw„g}`sÓnt^f`"^f`†>…Š_lkp›¸fn0lmµ„`

ε > 0

nt^f`›xºaMcMv0ntr>w)c†|i

(x) = α(x)/2

α(x)

f

lon

x

ε/2

A

α

min { α(x) / x ∈ A }

¸¹

ØtÚÑÜ.ړßoÖjÚ5ړßoÛàpºtÖ0ãuÝ)»™Ûà5ähÜqÙGo™à“ëuÙ<QoÙÑÛàÑÛã.~_í¬Ø\٢ړßuÜàOړëuÝoÜ}ã\ÚÑàqá

¼½

ã7ړßuÜGÙOÜqàDژØ\í\ړßuÜQmÖ[Q„ÜžÙO|žÚ“ßuÜdÙÑëoèܞàfÖtÙDÜ~\ÛähÜ}ã7ÚÑßoÜqÛÙfëuàÑëoÖ0è\ãoÖ0çbÜ\á

N

Ø0٘ÜPoÖ0çpQmèÜ|

∧

∧

¾[m

ßuÜx¿[ttku,Àv)Ø0ífÖí>ëoã.nړÛØhãí¬ÙDØhç

E

E

nt^f`aMp}`w)x.nt^f`6loŽfr>w)s w„xvt^fw)rJv\`'Š™^MrJvt^5‰GŠ™r|nt^nt^f`aMpjadlk†7ef`¶dcMr|njr>w)c¢‰¢saMpžn8‚`6aMpq`eŒlmcde

r>c)njg}wfeMaMv\`'l'nj`vt^dcMr>vulm†5‚daAn™aMcdr>c)nj`hg}`pžntrJcfiXedr|–Xvhad†¬n~)‡

Á8ÂõJÄkŵ\Æ ]_^f`i„w˜lk†Šlmpbnjw6…Mg}wu{)`8nt^dlonu‰MrJc lv\w)s6saAn0lontr¬{)`gjr>cfiŠ™r|nt^aMcMr|nu‰Ant^f`›xw)†>†>wk³

Š™r>cMi'…Mg}w„…`hgqntr>`pblmg}`™`òAaMr¬{„lk†|`uc„n¸£q¤o¦.`\{)`hgq~%r>cdv\g}`ulkp}rJcfip}`ò˜af`ucMv\`™w)x5r>ef`olk†>pbr>ppqntlontr>w)cdlmgq~

£“±„¦`h{„`hg}~-rJef`ulk†$r>p_¶dcMr|nj`†¬~-i„`ucf`hgtlonj`e¢‡

]_^M`x©w„gjsXlk†JrÈÇulontr>w„ceMw˜`upzcfwknzgtlkrJpq`lkc„~…Glmgqntr>vhad†Jlmgz…Mg}w„‚d†>`s ‡G»žc…Mg}`h…lmgtlonjr>w)cw)x7nj^M`

sXlkrJcXg}`up}aM†|ntph‰)nt^f`8pqnjadef`c)njpb^Glke6njw…Mg}wu{)`zp}w)s`zadpq`xºaM†S†|`sXsXlkph‰Ax©w„g`hŽMlks…G†|`¸ArJx

(I

)

lkc rJcMv\gj`ulkp}rJcfi%pq`uò˜af`ucMv\`"w)x7rJef`ulk†Jpnt^M`c

∪ I

rJp™lkcr>eM`ulk†5w„g™r>x

I

X ⊂ I

nt^f`c%nt^f`r>eM`ulk†i„`cf`gtlon}`ue%‚˜~

X

I

(1) ⇒ (2)

…Mg}wAw)x.r>p‚˜~ v\w)c)njgtlkeMr>v\njr>w)c‹¸dw)cf`'^dlkp_njwX¶dcde¢‰d‚˜~ rJcMeMaMv\njr>w)c¢‰Slkc rJcMv\gj`ulkp}rJcfiKpq`òAaf`cMvh`"w)x

¶dcdr¬nj`p}`\ntph‡Mðw„g}`hwu{)`hg‰Anj^dr>p_v\w)cMpžnjgjadv0ntr|w)c-aMp}`pnt^M`ef`h…`ucMef`c)n™loŽfr>w)s w)x$vt^Mw)r>v\`X£Ñl›Šb`olmµ

x©w„gjsûw)xbnt^f` loŽMr|w)sûw„xv0^fw)r>vh`o¦0‡.]_^MrJpcf`h`ueMp6lsw„g}`-`\ŽA…`gqnµfcfwuŠ™†|`uefi„`-w)xš3^Mwkœlmcde

nt^f`6loŽMr|w)s w)xvt^fw)rJv\`„‡¢]_^AaMp‰Gnt^f`6pžntaMef`uc„ntp™Šb`g}`i)r¬{)`cnt^f`eM`h¶dcMr|ntr|w)c<w)x.nt^f`6pq`òAaf`cMvh`„‰

r>cdvh†>adeMrJcfi%r¬ntpv\w)cMpžnjgjadv0ntr|w)caMpjr>cMint^f`"ef`h…`cdef`c)nzloŽfr>w)sÓw)xv0^fw)r>vh`„‡

É Äkŵ\Æ8Ä%ŀµLÂÆ%µ Ê˜Ë ¼Mw„gnt^f`6nj^dr|gjeŒ…Mg}w„ï`v0nu‰¢nt^f`XpqntaMef`c)ntp8Šb`hg}`Klkpqµ„`e<njw …Mg}w„…w)pq`6gj`\³

p}ad†¬ntph‰Gn0lmµ„`c<x©g}w)s nt^f`r>gzwknt^f`g8v\w)afgjp}`ph‰nj^M`\~^dlke<cfwknzŠ`†>†.aMcMeM`hgjpžnjwAwfe<lkcMent^dlonznt^f`h~

Šbw)aM†Je<†>r>µ„`'njw%Šbw„g}µx©w„g8‚`\n}nj`hg8adcMef`hgjpqn0lkcMeMrJcfid‡S®zxJnj`hgpqw)s`eMr>pjvhaMpjp}r>w)c#£º‚S`vlkaMp}`sw)pqn

w)x7nt^f`p}af‚Mïž`v0ntpnt^f`\~ …dg}w„…w)pq`e Šb`hg}`'w)cM†|~ef`hntlkrJ†>pzrJc<lX…Mg}wAw)xj¦bnj^dr>p™i˜lh{)`"nt^f`x©w)†>†>wuŠ™rJcfi

p}aM‚Mï`v0ntp‡$yzcM†Jr|µ„`Kx©w„g›nt^f`%…Mg}`\{Mr|w)aMp"…Mg}w„ï`uv0ntph‰5nj^M`\~‹^dlke njwefw`\{)`hgq~Ant^Mr>cMiM‡®_v\ntadlk†>†|~‹r¬n

Š_lkpcfwkn_p}weMr>–XvhaM†|np}r>cdv\`znt^f`8…Mg}`†Jr>sXr>cdlmgq~%Šbw„g}µ6Š_lkph‰frJc-xºlkv0nu‰˜nt^M`8ptlks`lkpnt^f`8w)cf`x©w„g

¿™`rJcf`8nt^M`hw„g}`s‡

³š3g}wAw)x.w)x7nt^f`v\w)s…G†|`\nj`cM`p}p™w)x

R

]_^f`hgj`™Šb`hg}`™nt^fg}``8pžnj`h…dpz¸¢£q¤o¦l€lkadvt^„~Kpq`uò˜af`ucMv\`8rJp‚w)aMcdef`e £Ñ±„¦l"‚w)aMcdef`eKp}`ò˜aM`cMv\`

^dlkpXlkc¹lkvhvhaMsaM†©lonjr>w)c#…w)r>c)n£Ñ‘)¦lŒ€lkaMv0^„~¯pq`òAaf`cMvh` v\w)c„{)`hg}i„`pnjwŒr|ntpXlkvhvhaMsaM†©luntr>w)c

…w)r>c)nu‡

³”z`¶dcMr|njr>w)cw)x

R

Q

R

³”z`h¶dcMr|ntr|w)cw)x

R

Q

pq`uò˜af`ucMv\`p_w)xgtlonjr>w)cdlk†5c˜aMs'‚`hgjp™lmcde-…Mgjw˜w)xw)x5nt^f`"v\w)s…d†>`\nj`cf`pjpw)x

R

³™»žxl pq`òAaf`cdv\`Xw)xbv\w)c)njrJc˜aMw„adp"xaMcdv0ntr|w)cMp'r>p"adcMr>xw„gjs6†|~•€lkaMvt^)~)‰5nt^f`c‹r¬nv\w)c){„`hg}i„`up

lkcMe r¬ntp†>r>sXr¬nzr>pv\w)c„ntrJc˜afw)aMp‡

Ì

ŵ͵/ÎÏ7Ê

]5ŠbwX…Mg}wAw)xpbŠb`g}`i)r¬{)`c5‡

³$»žxMnt^f`aMcMr>w)cw)xdnŠbw›p}af‚M³Ñi„g}w)af…dp3r>pl8p}af‚f³“i„g}w)af…5‰mnt^f`cw„cM`_rJprJcMvh†JaMef`ue6r>cnj^M`wknt^f`hg‡

³»žx

f

I = [a, b]

I

»žc‚wknt^vlkpq`uph‰dnt^M`"…dg}wAw„xºpŠb`hg}` §o…Mg}`h…logj`eG¨„‡S¼Mw„g™nt^f`pq`uv\w)cMe Šb`^Glkei)r¬{)`c nt^f`rJc„nj`hg}³

s`ueMrJlonj`6g}`pjaM†¬ntp8njw‚S`6…Mg}wu{)`e¯¸$†|`\n

P = { c ∈ [a, b] / f

[a, c] }

nt^dlon

P

lub

P

cfwkn'‚`6njwAw†>w)cfi½£ºnt^f`\~Œ^Glke nt^fg}`h`K^fw)afgjpt¦›lkcMe•p}rJcMv\`6nt^f`Kcf`\ŽAnpžnj`h…‹w)xnj^M`X…Mg}wAw)x8£ºnj^M`

†|`olkpžn™af…d…`hg_‚w)aMcderJpr>c

P

ýþ<Ð ‰#Š6‹•Ž ‹” ‡ ”

Ì

ŵÍрÆ%ÂzÂÒË9ÓK¶4Ä%ÅÕÔÖŀÂ×

£q¤o¦®z†J†nj^M`%pqntaMef`c)ntp"^Glh{„`Kv\w)s6…d†|`\nj`u†¬~‹efw)cf`Xnt^f`%…Mg}wAw)xp"w)xnj^M`6nŠbw¶dgjpžn'…dg}wkïž`v0ntp

£D¿™`r>cM`lkcMe8ž™wA`\nt^f`hg0¦bŠ™r¬nt^nt^f`'vhw„s6…daAnj`hgu‡Sˆ˜w)s`"w)xnt^f`sΊ™r¬nt^{)`hgq~†>r|n}nt†|`^f`†>…5‰pqw)s`

Š™r¬nt^ sw„g}`„‡

£“±„¦¼dw„g6nj^M`†©lkpžn%w)cf`„‰3w)cM†|~#nj^M` i„g}w)af…¹Š™r¬nt^#nt^M`x©w)aMgqnt^¯…Mg}w„ï`v\n%¶dcMrJp}^f`ue¢‡3»“nXŠ_lkp

vh†>`ulmgj†¬~<nt^f`6`olkp}r|`upžn›w)cM`„‡5®zx©n}`gnj^M`\~<¶GcMr>pj^f`e¢‰¢nt^f`h~Šb`g}`%lkpqµ„`e<njw …Mg}wu{)`nt^dlonnt^f`%pq`\n

w)x5…dr|`uv\`\Š™rJpq`†>rJcf`ulmg_xºaMcMv0ntr>w)cMpbw)c

[a, b]

]_^M`zi„g}w)af…%Š™r|nt^Xnt^f`ef`h¶dcdr¬ntr>w„cKw)x

R

R

‚`pqni„g}w)af…‚dafn_nj^M`…Mgjwkï`uv0n_Š_lkp…Mgjwk‚lm‚d†¬~KnjwAwXeMr|–XvaM†¬nu‡

]_^M`bnŠbwwmnt^M`hg.i„gjw„aM…dpeMr>egtlont^f`hg3x©`\Š¯nt^MrJcfi)ph‰„sXlkrJcM†¬~‚`vlkaMp}`w)xMnt^f`_sXlont^f`s%lonjrJvlk†

eMr>–XvhaM†|ntr|`p™r>c-nt^f`r>gv\w)s…dg}`^f`cdp}r>w„cw)x5Š™^Glun™pj^fw)aM†>e‚`"efw)cf`„‡

£Ñ‘)¦]_^f`g}`pjaM†|njpw)x_nt^f` `\ŽMlks ^dlh{)`‚``c½{)`hgq~¯eMr>ptlm…M…w)r>c)ntr>cfid‡3®zxJnj`hg ¤o´sXr>cAaAnj`ph‰

Šb`^dlkenjw%nj`†J†$nt^M`s nt^dlonu‰Sxw„g™nt^f``\Žf`hgjvhrJpq`w)cnt^f`i„g}w)af…Gph‰Gnt^f`\~<^dlh{)`'njw-aMpq`6l%…Mg}wAw)x

‚)~¹v\w)c)njgtlkeMr>v\njr>w)c¢‡]_^f`hgj`Š_lkp%lkv0ntadlk†J†¬~¹cfw‹g}`ulk†vt^fw)rJv\`‚daAnKcfw)cf`w)xnt^f`s ^dlke#njgjr|`ue

nt^dlonu‡fÌzcM†|~X^dlk†JxSw)xGnt^f`usÀ¶dcMrJp}^M`e6nt^f`…dg}wAw„x‡˜]_^f`™wknj^M`hg^Glm†JxŠb`hg}`™‚d†>wAvtµk`ueKlkxJnj`hg^Glh{frJcfi

n0lmµk`uc

x

r>c

G

− G

lkcMe

x

rJc

G

− G

‡˜¼Mw„g3nt^f`™`\Žf`hgjvhrJpq`w)x5lkcdlk†¬~Mp}rJph‰)`\Žfvh`h…fnnt^f`™‚`pžn

pžntadef`c„nŠ™^fwKlk†>sw)pqn¶dcMrJp}^f`ue-nt^f`›…Mg}wAw)x“‰dcfw„‚wfeA~ p}aMvv\`h`eM`e rJc…Mg}wu{frJcfi6nt^dlon_nt^f`"†>`ulkpžn

af…d…`hgz‚w)aMcdew„x

P

P

Š_lkp`\Ždlkv0nt†¬~Knt^f`›pjlks6`›lkp_xw„g_¿™`rJcf`8nt^M`hw„g}`s‡Gˆ˜w)s6`8w)x$nj^M`s‰fn}w6…Mg}wu{)`

a ∈ P

f

[a, a]

f

Ì ÅµÍрÆ%ÂzÂÒËØÂ'·ÕрÏ7ѵLÆ

®zx©n}`gnt^M`\~K^Glmeefw)cf`znt^M`8…Mg}wAw)x¢Š™r¬nt^-š^fw„œ‰˜nt^f`h~XŠb`hgj`›lkpqµ„`e%njwŠgjr¬nj`r|nw)cK…lm…`hg

lkpnt^f`h~K^dlkeefw)cf`›x©w„gl"njgtlkeMr|ntr|w)cdlk†¢^fw)s`\Šwkgjµ‡M”8afgjr>cMint^f`8…dgtlkv0ntr>vlk†Šb`›^f`†>…`eKnj^M`s

lkcMe½lkcMpqŠb`hg}`eŒnt^f`r>g'ò˜aM`pžntr>w)cMph‡]_^M`c¢‰5Š`%v\w„g}g}`uv0nj`e nt^f`ur|g'¶Mgjpqn›{)`hgjpjr|w)c—£Dr¬n'Š_lkp"sw)pqn

w)xJnj`cvlon0lkpžnjg}w„…d^dr>vu¦lkcMe`\ŽA…G†Jlkr>cM`e¢‰Sr>cef`hn0lmrJ†O‰GŠ™^dlon™Š_lkp_Šg}w)cMid‡G¼.rJcdlk†>†|~)‰dnt^M`\~^dlke n}w

i)r¬{)`"aMp™lcf`\ŠE{)`hgjpjr|w)c-Š™^Mr>v0^-Š_lkpi„gtlkef`ue¢‡

]_^M`g}`pjaM†|njp‰¢xw„g8nt^f`…Mg}wAw)x3w)x¿`ur>cf`nt^f`hw„g}`s ‰Šb`hg}`{„`hg}~<edr>p}^M`ulmgqnj`cMrJcfiŒ¸¢w)afg›r>s³

…Mg}`up}p}r>w)c‹Š_lkp"nt^dlonnj^M`K…Mg}wAw)xbŠ™r|nt^‹nt^f`-v\w)s6…daAnj`hg^dlkp'‚`h`uc½aMp}`†>`p}p‡7]_^f`g}`K`\{)`c#^dlkp

‚`h`ucli„g}w)af…nt^dlonz^dlkeŠgjr¬n}nj`cl…Mgjw˜w)x7w„xlg}`p}ad†¬nnt^dlonz†|wAw„µ„`e †Jr|µ„`"‚daAnzedr>ecfwknzv\w„gq³

g}`p}…w)cMe%njw'nt^f`v\w)s…lkv0ntcf`pjpw)x

[a, b]

¼dg}`cMv0^¢‡]_^MrJp™^f`u†|…`uent^f`usÓnjwKaMcdef`hgjpqntlkcdent^dlon™nt^f`'x©w„gjs%lk†5…Mg}wAw)x.rJp_{)`hgq~vh†|w)p}`›njwXnj^M`

r>cdx©w„gjsXlk†¢w)cf`„‡

]_^GlkcfµAxºaM†>†|~)‰)nt^MrJpeMr>pjv\w)afgtlmi„`s6`c„nbedr>ptlo…d…`ulmg}`eKlkcMe¢‰˜‚`\nŠb`h`uc6nt^f`™¶Mgjpžn_lkcMe6nj^M`™†©lkpžn

…Mg}w„ï`uv0nu‰fnj^M`›rJs…Mgjwu{„`s6`c„n_Šlmpvh†>`ulmg›¸fnt^f`g}`8Šlkplk†>s6w)pžn™cfwknt^MrJcfinjwXv\gjr|ntr>vhr^Çh`›w)c-nt^f`r>g

†Jlkpqn…Mg}wAw)x$w)c-…lm…`hg‡

ýþÙ ‰#Š6‹•‡ÚÛz‡‘‹”Ü 97Š*‹Œ”/‘}}‹€ ”

ÝÃÞ2߂Þ@à

Ì ÅµÍáS¶2âÜãLäSå4Ä%¶Gµ\ËHÄ.ÂæµJÄKϘрÆ%ÂzÂÒ

]w6i„`\nzl…Mg}wAw)xr|n™rJp_cf`uv\`pjpjlmgq~Œ£Dlkcdep}aM–Xvhr|`uc„n\¦njwXaMpq`nt^f`gjad†|`p‡dñbafn‰

Ì ÅµÍÂÆ%áSµLƶ<·çÓØÅS¶Gã)ÅÄkŵÍÆkäSåGµLËØϑÆ%µÍÏ7рÑèå<¶GµLáé¶GËض<Ê#ÑÂÆ>Ä.Ï·Ä

¼dw„g7`hŽMlks…d†>`„‰unjwz…Mgjwu{„`

∃ x(A(x) ∧ B(x)) → ( ∃ xA(x) ∧∃ xB(x))

¦>¥ ê\­ ªr ˜¦>¥ ê\­ ª ë¦>¥ ê\­ ª Í¡L«J¬/êíìî ï¦>¥‚©kꑢ%¥‚ðJ«•ñ7òÜó 

rJpcfwknnj^M`‚`hi)r>cdcMrJcfi

w)x$l"v\w„g}g}`uv0nb…Mg}wAw)x3£ºnj^M`z^)~A…wknt^f`pjr>p

∃ x(A(x) ∧ B (x))

¦>¥ ê\­ ª

^dlkp

‚`h`uc¹ef`cfwknj`e¯‚˜~

H

±/²ª)³ ¦>¥ ê ­ ªr 

¿ ¸1õ

∃ x(A(x) ∧ B(x)) ` ∃ x A(x) ∧ ∃ x B(x)

ô

±/²ª)³

ô

¦>¥ ê ­ ªr 

¿ ¸1õ

∃ x(A(x) ∧ B(x)) ` ∃ x A(x)

¿ ¸1õ

∃ x(A(x) ∧ B(x)) ` ∃ x B(x)

ô

±/²ª)³

ô

¦>¥ ê ­ ªr 

¿ ¸1õ

∃ x(A(x) ∧ B(x)) ` A(?1)

¿ ¸1õ

∃ x(A(x) ∧ B(x)) ` ∃ x B(x)

ô

±/²ª)³

ô

¡L«J¬Lêíìp 

¿ ¸1õ

A(x) ∧ B(x) ` A(?1)

¿ ¸1õ

∃ x(A(x) ∧ B(x)) ` ∃ x B(x)

ô

±/²ª)³

ô

¦>¥‚©kꑢ%¥‚ðJ«*ñ7òÜó 

ö

­\­ ªJ­ø÷;ù‘¢ ¦J¡ú£'¢)êð.²

»“nxOlmrJ†>p‚`uvlkaMpq`8nj^M`pq~fpžnj`s µ„`h`h…Gp_lv\w)cdpžnjgtlkr>c)npjlh~Mr>cfinj^Glon

ñ7ò

p}^fw)ad†>ecfwknaMpq`8nj^M`

{„lmgjrJlm‚d†>`

x

¡L«J¬/êíì

‚`vlkaMp}`nt^f`_nt^Mr|gte

¦>¥ ê\­‘ª

r>c)n}g}wfeMadvhr>cMi

ñ7ò

vlks`‚`ux©w„g}`„‡

]_^M`-v\w„g}g}`v\n†Jr>pqnrJpK¸

¦>¥ ê\­‘ªr Í¡L«J¬/êíìp ë¦>¥‘ê\­ ªr ë¦>¥‘ê\­ ªr ë¦>¥‚©kꑢ%¥‚ðJ«•ñ7òÜó 

Š™^dr>vt^

~fr>`†JeMpnjwnt^f`›ptlms6`¶Mgjpqn_i„w˜lk†¢‚daAn_Š™r|nt^fw)aAn_nt^f`"v\w)cMpžnjgtlkrJc„nu‡

]_^dr>pKsXr>pqntlmµ„`„‰3nt^dlonKŠ™r>†J†`\{)`cŸcfwknK‚S`eM`\nj`v0nj`e—rJcŸl‹…Mg}wAw)x8w)c¹…lm…`hg‰rJpKr>cŸxºlkv0n

v\gjadvhrJlk†¢p}rJcMv\`r|n_rJpp}rJs6rJ†Jlmgbnjw'nt^f`z{)`hgq~Kvhw)s6sw)cKsXr>pqntlmµ„`zŠ™^Mr>v0^-v\w)cMpjr>pqntph‰˜njw…Mgjwu{„`znt^Glun

nt^f`›p}`òAaf`cMvh`

(u

)

n

ˆfr>s6rJ†Jlmgj†|~)‰Sš^fw„œÀg}`qïž`v0ntp¸

¦.¥ ê\­ ªr ë¦.¥ ê\­ ªr ˜¦>¥ ê\­ ªr ˜¦>¥ ê\­ ªr ˜¦>¥‚©%ꑢ%¥‚ð/«ûñÕó  lmcde

lkcMpqŠb`hgjpnj^Glonr|nefwA`pcfwknµAcMwuŠ

x

x

Ì ÅµÍã)Å‚¶Gã/µ8ÂÒîÄkŵÍÆkäSåGµLËCÄ%ŀÏ\ÄKÏ7Æ%µÍÏ7рÑèå<¶GµLáé¶GË9ÏåGË>Â#ã/Ækä€ãL¶GÏ7å

ñb`vlkadpq`_w)xdnt^f`xºlkv0n3nt^dlon3…Mg}wAw)xplmg}`{„`gq~xw„gjsXlk†dlmcde6r¬nr>plm†|Š_lh~Mp…w)p}p}r>‚d†>`njwi)r¬{)`™l

v\w)s6s%lkcMeXlkcMeXpq`h`Š™^Glonnt^M`sXlkv0^MrJcf`™lkcMpqŠb`hgjp‰mnt^f`™pžntaMeM`c„ntppq`ulmgjv0^6x©w„g3…dg}w˜w)xºp‚d†Jr>cdeM†¬~˜‡

ÌzcM`v\w)aM†>evhw)cMp}rJef`hg™nt^dlon™nt^MrJpzr>p8lXefg0lhŠ‚Glkvjµw)x.…Mg}wAw)x.w)cvhw„s6…daAnj`hgtph‰G‚daAn™nt^MrJpzsXlmµ„`p

nt^f`sÎg}`ulk†>r^Çh`nj^Glonnt^f`h~^dlh{)`8njwXpžn0lkcMe‚Glkvjµ-x©gjw„sӊ™^dlon_nj^M`\~ lmg}`›efw)rJcfid‡

]_^M`xw„†J†|woŠ™r>cfi`\ŽMlks6…d†|`›£Dr¬n3rJp3l™g}`ulk†Aw)cf`o¦r>p3lzvlmgjrJvlontafg}`‚daAng}`h{„`ulk†Jr>cMiM‡k»žc"nt^f`…Mg}wAw)x

w)x¿™`rJcf`„‰knj^M`xºlkv0nnt^Glun

<

R

w)xGnj^M`zlo…d…`cMedr¬Ž6ñ8‰„…Glmi„`›¤h¥A¦0‡)]w"^f`†>…6nt^f`™pžntaMef`uc„ntpn}w›‚`uv\w)s`™sw„g}`xºlksXr>†JrJlmg3Š™r¬nt^nj^M`

pqw)x©nŠ_lmg}`„‰˜nt^f`\~K^Glke%njw…Mg}wu{)`znt^dlon

≤

x ≤ y

w)x5nt^f`›¶d†|`"¿™`rJcf`o¦

x < y ∨ x = y

ê\­7¦k§¦J¢L¡

‰Gš^fw„œúefwA`pbnt^f`

…Mg}wAw)x3r¬ntpq`u†>x“‡$ˆ˜w)s`pžntaMeM`c„ntp™Šb`hg}`'njgq~frJcfiKn}w-…Mg}wu{)`

x = z

x < y

lkcMe

y < z

∨

¦>¥ ê\­ ª

r>pnt^f`™…Mg}wAw)xGw)xGnt^f`™gjr|i)^)n^dlkcMe%p}rJef`w)xGnt^f`

∨

njwXp}aMvv\`h`e¢‡

]_^dr>p †|`\naMpg}`ulk†JrÈÇh` nt^dlon-nt^M`hg}`Œr>pl½…w)r>c)n w„cŸŠ™^MrJvt^Er¬nr>p cf`vh`p}ptlog}~°njw¯rJcMp}rJpžn‹¸

pqw)s6` gjaM†|`up lmg}`ŒrJc„{)`hgqntr>‚d†|`—£nt^f`‹cf`\Š ikw˜lk†r>p…Mg}wu{„lm‚d†>`Œr>¡Int^f`Œ…Mg}`\{Mr|w)aMpw)cf`‹r>p0¦%‚daAn

pqw)s6`›wknt^f`gjpzlmg}`'cMwkn8lkcMe nt^˜adph‰aMp}rJcfi%nj^M`s vlkci„r|{)`lXeM`ulke `cde¢‡¼Mw„gz`\ŽMlks6…d†|`)‰

∧

r>c){)`hgqntr|‚d†>`‚GaAn

∨

A ∨ B

£Dr>cM`ò˜aGlm†Jr¬n~˜‰ds`us"‚`gjp}^Mr>…5‰f`hntvu¦w„gx©w„gjs'ad†Jlkp_pqn0lmgqntr>cfiŠ™r|nj^

∃

∨

®zcfwknt^f`g-`\ŽMlks6…d†|`Œp}^fwoŠ™p%Šb`†J†™nt^Mr>p†Jlkvjµ°w)x"eMr>pqn0lkcMv\`„‡”8aMgjr>cfi½nt^M`<`\Ždlks‰w)c—nj^M`

`\Žf`hgjvhrJpq`<w)c°nt^f`i„g}w)aM…dph‰l•pqntaMef`c)n^dlke¢‰r>cŸ^MrJp-^„~f…wknj^M`pq`uph‰

x.x

= x

w)xnj^M`i)r¬{)`cŒloŽMr|w)s6p‡S]_^dr>p†|`hn›aMp8g}`ulk†>r^Çh`nt^dlonu‰S`h¡`v0ntr|{„`†|~)‰¢w)cf`w)xnt^f`XluŽMr|w)sXp8xwkg8nj^M`

r>c){)`hgjpq`'Šlmp™Šgjr¬n}nj`c lkp

∀ x x.x

= x

]_^M`8xw)†>†>wuŠ™r>cfi6^f`uafgjr>pqntr>v™Šbw„g}µAprJcKs6w„pqnbw)x¢nt^f`vlkpq`pnt^f`pžntaMef`uc„ntp^dlh{„`znjw'Šbw„g}µXw)c

£O‚wknt^ w)c nt^f`sXlkvt^MrJcf`lkcMew)c…Glm…`g0¦¸¶Mgjpqn8efwlk†>†$nt^f`-£Dr>c){„`gqntr|‚d†>`3õ¬¦

¦.¥ ê\­ ª

nt^f`caMp}`

l^„~f…wknj^M`p}rJp‚˜~lkc

«L¡ ¦D£

w„g™lkc

¢%ÿLÿ¡

lkcMepqntlmg}n™lmi)lkrJc¢‡M]_^M`g}`ulk†¢edr|–XvaM†¬n~pj^fw)aM†Je-‚`

njwK¶dcde nt^M`"njgjrJvjµfp™nj^Glon›lmg}`cf`uv\`pjpjlmgq~ njwKi„`\nznt^f`…Mg}wAw)x“‡Sðw)pqn8w)x.nj^M`"ntrJs`„‰Gnt^f`h~^dlh{„`

nt^f`i„wAwAe<r>c„ntadr¬ntr|w)cdpz‚daAn›r¬n›r>p™nt^f`‚Glkp}rJv'…Mgjr>cdvhr|…G†|`p‰SrD‡`„‡GŠ™^Glun›r>plX…dg}w˜w)x‰Gnj^Glonlmg}`cfwkn

vh†>`ulmgx©w„g_nj^M`s‡

ª‹`^GlmenjwKg}`h…`olonsXlkc„~ ntr>s6`pnt^f`g}w)†>`w„x.nt^f`'nt^fg}`h`‚Glkp}rJvv\w)s6s%lmcdeMp'¸

¦>¥ ê ­ ª rJp

aMp}`eŒnjw¹§njgtlkcMp}†©lonj`o¨<nj^M`Kv\w)cMv†>aMpjr|w)c#lmcde•efwA`p'cMwmnvlmg}`Kx©w„g"nt^f`K^)~A…wknt^f`upq`p‡

«L¡‘¦D£•ì

aMp}`p¿úlkcMei)r¬{)`p™l6cf`\Š v\w)cMvh†JaMp}r>w)c‹£Dx©g}w)s Š™^dr>v0^-nj^M`›…Mg}`\{Mr|w)aMp_w)cf`"xw)†>†>wuŠ™pt¦0‡

¢%ÿLÿ'¡íì

i)r¬{)`p™lcf`hŠIµAcfwoŠ™†|`eMik`Š™r|nj^Mw)aAn™vt^GlmcMi)r>cfi6nt^f`›v\w)cdvh†>adp}r|w)c5‡

ª‹`%^dlke<n}w g}`h…`ulon'sXlkc„~ntrJs`p8nt^dlon'l^„~f…wknt^f`p}rJpw)x3nt^f`Xx©w„gjs

∀ x(A[x] → B[x])

vlkc½‚`-aMp}`e•w)cM†|~½r>c•nj^M`-vlkp}`lkc•w„‚Mï`v\n

t

A[t]

lh{„lkr>†©lm‚d†|`)‡b¼Mw„gK`\Ždlks…d†>`„‰rJc¹nt^f`…dg}w˜w)xznt^dlonKnŠbw½w„cM`\³Dnjwk³Ñw)cf`<xadcMv0ntr>w„cdpXŠ™r|nj^ŸeMr>pDïw)r>c)n

p}aM…M…w„gqntpvhw„sXs'afn}`)‰fp}w„s6`pžntadef`c„ntpbŠb`hg}`8njgq~frJcfinjwadpq`8nt^f`›r>cmïž`v0ntr¬{Mr¬n~-w)x

f

Š™^f`hgj`8nt^f`w)cd†¬~Knt^MrJcfi6µfcfwuŠ™cKŠlkp

f (x) = x

ª‹`%lk†>p}w ^dlke<n}wg}`…`ulon"sXlkc)~ntr>s6`pznt^dlonnjw…Mgjwu{„`

∃ xA[x]

¦>¥‘ê\­ ª

vlkcK‚`aMp}`eKw)cM†|~XŠ™^f`cKŠb`zµfcfwuŠŠ™^dlon_rJpnt^f`8w„‚Mï`v\nbŠb`›lmg}`†|wAw„µArJcfi6x©w„g‡˜ª‹`›lk†Jpqw6^dlke

njwpjl~"nj^Glon3r>xGw„cM`i)r¬{)`ppjaMvt^6lkcw„‚Mï`v\n‚)~vt^Glmcdv\`„‰„r¬n{„`hgq~gtlmg}`†|~"Šbw„g}µAp5õk]_^M`_x©w)†>†>wuŠ™rJcfi

`\Ždlks…d†>`„‰klmi˜lkr>c"{)`hgq~'vulogtr>vlontafg}`ue¢‰mr>p.g}`ulk†¸klkxJnj`hg^dlh{frJcfipj^fwuŠ™c"nt^dlon3l8€lkaMv0^„~'p}`ò˜aM`cMv\`

r>p"‚w)aMcMef`ue nj^M`%pžntaMef`uc„ntp%£Dr>c nt^f`X…dg}w˜w)xw)xnt^f`%v\w)s…G†|`\nj`cM`p}p›w)x

R

`\ŽMr>pqn}`ucMv\`%w)x_lkc½lmvvhaMsaM†Jlontr>w)cŒ…w)rJc„nu‡”z`p}…dr|n}`Xnt^M`%xOlkv0n"Šb`K^dlke‹i)r¬{)`cŒnt^f`us nt^f`Kr>eM`ul

njw-ik`hn8nj^dr>p8…w)r>c)nu‰Gnt^M`\~^Glke<r>sXs`edrJlonj`†|~i)r|{„`cnt^f`6v\w)s6sXlkcMe

¦>¥ ê\­‘ª

lkcMent^f`h~ Šb`g}`

…Mg}`hn}`ucMeMrJcfi"nt^Glunnt^f`lkvhvhads'aM†©lontr|w)c%…w)r>c)nnt^f`\~6Šb`g}`z†>w˜w„µfr>cfix©w„gŠlmpnt^f`8af…M…`g‚w)aMcde

nt^f`\~^dlke…Mg}`\{Mr|w)adp}†¬~ x©w)aMcMe5‡

Ì ÅµÍË>µ\Ê#Ï7·'Ä%¶Gã/ËØÂÒ6ÒÂ'ÆkÊïä€å<ϑË

»žcnt^f`"…Mgjw˜w)xnt^dlonnŠbwXw)cf`h³Dnjwk³Ñw)cf`"xºaMcMv\njr>w)cMp_Š™r|nt^ edr>pDïw)r>c)nzpjaf…M…Swkg}njp™v\w)s6saAnj`„‰MŠb`

^dlh{)`

H := ∀ x(f (x) = x ∨ g(x) = x)

∀ x(f (g(x)) = g(f (x)))

n0lmµk`6lkc

x

‰Šb`adpq`

H

lkcMe<v\w)cMpjr>eM`hg™nt^M`'nŠbw-vlkp}`pz‚)~

«L¡ ¦D£•ì

‡»žc›nt^f`¶Mgtpžn7vulmp}`3Šb`nj^AaMp^Glh{„`)‰uxw„g`\Ždlms6…d†>`„‰

H

:= f (x) = x

H

Š™r|nt^

g(x)

f (g(x)) = g(x)

Š™^MrJvt^¢‰¢w)xvhw)afgjpq`)‰¢vlkcMcfwkn›‚`6efw)cM`o¦zlkcMe<nt^f`6aMpq`6w)x

H

g(x)

‚dafni„r|{)`p™lmi)lkrJcKnŠbwXpjaf‚f³vlkpq`p‡

´zÑ‘Ä%ŀµLË.¶G˂µLÆ%Ë.ä€Ë9ã/‚·ãLå<ä€Ë.¶GÂ'·

]_^M`pqnjadef`c)njp_eMr>pjv\wu{)`hg}`eKnt^dlonu‰frJc l"…dg}wAw„x‰˜nt^f`›pq`\n_w)x$^)~A…wknt^f`upq`p_sXlh~Kv0^dlkcfi„`"lmcde

nt^f`\~s'aMpqnµAcMwuŠ"‰„lon`olmv0^pžnj`…w)xMnt^f`…dg}w˜w)x‰oŠ™^dlon3vulkclkcde'Š™^dlon3vlkcdcfwkn‚`_aMp}`e¢‡„]_^f`\~

pqw)s6`\ntr>s6`p"v\w)cMxadpq`K^„~f…wknj^M`p}rJplkcMe•v\w)cMvh†JaMp}r>w)c°¸5Šb`%w)xJnj`c‹xw)aMcMe•pžntadef`c„ntp›njgq~frJcfin}w

…Mg}wu{)`"x©w„gjsaM†JlkpŠ™^Mr>v0^¢‰drJcxOlkv0nu‰dlmg}`"^„~f…wknj^M`pq`up5õ

Ì Åµï·ÏʘµÍ悶'µ\·úÄ%Â# Dµ\ã)Ä.Ë

ž8lks6rJcfi6{klmgjr©lm‚d†|`uprJp™lkcfwknt^f`hg_{„`gq~rJs…w„gqn0lkc„n™…w)r>c„nu‡Gš^fw„œ«n0lmµk`upvlmg}`›w)x$nt^Mr>pzlmcde

i)r¬{)`p8cM`\ŠÀcdlks`p™njw%nt^f`'{„lmgjrJlm‚G†|`pzŠ™^f`c<r|nrJp8cf`vh`p}ptlog}~)‰SrO‡`„‡¢x©w„gznt^f`gjaM†>`p

∀

∃

]_^MrJpz`†>rJs6rJcdlonj`plkc<r>s6…w„gqntlkc)npqw)aMgjv\`'w)x`hg}gjwkgtp'¸¢x©w„gz`\Ždlks…d†>`„‰Sr|nrJp8rJs…w)p}pjr|‚G†|`'njw-efw

Š™r¬nt^Kš3^Mw„œIl"pjaMvt^KlŠgjw„cMi"…dg}w˜w)xSw)x

∃ xA ∧ ∃ xB → ∃ x(A ∧ B)

v\w)s6s%lkcMe

«L¡‘¦D£

¶MgjpqnzŠ™r¬nt^

∃ xA

∃ xB

g}`pjaM†|n'£ºw)c…Glm…`hg0¦lkcMelm‚w„afn™^dlk†>xw)x$nj^M`sÎeMrJe p}aMvv\`h`eõ

Ì8cf`8s%lh~%ef`vr>ef`)‰Mlonp}w„s6`z…w)r>c)nbw)xSnt^M`z…Mg}wAw)x“‰)njwg}`cGlks`

x

y

y

Š™r>†J†dcMw"s6wkgj`_‚`™aMpq`e5‡)]_^MrJpr>p3g}`ulkp}w)cdlm‚d†>`„‰˜lkcMe6w)xJnj`cXefw)cf`‚dafnu‰)r>cnt^f`…Mg}`upq`c)n3{)`hgjpjr|w)c¢‰

nt^f`hg}`Kr>p'cfw ŠlmgjcMr>cMi<lkcMeŒŠb`%^dlkeŒnt^f`%vulkpq`Xw)xpžntaMef`uc„ntp›Š™^fwx©w)aMcMeŒnt^dlon'g}`cGlks6r>cMi

y

r>c

x

x = 0

y

v\w)s…GaAnj`hg_g}`uxaMp}`e-njw6…dg}wu{„`

x = 0

x

ªE^f`cnt^f`gjaM†>`p

∀

∃

nt^dlonu‰fnjwXaMpq`'l^)~A…wknt^f`pjr>p™lkp

∀ xA

x

Šb`Š_lkc„nnjw…dg}wu{„`

∃ xA

x

á‘Ï·Ä%ϑæ'µLËØÏ7·€á áS¶2âÜãLä€å4Äk¶GµLË9áèäµ:Ä%ÂëÄkŵÍË>ÂÒ@ÄÓ Ï7Æ%µ

ª‹`"njgq~njw%i)r|{„`'`\Ždlks…d†>`pnt^dlon8vlkc‚`"njg}`ulonj`eŠ™r|nt^fw)aAnz‚S`r>cMi-lkc¯§u`\Žf…`hgqn\¨w)x7nj^M`

pqw)x©nŠ_lmg}`„‡)]_^f`_¶dgjpžnblkaAnt^fw„grJpcfwknp}aMv0^¢‡)]_^f`™pq`vhw)cMeXlkafnj^Mw„g‰„š^fw„œH…p3xOlunt^M`hg‰„w)xJnj`cXefwA`p

p}^Mw„gqnj`hg_w„gsw„g}``†>`hi˜lkc„n…dg}w˜w)xºpbnt^dlkcKnt^f`"x©w„gjs`g‡

¿™wuŠb`h{„`hgu‰r¬n^dlm…M…`cdp_nt^Glun8pqntaMef`c)ntpzlmg}`'‚d†|wfvtµk`e‚`vlkaMp}`"w)x7nt^f`pqw)xJnŠ_lmg}`)‡G]_^dr>pzrJp

pqw)s6`\ntr>s6`p™£O‚daAnbs6w„g}`zlkcMe%sw„g}`™gtlmg}`†¬~G¦.‚`uvlkaMpq`™w)x5lK§u‚GafiA¨6r>c%š^fw„œ‰)‚daAnnt^Mr>pvhw)s`p

sw„g}`8v\w)s6s6w)cM†¬~%xg}w)sÀnt^M`8xºlkv0nbnt^dlonnt^f`h~%^dlh{)`™njwµAcfwuŠ«l›‚dr|n_sw„g}`lm‚w)aAnš^fw„œ‡A]_^M`

sw)pqnpjr|i)cMr>¶dvlkc)n`\Ždlks…d†>`^dlkp5‚``cnt^f`aMp}`3w)x˜nt^f`bloŽfr|w)sIw)xfvt^fw)rJv\`z£D®™€_¦¢r>cnt^f`ž™wA`\nt^f`hg

`\Ždlks…d†>`„‡ðw)pqn$w)x)nt^f`ntr>s`)‰r>c"l_sXlont^f`sXlontrJvlk†m…dg}w˜w)x‰\Šb`efw™cfwkns`c)ntr|w)c8nt^f`aMpq`3w)xA®™€

p}rJcMv\`r¬ntp§njgjaAnt^G¨8p}`h`sXpS{)`hgq~›cdlontafgtlk†D‡]_^dr>pr>p$w„x©nj`c"li„w˜wfe8nt^MrJcfi‚`vlkadpq`nt^MrJp$eMr>–XvhaM†|n~

r>p.lpq`vhw„cdedlmgq~w)cf`)‡mÌ8cnt^f`vhw)s…daAnj`hgu‰hnj^dr>p7eMr|–%vhaM†|n~›vulmcdcfwkn7‚`blh{)w„rJef`e"‚`vulkaMpq`„‰orJxf®™€

r>p.cM`v\`pjpjlmgq~K£Dr>c"nt^f`sXlont^f`usXlontr>vlk†Apq`cdpq`w)xfnt^MrJpŠbw„gjeG¦$r|ntp7adpq`s'adpžn3lm…M…`olmg.pqw)s6`\Š™^f`hg}`

lkcMeXr|nrJpcfwknblk†|Š_lh~Mp3`ulkpž~˜‡)]_^f`™vt^Mw)pq`c6…Mgj`pq`c)n0lonjr>w)cŠ_lkpnjw˜w'p}af‚Mnj†>`‚dafn‰˜cfwuŠ"‰„Šb`™^dlh{„`

aMcdef`hgjpqn}wAwfe›nt^f`Š_lh~'r|npj^fw)aM†Je"‚`efw)cM`z¸uŠ`bpj^fw)aM†Je"…dg}wu{frJef`nt^f`x©w„gjs w„xd®™€Œnt^f`\~"g}`ulk†J†¬~

cf`h`ue¢‡.¼dw„grJcMpžn0lkcMvh`„‰

∀ x ∈ A ∃ y ∈ B P (x, y) → ∃ f ∀ x ∈ A (f (x) ∈ B ∧ P(x, f(x))

x©w„g%®™€ÓlkcMe

a ∈ A ∧ ∀ x ∈ A ∃ y ∈ A P (x, y) → ∃ u (u(0) = a ∧ ∀ n ∈ N (u(n) ∈ A ∧ P (u(n), u(n + 1))))

lmg}`cfwkn™njgjr|{fr©lk†>†|~ef`eMadv\`exg}w)s nj^M`x©w„gjs w)x®™€…dg}`pq`uc„nt†¬~i)r¬{)`c Š™r|nt^š^fw„œ›¦bŠ™r>†J†‚`

r>cdvh†>adef`er>cKnt^M`›†Jr|‚dgtlmgq~-w„x$nt^f`›cM`\Ž˜n_{)`hgjpjr|w)c¢‡

Ì8cnj^M`_sXlkv0^Mr>cM``\{)`hgq~Ant^Mr>cMi›saMpžn3‚`b{)`hgq~…Mgj`vhr>p}`›¸ont^MrJp3^dlkp3lkeA{„lkc)ntlmi„`plkcMeeMgtlhŠ_³

‚GlkvtµAph‡

³b®_ef{klkc)n0lmik`up"¸dg}`òAaMr>gjr>cfiXnt^f`'pžntadef`c)njp_njwXŠgjr¬nj`'ef`h¶GcMr¬ntr>w)cMp‚˜~-nt^f`us6pq`u†¬{)`p™r>p_{)`hgq~

x©w„gjs%lonjr|{)`lkcMe¯r|n6n}wAw„µ‹nt^f`s9w)x©nj`c¹l †>w„cMi njrJs`„‡3]_^f`x©w)†>†>wuŠ™r>cMi‹xºlkv0n£ºnt^dlon%^dlm…M…`cdp

ò˜adr¬nj`zw)xJnj`c¦lk†JpqwrJp{)`hgq~Xg}`h{„`ulk†Jr>cMiM‡dˆ)ntadef`c„ntplmg}`z‚d†>wAvtµk`ue%w)cXnt^f`z…Mg}wAw)x¢w)x5pqw)s`™…Sw„rJc„nu‡

]_^f`\~<v\w)s…d†©lkr>cw)cnt^f`sXlkvt^MrJcf`-¸3§ªE^„~š^fw„œ efwA`p8cfwkn›lkvhv\`h…MnSö»“nrJp™n}gjr|{fr©lk†©¨„‡S»“nrJp

r>cdef`h`e `olmpq~‚GaAnu‰5cf`\{)`hgqnt^f`†>`pjph‰SŠb`Xlkp}µ nt^f`snjw-‚S`XlK‚dr¬n'sw„g}`…Mg}`vr>p}`¸5sw)pžn›w)xJnj`c¢‰

nt^f`"lmgji„ads`c)ntpbnj^M`\~-i)r¬{)`"lmg}`njwkntlk†J†¬~KŠg}w)cfiõ

]_^M`xºlkv0nXnt^dlon6nt^f`sXlkvt^dr>cf`^Glkp%ln~f…drJcfi½lk†|i„w„gjr|nt^Ms‰3†Jr|µ„`r>c¯…dg}w„i„gtlks6s6rJcfi‹†Jlkcf³

i)adlmi„`p‰GrJp_{)`hgq~aMp}`xad†7lkcMexw„g}‚dr>edpzs`ulkcMrJcfi)†|`up}p™xw„gjs'aM†©lkph‡]_^f`pžntaMef`uc„ntp_Š™^MwXŠbw„g}µk`ue

w)cnt^M`6ef`¶dcMr|njr>w)c w)x

R

‚`vulmadpq`nj^M`\~^dlkeKnjwXaMp}`8{„lmgjr|w)aMpn~f…`p_w)x$w„‚Mï`v\njp‡

³”zgtlhŠ‚GlkvtµAp¸lkc„~˜nt^dr>cfi‹nt^dlonK^dlkp6‚``c°x©w„g}i„wknqnj`uc¢‰`h{„`c°rJx8r¬n-r>p%cfwknKr>s6…w„gqn0lkc„nu‰

w„‚d†Jr|i„`p"njwg}`upžn0lmgqnlon'nt^f`K‚`hi)rJcMcMrJcfiŒlmcde¢‰7r>xb~)w)a#lmg}`Kcfwknvlmg}`uxaM†`ucfw)afi)^¢‰7r|nrJp"w)x©n}`uc

Š™r¬nt^pqw)s`"eMr>–XvhaM†|ntr|`p"¸Gx©w„g`\Ždlms6…d†>`„‰Gr>cl6ef`¶dcMr|ntr|w)c w„c p}`òAaf`cMvh`ph‰Mnt^f`"†©lkvjµ-w)x

n ∈ N

nt^dlon7rJpaMpjadlk†>†|~›rJs…G†>rJvhr¬nt†|~gj`ò˜aMr>g}`e'l_i„g}`ulon7eM`ulk†„w)x˜ntr>s6`™£ºŠ™r|nt^"š3^Mw„œ½nt^MrJpr>pcMwkn7^dlkcMed†|`e

‚)~Knt^f`n~A…`"pž~Mpžnj`s ‰f‚`vulkaMpq`Šb`›^dlh{)`›…GlmgqntrJlk†5xaMcdv0ntr|w)cMp0¦0‡

ÝÃÞ2ß‚Þ ¶2âÜãLä€å4Äk¶GµLËHÄ.Â#Ó9Æk¶4Ä%µÍÏëÑSÆ%ÂÃÂ'Ò

»žc%l…Mg}wAw)xGw)c6…Glm…`g‰knt^f`_gj`ulkef`hgs'aMpqn‚`zlm‚d†|`_njw'aMcMef`gjpžn0lkcMent^f`™p}aMvv\`p}pjr|w)c6w)xGnj^M`

i)r¬{)`clmg}i)aMs`c)ntph‡f»žcKnt^Mr>pvlkpq`„‰dr¬n™r>p_cMwkn{)`hgq~-edr|–Xvhad†¬n_njw6rJcMedr>vlonj`8nt^f``hgjg}w„gjph‰AnjwXp}^fwuŠ

nt^dlon'lkcŒlkpjpq`hgqntr>w)c<rJp›cfwkn"v\w„g}g}`v\n›‚)~<i)r¬{frJcfil-v\w)aMc)nj`hgq³Ñ`\Ždlks…d†>`„‰SnjwlkemïžaMpqn"pqw)s`hnj^dr>cfi

r>s6…Mg}`vr>p}`„‰b`hnjv„‡Ì™nj^M`hgqŠ™r>p}`„‰lkcMer|n rJp-w)x©n}`uc—nt^f`Œvlkp}`Œr>cŸ‚lkeŸ…Glm…`hgjp‰nt^f` gj`ulkef`hg rJp

eMrJpjlmgjs6`elkcMevlkcw)cd†¬~ pjlh~-nt^dlonz^f`'efwA`p™cfwknzaMcMef`gjpžn0lkcMelkc„~Anj^dr>cfi-lkcMenj^AaMp™vlkcMcfwkn

^f`†>…nt^f`›pqnjadef`c)n‡

Šb`h`uc%nt^f`8…Mg}wAw)x$efw)cM`zw)c%nt^M`8s%lkvt^MrJcf`6£ºnt^dlonr>pcf`uv\`pjpjlmgjr>†|~Kvhwkgjg}`v0np}rJcMv\`š^fw„œ vlkcMcfwkn

efw lXŠg}w)cfi-…Mg}wAw)xj¦™lkcde<r|njpzn}g0lmcdp}†©lonjr>w)cw)c…Glm…`hg›lk†J†|wuŠb`uenjwKnj`†>†nt^f`s ‰SrJx.Š™^Glonznt^f`h~

^dlke6Šgtr¬n}nj`c6Š_lkpbcfwknpjlontr>pjxJ~Mr>cfiK¸5§Š™^Glon~„w)aK^dlh{)`Šgjr|n}n}`uc%r>pbcfwknŠ™^dlon~)w„aKeMrJeXw)cXnj^M`

sXlkv0^Mr>cM`o¨„‡d]_^MrJp…`gjs6r|nqnj`e5‰fi„gtlkeMaGlk†>†|~)‰fnjw6rJs…dg}wu{„`nt^f`r>g_…Mg}wAw)xp_w)c-…Glm…`g‡

]_^M`›sXlkrJc-g}`usXlkr>cdr>cfiXedr|–Xvhad†¬ntr>`p™logj`8nt^f`›xw)†>†>wuŠ™r>cMiM‡

Ì

ŵÍæÂÃÂzáéåGµ‚µ\åÂÒ}ဵJÄ%϶<å

»žcsXlkc„~—…Glm…`hgjp‰nt^f`<…dg}w˜w)xw)x

{ a } ⊂ [a, b]

x©g}w)snj^M`-xOlkv0nnt^dlonu‰7w)c‹nt^f`sXlkv0^Mr>cM`„‰nt^f`pžntaMeM`c„ntp^dlke#aMpq`ue#lm‚w)aAnnj`c#v\w)sXsXlkcMeMp

`\{)`c#nj^Mw)afi)^¹l

ê ­7¦%§¦J¢L¡

Šlmp`ucfw)afi)^E£O‚wknt^#w)c#…Glm…`hg%lkcde#w)c¯v\w)s…dafnj`hg0¦0‡®zcfwknt^f`hg

`\Ždlks…d†>`½¸w)c°nj^M`<s%lmv0^MrJcf`„‰Š™^f`uc¹nt^f`h~—^dlke°n}w#vhw„cdp}rJef`hgeMr|¡`g}`c„nt†|~¹nt^f`nŠbw#vlkp}`p

x < m

m ≤ x

R

‚dafn‰Gw)c…lm…`hg‰Gr|nŠ_lkp`cMw)afi)^n}wKpjlh~Œ¸

1

x < m

2

m ≤ x

`\Žf…d†>rJvhr|nj†|~•s6`c„ntr>w)cf`eŒnt^M`Kxºlkv0n'nt^dlon'nt^f`p}`XnŠbw<vlkpq`up'vlkc‹‚`-v\w)cMpjr>ef`g}`e‹‚`uvlkaMpq`%nj^M`

w„gjef`gr>pnjwkntlk†SŠbw)aM†Je-…dg}w„‚Glm‚d†¬~-‚`"v\gjr|njrJvhr^Çh`e¢‡

ñb`rJcfi<lm‚G†|`Xn}wp}`h`6Š™^GlunefwA`p"cfwkncf``eŒn}w‚`Kef`\n0lkrJ†|`e—£O‚`uvlkaMpq`Kr¬nrJp"vhw„cdp}rJef`hg}`e

lkp6`ulkpž~G¦lkcde#Š™^dlon%saMpžnX‚`rJph‰r>c)njgjr>cdp}r>vulk†>†|~)‰cfwkn%pjr>s6…d†|`lkcde°lk†>pqw•ef`…`cMedp6w)c#nj^M`

nj`ulkvt^M`hg%¸¢nt^f`g}`%rJp"cfwgjaM†>`3õ$ñaAn"nt^Mr>p'r>p"…Mg}w„‚Glm‚d†|~Œcfwknl sXlmïw„g›…Mg}w„‚G†|`s ‚`uvlkaMpq`Xnj^M`

lkcMpqŠb`hg8vhw„s6`pŠ™r|nt^ nt^f``\Žf…`hgjr>`cMvh`6lmcder|nrJpz`ulkp}r>`hg™njw-†>`ulmgjc<^fwuŠún}w-i„r|{)`†>`p}p8ef`hntlkrJ†>p

nt^dlkcKnjw6i)r¬{)`"sw„g}`)‡

Ì

ŵÍË>µ\Ê#Ï7·'Ä%¶Gã/Ë'µ\Æ%Ë.äËCÄ%ŀµÍË·'Ä.ϑÎçÂÒ6ÒÂÆkÊëä€åGÏ7Ë

]_^M`%sXlkv0^MrJcf`%efwA`p'cfwknv\w)cMxadpq`

∀ x(A[x] → B)

∀ xA[x] → B

njwnt^f`-v\w)sXsXlkcMe

¦>¥ ê ­ ª

r|n6lkp}µAp"njw…Mg}wo{„`

A[x] → B

B

^„~f…wknt^f`pjr>p

∀ xA[x]

pq`uò˜af`ucMv\`w)x7r>ef`olm†Jp_rJp_pqn0luntr>w)cdlmgq~d¦3nt^M`…Mg}wAw)x$w)c-…Glm…`hg_w)xpq`h{„`hg0lm†5pqnjadef`c)njp_†>`\n™aMpbnt^MrJcfµ

nt^f`\~<^dlke sXlkef`6lKpjr>sXr>†©log›s6rJpžn0lmµk`)‡Gª‹`Xlkpqµ„`ent^M`s njw-‚`6sw„g}`…Mg}`vr>pq`)‡¢”z`pq…Gr¬nj`nj^M`

xºlkv0n™nt^f`\~ ^Glkeefw)cf`›nt^f`'v\w„g}gj`v0n™…Mgjw˜w)x7w)cnt^f`'sXlkvt^dr>cf`)‰Mnt^f`r>g8lkcMpžŠ`hgjp™vh†|`ologt†¬~p}^fwuŠb`ue

nt^f`\~^dlke sXlkef`8nt^M`›v\w)cMxºaMp}r>w)cõ

¶2ζ<·€æÊ#Ï\Äkŵ Ê˜Ï Ä%¶Gã/ÏåÒÂÆkÊïäSåGϑËØÏ·á鷀Ï\ÄkäÆ%ÏåpåGÏ·€æ'äÏ7æµ

»žc pq`c)n}`ucMv\`p›lkp£ºnj^dr>pz`hŽMlks…G†|`rJp™n0lmµk`c x©g}w)s nt^f`v\w)cMpqnjgjaMv0ntr>w„c<w„x

R

§u»µfcfwuŠ«nt^dlon

x < y

y < z

x < z ⇒ x ∈ f (z)

nt^dlon_pžntadef`c„ntp†>`ulmgjc-^fwuŠŸnjwikwd‰A…dg}`vhrJpq`†|~)‰Mx©g}w)s nt^f`cdlontafg0lm†Gnjw'nt^f`pq~fs"‚Sw„†Jr>v8†©lkcfi)adlmi„`

£ÑlkcMeŒ{fr>vh`6{)`hgjptl)¦0‡$ñaAnlmi˜lkr>c¢‰5nt^MrJp"rJp"…Mg}w„‚Glm‚d†|~•l ò˜af`upžntr|w)c‹w)x`\Žf…`hgjr>`cMv\`-lkcde nt^˜adp'l

s6rJcfw„g_…Mg}w„‚G†|`s ‡

ýþ ‰#Š6‹•œ  ؝}‹Ã– ؑŠ6‹•”/‘}}‹€ ”

ñb`†>wuŠr>p-nt^M`‹ò˜af`upžntr|w)cMcGlkr|g}`Œi)r|{„`ucEx©w„gnt^f`Œ`\{„lk†Jadlontr|w)cw)x"nj^dr>p vhw)afgjpq`)‡_¼Mw„g `ulkv0^

ò˜aM`pžntr>w)c¢‰Mnt^f`'s`ulkc{klk†Jaf`"w)xnj^M`lmcdpžŠb`hgtpr>pi)r|{„`uc¢‡G]_^dr>p_{„lm†Jaf`'rJph‰dw)x.v\w)afgtpq`„‰Gcfwkn{)`hgq~

s`olmcdr>cfi)xºaM†xg}w)sûl pžn0lontr>pqntr>vlk†…w)r>c„nw)x{Mr|`\ŠÓpjr>cdv\`%w)cM†|~Œ`r>i)^„npžntaMeM`c„ntp'^Glh{„`-vt^fw)pq`uc

nt^MrJpXv\w)afgjpq`)‡3¿™wuŠb`\{)`hg‰3pjr>cMvh`nj^M`lkcMpžŠb`gjpXlmg}` gtlont^f`hg%^fw)sw„i„`cM`hw)aMph‰.nt^f`hg}`lmg}` i„w˜wfe

g}`ulkp}w)cMpbnjw6‚`w„…fntrJs6rJpžntr>vk‡

Ì Åµz䀵LËÄk¶GÂ'·€·€Ï7¶GÆ%µ ]_^f`ikw˜lk†)w)x˜nt^MrJpv\w)aMgjpq`3Šlkp5njwn}`olmv0^~)w)ant^M`3Š_lh~n}wzeMwzv\w„g}g}`v0n

…Mg}wAw)xpr>c sXlont^f`usXlontr>vhp‡Mš†|`olkpq`„‰GlkcdpžŠb`hg_njwnj^M`›xw)†>†>wuŠ™r>cfi%ò˜aM`pžntr>w)cMph‡d]_^dr>pŠ™rJ†>†5^M`†|…adp

njwXr>s…dg}wu{„`nt^f`"v\w)afgjp}`›x©w„gcf`hŽ˜n_~)`ulmgjp‡