Kutyłowski M, Logika w7s

!#"%$'&)(+*,&)"%-/., 0213&5476$/8:9

;=<7>?"A@B+CEDFDHGJI5KMLONQPR PTSUHVXWTY%LZ\[^],_

`aTbdcfe2g2ahjij`

• V^kdlnmporq,U5K^stq5mpuvZ\_Awx]ymOzd{FWmO|~}OLfKMW,Vu{Tmyk[^_lnmOIH_~[^mO\Mm]OLI5K^Lf}OKmOu3R

_TmOsdlk+uvZ\_~Osw]ymOzd{HWdlWF]I5K^Lf}OKmOuLZm5_mumV[^mOuuLEsLfH|~_sdlkd5_LZZWE}fLE{Tm3I5K^Ly

}fK^mOuLZrmO5_~m_:I5K^{5]OLO^ZWE]LfTmO5_~mV^LLFslW,Z\_~Msd_klU5IkY%5_k_~55m]Zkd[V_~mE tP

¡¢ldmO[m{55_kd5_kdu£VkQVklWjkd[V?TmI5K^lWF]5Y%mO{N¤mO]Vn'zdkpTmyTmOKM{5ld_kZWE[MldU5]ymOW¥dlWE]¦I5K^LO}fKmy

uLZmOH_mum]LfuI5_|mV^LfKd]VvfKW§ldmOu_~k5_~mI5K^LO}fKmOuW¥Z¨5_~u©TmI5_~[^mO5k?5mp]OLE{umO[MlWE5LZW

sdlWE|~_ªZ3Ym^sd_«Z\_kI5KMLf}fK^mOu¬\R P

• R§LOzdTm[^]Lf5[MV^K^U5LZrmO®/g'¯%°?±,²ybdaT³¤g2´¶µaTbcfe2g/·¸hjij`¹w}f{FWºTm®ZrkQ^sd_U»LOV^K^lWFuUk¦LfTm I5KMLf}fKmu

M _ª{TmO5k x5VL[WFuU5|Uk{5l_m,YmO5_k M Tm xP

¼'mO]JTmOIHKmnZ\{5]mzd{HWj[WE[MVku½LfI¾kdKmsWW?kd[MVslWEu¢Z¿VXWEu¬KMLF{HlnmyU:P

• SmOz{HWK^Lfl]ymOl\R

uLfzdTmlnmO]LF{HLZrmOMmO]OL§|~_sdl+sdLZ\_~sdkQ]mzd{HW¦I5KMLf}fKmuÀ3R

V^kdz

uLfzd5mlnm]OLE{5LZmOMmO]OL|~_sdl\TmI5K^lWE]TY%mO{Js_,}|_~sldK^Lfl]ymOldvZ3

]LF{HUkduW

1 , x2, . . . xn

MmO]L

2x1 · 3x2 · . . . · pxn

VAPZ¿ILZWEzd[MlWEu©_~|LEsdlWE5_k x k[MV\ZWE]5YmO{5H_~],_kdu©{5|~m

iÁVkQ|_sdldWI5_kdKZ\[^ldkQ pi

Â²ÃÅÄ'³¤±EµeÇÆ/±EÈOeªcfeÉng/±

•

K^LO5|~ku¨{5kdsWFlW,WVL5mO[MV^dI5UMsdkrldmO{TmOH_~kw'{5|~mLf],KMkd^|Lf5kQ2Z3YmO[M5LfMsd_

W umOuWlnmldmO{TmO5_k

LE{5ILZ\_kd{5l_~kOÅsdlW¥_~HI5UHV

x umËV3Z3Ym[^5LfMOP

•

K^LO5|~kuÌ{5ksWElWW V^L¥[^ldsldk}fvf|,W¦I5KMlWEITmO{Hkd]Ílnm{TmO5_~mLO5|~_sdlkd5_LZrk}fL5/Z¶]VvfKWEuÌ[m¥uL

ld|_«Zrk{HZ\_kLE{5I¾LZ\_kd{Hld_¤w#ÎÏVtmO]OÐLfKmOlÎÁ5_kÑÐÑP

•

V^kdLfKM_~_/u5Lf}fLO^sd_2Z\_~mO{5LfuL5¾zdkI5K^LfH|~kuvZ¸{5ksWElWWEstq¥k[MVVXWE|k?sdL|~_sdlK^lkdsdlW,Z\_~[VXWFstq7

sdlWE|~_{5U5zdLZ\_~sdkr5_z3mO|}fLfKW,VuvZÓ¤sdlWE|~_5_~k¢Z\_~sdk5_l|_sdldj5mVU5K^mO|,WEstq P

mVku=_[MV^5_kM

I5KMLf5|kduW¥{HkdsWElWHkO¾{5|m]VvfKWEstq§5_kupmËKMLflZ\_~OldUyMOsWEstqpkI5KMLf}fK^mOuvZP

•

LZWEz[^lnmËVklnm¢k[MVs_~k]mnZrmHTmO|k3I¾Lf5_zdkQrI¾Lf]ymOzkduW]OLfH]EKMkV^5kI5K^lWE]TY%mO{HWpZmOzWFstq§I5K^LO5|~kÑ

uvZ»{5ksWElWWEstq::{5|~mË],V^vfKMWEstq§5_~kummO|~}OLfKMW,VuvZÔ

Â²ÃÅÄ'³¤±Eµ

bÕÃÅÖ'

K^LfH|~ku½[MVLOI5U§uLfzk,WE[MNLfKMuUY×LZmOW¥Tm[MVI5UMOsL5w Ê

Øj±,Ù+g/¯Õ¯Ã¾g¿Ú¨ÛÜOÝ7Þdßxà¾áâMãfáMÜOä P ÛHåÜpäÜyæ^çdèyÝTèéê3ë§ìâyáMÜçËÛÜOÝ7ÞírÞ%îtïðñÏâyírÞ x à¾èòÏÜOÝTñÏÞdßð^çdè3à¾áâMãfá^ÜOä

ðtôTâyäËñÏâyÝTèÝ¾ÜJÛÜOÝTèðtôírÞ%îtïðñÏâyí#è,ðtô x çÜOòAáMçdèyäÜæñÏõdö

÷Okd{5kølZmzd5_k[MlWEstqN¤mO]VvZ¿V^kdLfKMkVXWEsdlWFstqÍuvZ\_¤w

±,Ã¾²±Eµ

Úüû3ñÏÞñæò¤ÝTñÏÞ%îÞà¾áâMãfáMÜOä

òXþyáèÛÜOíÜyÿdèJâdÛàTâyí#ñÏÞ^ÛÝ¾Üà¾áâdåÞäæòXâtà ö

ùú

R ý

mO}mO{5H_~k5_~kT{5|~m]V^vfK^k}fL5_~k_[MV^5_~kQkI5K^Lf}OKmOuILE{TmyMOsWJI5K^mnZ\_~{Y×LZLF{HILZ\_kd{TmOlW,ZmOuW

caÅaTÆ/g'¯±Eg'¯±Eµ

g'¯±,²Ã¾c,bÕ²cfeÅaT³Ag¾e2µ

P+¼'mO]Z\_~sà¾átâdåÞä

æòQâtà

îÞtæòxÝTñÏÞáâdçæò¤á^çdèã,ÜOå

ÝTèyP»|U5{5ld_k

lZWE],|~kZ\_~kK^ldHTzdkkd[VLf§KMLfld[VKMlWE}mO|WÔ

WjU5{5LZLF{H5_~I¾LZWFz[^lkVXZ\_kdKM{5ldk5_~klnm]TY%mO{TmOuWfTzk3VtmO],_:I5KMLf}fK^mOu R _[MV^5_~kQkOwxlnm,Y%Lfzkd5_kVL

{5LfI5KMLZmO{Hld_2{5L[^I5KMldksdldHLf^s_Aw

• ZWE]OLOK^lWE[VUMOsI5K^LO}fKmOu

R MmO]LILE{5I5KMLFskd{5U5KM5U5{5UkuWI5KMLf}fKmu N w

q := R(x, x)

P\_«N

q =ÎÏVtmO]OÐ3Vq5k§}fLVLËkd|[^k}fLOVL

HPZ\q5_|~kV^K^U5k{5L

sdLO]OLf|«Z\_~k]

kdH{HZ\q5_|~k

5P\qTmO|«V

•

mOUZrmOzduWfTzkrkd^|_:I5KMLf}fK^mOu x Tm?{5mOWFstq x lnmV^K^lWEuUk[^_OHV^L N Tm x Z\ITmO{Tm?Z

5_kd[^]LF

sdlLfTIV|OP÷Ok^|_2lnmOI5K^LO}fKmOu x Tm{TmOWEstq x 5_klnmV^K^lWFuUk[M_~¾V^L N 5m x IHK^ldk[^]LFslW

{5L _~5[VKMU5]OsQ_/_ªldmVKMlWEum[M_~P

ldTmsdlnmjVLJZ

[^lsdldk}fvf|5LfMsd_¤'zkldmOstq5LZrmO5_k x LfKmOl N Tmj{TmOWEstq

x k[MV_55kP

mVku

5_kkd[MV_{5kdVXWEsdlWøl

• \LflZrmOzuWjVkKmOl{Hld_~mEYmOH_~k N TmË{TmOWEstq N PorlW¥I5KMLf}fK^mOu N {5|~mË{TmOWEstq§ZkMsd_LZWEstq N

lnmyVK^lWEuUk[^_

ÜyÿQâyÞÝTñÏÞOßòÏÜ

Vl:P

R(N, N ) = 1:ldmVku

{HK^U5}f_k¢|_~H_~_#I5KMLf}fK^mOuU

N lLf[MVmO5_kËZWF]LfTmOW[M]OLf]{HL

I¾V|_fZ®_5[MV^K^U5]s_HylnmV^kdu N Z\ITmO{5H_~kZ5_kd[M]OL5sldLf53IV|_5_}f{HW[M_~5_kldmVKMlWEumHP

I5KMldksdldHLf^¾Lu_~mEY/[M_~lnmV^K^lWFumOÔ

ÜyÿQâyÞÝTñÏÞOßÝTñÏÞdö

Vl:P

R(N, N ) = 1:ldmVku

{HK^U5}f_k¢|_~H_~_#I5KMLf}fK^mOuU

N lLf[MVmO5_kËZWF]LfTmOW[M]OLf]{HL

I¾V|_+ZÓ_~H[MVKMU5]OsQ_ 5ªlnmV^kdu

N ldmVKMlWEum[M_~P

I5KMldkdsld5LO^O/¾Lu_~mEYI5KMldkds_~kzp[M_~5_k lnmyVK^lWEupmOÔ

K^lWj]ymOzd{HWEu½ldmEY%Lfzkd5_U{5Lf[^l|~_^uW{5Lp[MI5K^lkdsld5LfMsd_¤P

mV^kduZ\[MILOuH_mOW¥I5KMLf}fK^mOu

5_kuLOzdk_~[V5_kdP

xg2aTÈfc±Eg'¯±¦Ö'²ÃÅÄ+³±Eµ¿bÕÃÅÖ'

I5K^Lf}OKmOu©K^LOlZ\_~OldUMsWIHK^Lf5|kdu

[MV^LfI5UÍI5KMlWE{TmEY×WÍ[^_?TmOKM{5ldLHw Z

[W,VUTmOsQ_T}f{HWËUHK^U5stq5LOu_|_~MuWI5K^LO}fKmOuÓm3VkH_~k\{TmykLE{5I¾LZ\_~k{5ld_T5_kZ\_~kuWsLk[MVxI5KMlWEsdlWETHw

{Y%UH}f_~kLf5|_sdldk5_~møsdlWJMmO],_~kÎXldmOI¾V|kdH_~ktÐÑP! _~k[MVkVXW¦5_~kuLfzd5m§ldHU5{5LZmTmOKMld{5ld_~mH+]V^vfK^kILy

lZrmO|~mEY%LfW®5mOu

V^L¦IHK^ldkVk[MVLZrmOOP

LfldLf[Vtmyk¥Tmu

VXWE|~]L sldk]m5mKMkdlU5|VmVø

k^|_I5K^LO}fKmOu

[^_

lnmOI¾V^|~_%Y\VLÍsldk]m¾d{Hld_kduW®Z5_kd[^]L5sldLf5LO^y |U5I5K^vf¾LZmjlnmOTm|~_ldLZrmO¥[^I¾Lf[^vfÇ{5l_mEY%mO5_~m Vk}fL]OLf5],KMkVHkd}fLpI5K^Lf}OKmOuU§TmËldmO{TmOWEu½_~HI5U5sd_kVL3k{5TmO]JlZWE]E|kk[MVzduU5{55k tP

"dg/g2±Ö'²ÃÅÄ'³¤±EµeÇg'¯±,²Ã¾c,bÕ²cfeÅaT³Ag2±

Ö'²Ã#Å²aTµe

ca°pbdc±caFÕ²cfe2µFÉd´5Èf±bn¯·»w Øj±Ùg/¯Õ¯¤Ã¾g%$¹ÛÜOÝ7Þdß#à¾átâMãfáMÜOä P ÛHåÜpäÜyæ^çdèyÝTèËéê3ë

à¾èyòÁÜOÝTñÏÞdßð^çdèà¾áâMãfáMÜOä

P çÜOò¤áMçdèä

îÞ3æñÏõÛHåÜ

ÜÛOèðtô§ÛÜOÝTèðtô¥írÞ%îtïðñÏâyí#èðtô x

K^LfH|~ku

VkdÍkd[V5_~kK^Lfl[MV^K^lWE}m|~WfsL I¾Lf]ymOlUkduWI5K^lkdl¥VlZPÇ²±EÆ'('¾ÈtÉd·®{5LI5K^LO5|~kuU

[MV^LfI5U:w

• }fvf|Tm_~{5kdmHw+ldmO]5YmO{5mOuWOzdk_[MV^5_~kQkI5K^LO}fKmOu S LE{5ILZ\_~mO{TmyMsWTmI¾LZWEz[^ldk\IW,VtmOH_~k _:I5KMlW?k}fLILfuLEsWj]Lf5[VK^UHUkduWøI5KMLf}fK^mOuKMLflZ\_~OldUyMOsW¥I5KMLf5|kdu¬[VLfIHU:P

Lf5_kZrmOz

VL5_kduLfz|~_«ZkO¾lnmV^kdu¬ldmEY%Lfzkd5_kL_~[V5_kd5_U

S uU5[M_mEY×LpWEY%{55kOP

• RømMOsI5K^Lf}OKmOu

P _:{TmOHkZkMsd_LZrk x ]OLO5[MV^K^U5UkuW§I5K^LO}fKmOu P w

P\lnmOI5_[^l

x 5mu_k[MsdUø{5mOWFstqZrkQ^s_~LZWEstq PZWF]LfTmy

sdlWEZ\_^s_~k]OLfH[MVKMU5]OsQMm

P V^Lp{HK^Lf55muLE{HW*)T]ymOsMm]OLE{5U

•

mOUZrmOzduWfzk

P lnmyVK^lWEuUkp[^_JTm x ZVkd{FW_#VXWE|~]LZVk{HW¦}f{HW P ldmVKMlWEuUykJ[^_

lnmnZ\[MldkO

• VLI5KMLf}fK^mOuKMLflZ\_~OldUyMOsWjIHK^Lf5|kdu½[VLfIHUI5K^lWjILOuLEsWJI5K^Lf}OKmOuU S

P\[^]OLO5[MV^K^U5U

P\LfUHVIHUHV

S(Px)

²,+F°pg/ÃE°?a-,g2Ã/.10§Ö/²Ã#¾²aTµ2+F°

Øj±Ùg/¯Õ¯¤Ã¾g%3¹ÛÜOÝ7Þdß#à¾átâMãfáMÜOäËè P âyá^Üç

à¾èyòÁÜOÝTñÏÞdßð^çdè?à¾átâMãfáMÜOäËè

âyáMÜç

æ4§áþyí#Ý7âyíÜdÝ7ÞÑìòXâpçdÝ¾ÜEð^çdèÛHåÜ

ÜçÛEÞAãFâJñ%ÝOà

x ÜOå5â

âtÜà¾áâMãfáMÜOäËèÛÜî4òÏÜ

ñ/ædÜOäí#èÝTñ

ÛHåÜÛÜOÝTèðtô

xìÜOå5âpâtÜÝTñÏÞ\çÜOòAáMçdèyä

î4?æñÏõÛHåÜÛÜOÝTèðtô

x ö

K^LfH|~ku

Vkdkd[V§H_~kK^Lfl[MVKMlWE}mO|WfsdL

ld5vZÀI¾Lf]ymOlUkduW

I5K^lkdl¦K^kd{HU5]OsQ{5LÇI5K^LO5|~kuU

[MV^LfI5U:P

•

k7)T5_UkduW

P Mm]OLI5K^LO}fKmOuumyMOsW¥ldmnZ\[^ldkZWE5_]

LfUHV^I5UHV

•

|~mËlnmO{5mO5kd}OLpI5KMLf}fK^mOuU

P LfK^mOl{TmOWEstq§ZkMsd_LZWEstq x {5k8)TH_~UkuWI5KMLf}fKmu P 0 wxV^L

Vtm]E_r[mOu

IHK^Lf}fK^mOu

sLILfIHK^ldk{55_L l{5k8)55_~LZrmOW

P mO|kOwJZ\[^lWE[MV],_kø_5[MV^K^U5]skLfUHV

I5UHVPP~P

U5[MUZmOuW®m¥Tm¥u_k[Msdkp_~5[VKMU5]OsQ_rqTmO|«V¤_xTm¥]OLHsdUI5KMLf}fK^mOuU {5LfIH_~[MUkduW

LfUHV^I5UHV

•

K^LO}fKmOu

P 0 uLfzdklnmstq5LZmO[^_{HZrLyMmO]OL5w Ê

5_~klnmV^K^lWFuUk[^_{5|~mzdmO{5WEstq{5mOWFstq?ZkMsd_LZWFstq

k^|_

P 5_kr[MVmyk{5|~m{Tm,WEstq

x t

lnmV^K^lWEuUk3[^_3{5|~mZ\[MlWE[MV^]E_stq{TmOWEstq¥ZkMsd_LZWFstq_¾{Tmyk¢ZWE5_]

k^|_

P [MVmyk

{5|m{TmOWEstq

x P

• VLI5KMLf}fK^mOu

KMLflZ\_~OldUyMOsWI5KMLf5|kdu¹[VLfI5UlnmI¾LfuLFsdI5KMLf}fK^mOuU

R KMLfld[VK^lWE}myMOskd}fL

sdlWjI¾LF{Tm5kI5K^Lf}OKmOuWJ[K^vZ\5LZrmOzdHk P\[^]OLO5[MV^K^U5U

P 0x

P\LfUHVIHUHV

S(P1, P 0 )

ÕÑ°¯±,²yÆ/c±Eg/¯¤±¥hj¯¤Èf±#9a:; ¢_kd[MV^kVXWZ\[^I¾Lfu5_~mO5kZWFzk[WEV^UTmOsQk5_k¢[^ZWMV^]OLZrkP<mOK^{HldL[MldkK^Lf]ym

],|m[mI,W,VmZrmOz,WEstqlI5K^mO]VXWEsdldWEstqZ\ld}O|~{5vZ

kd[V¢H_~kK^Lfl[MVKMlWE}mO|TmHP

• KMLfldITmyVK^UykduWJld5_vfK\I5K^LO}fKmOuvZ

C L5mO[MV^dI5UMsWEstqøZ3Ym[^5LfMsd_~mOstq

C lnmnZ\_kdKmsdLTmyu5_k'kd{5k§I5KMLf}fK^mOu¥

C 5_kldmZ\_kdK^mZ\[MlWE[MV^],_~stqÍI5KMLf}fK^mOuvZ

kd^|_

[K^vZ\5LZmzd5k?Z

VmO],_~u¹[Mkd5[M_~kxMmO]?I¾LZWFzkxKMLflZrmOzdmO|~_^uWT tFV^Lm|~¾L

P1 P2

P1, P2 ∈ C mO|L P1, P2 6∈ C P

•

K^lWE]TY%mO{pV^kd}fLVXWEI5Ul5_LfK^U:w C VLld5_vfKxI5KMLf}fKmuvZE]VvfKMk{H|m_~HI5UHVU 13 {TmyMLfUHV^I5UHV

17P

Ý¾ÜîdÛàHÜOáõñ%ÝTÝTè,ðtôà¾á^çdè

ÿÁÜÛEþyí)òÏÜ

ñÏðtôpçdñÏâyáþyíö

±,ÃÅ²y±Eµ

$¸ûñÏÞ3ñæò¤ÝTñÏÞ%îÞà¾áâMãfáMÜOä

òXþyáèâdÛàTâyí#ñ¤ÜÛÜyÿdèð^çdèà¾átâMãfáMÜOä ùú

T ì

P àTâdÛÜOÝTè?Ý¾ÜËírÞ%î7=

ïðñ

Ý¾ÜOåÞ>dèÛEâ

C ì5îÞtïå ñ C æXàTÞtÿAÝTñ¤ÜàTâyí#èæ^çyÞíÜOá Ý

ñ¤ö

LZvF{:w

•

mO]5Y%mO{TmOuWf\zdk

T _[MV^5_~kQkÍ_¢]Lf5[VK^UHUkduWºI5K^lW

I¾LfuLEsW

T IHK^Lf}fK^mOu

K^LflZ\_ldUMOsW

I5KMLf5|kdu¬[VLfI5U7P

• _~kstq P ¾d{5l_~kI5K^LO}fKmOukuT]V^vfKMWjH_~}f{FWj5_k{5mykLfUHVIHUHVU:w 0

Z\q5_|~kV^K^U5k{5L

x := x

•

mEY×vfzduWf5zk

P0 ∈ C HZWE5_kdKMlduW§{HLZLf|W§IHK^Lf}fK^mOu Z 6∈ C P

•

|~mËlnmO{5mO5kd}OLpI5KMLf}fK^mOuU

P LfK^mOl{TmOWEstq§ZkMsd_LZWEstq x {5k8)TH_~UkuWI5KMLf}fKmu P 00 w

PZWF]LfTmy

Z\[MlWE[MV^]E_k?qTm|V\ldmOu_~k8øTmË}fLOV^L

P 0

PZWF]LfTmy

•

K^LO}fKmOu

P 00 uLfzklnmOstq5LZrmO[M_~{HZLMmO]L5w Ê

5_~klnmV^K^lWFuUk[^_{5|~mzdmO{5WEstq{5mOWFstq?ZkMsd_LZWFstq

k^|_

P 5_kr[MVmyk{5|~m{Tm,WEstq

x tOkd[VlnmV^kdu¬KMvZ\HLZrmOz,W P Åm?Z\_~sTm|~kzW¥{5L

{TmykVtmO],_ª[^mOuZWE5_]MmO]

S kdM|~_ P [Vtmyk{5|~m{TmOWEstq x t5Z\_ds5_kTmO|kdzWJ{5L C P

• VLI5KMLf}fK^mOuKMLflZ\_~OldUyMOsWjIHK^Lf5|kdu½[VLfIHU§ldmI¾LfuLEsnËI5K^LO}fKmOuU T w P\[^]OLO5[MV^K^U5U

P 00

P\LfUHVIHUHV

T (P 00)