Kutyłowski M Logika, w6s

! #"%$&'"%!(*)'+-,."0/21 *354

68729:<;>=?A@B@DCE0FHGJILKNMOKQPRDSUTQV!GXWZY\[']

^2_a`cbXdAegf-hBijhaf-kldBm*npo.qro0sthu`wvyx*dAeoBb.nzm#f*{-s|vJ_lqwm|_

}

E0F\~TBE0J0['RIpGF\R|VQF\J'R00['R~rQJj

SGAQj~crF\GyrBTBD[JGXWQyzE0FH~cTAQy0]WS\rGFH]]!Gc]WGJ\Y\EDFwWZ0~rc0][']rDTQJQjIpGFHjR|V!

WJFHS\G\G ]r~cQ¡

K>M¢GJr]WNZcYHSrDQJ[£]00J¤Q¥0JF\0~c]L¦]lSR0]cTX0E|GA0Hr]J§

•

R0YSJJ¨TE©cWZ]r~c¥0]ªF*IpGJF\jR©VU¤J[lS\ªF\>R0~r0yr¨TjGAjF\J~rR~w¬«©H®J¯>°X±r²!¯³¤´Y¡ZSG>Hµ[A¥lTIpGFHjR|VT

«©H®J¯>°X±r²!¯³·¶UQ0~r]r¢0G¥0FT'¸pS~WK>J['YzGµSUTQ

•

R0YSJJ¨TOFHr R©V¹TºE©G~cWJyH¡Jr QuSUWNGFH~rrD] «©H®J¯>°X±r²!¯»l¼½IpGFHjR|V~IpGJF\jR©V#R0R0~cQJlTA

~w:«©H®J¯>°X±r²!¯³

¾¬c R|VTG[lSªJFHTAGXW¿WÀEDR00[Jc]¢ÁÂQµ~cT'Wµ0ÃY¡Ä³<ÅÆ'ÇÈ®JÉ²°AÊy¯Êr°X±y³ËQ²z®JKºÌBQµS¿SJ[']*rYS

E0F\~TA[QV!J0cÍ0cÎQD]L]*]00RD[JcTX0LK

Ï#GYSÐrE©GXWµ0]¿SJ[']¢E|GJ~cWJQO¥DR00GXWµ0]ÂrGF\J~uWZ]Ðr['YH~rr JGÑ~c¥0]GF\R«©\®J¯>°X±r²!¯»l¼½IpGFHjR|VÈ¤

SJ[u~rFHrYH~cS¡jHJ[ÃGA0¥lT'W£Y\]Ð: FHGJ0~cr0]:WZ]c0~cTJKÒJ[']#Y\0c ySE©GYSÐrE©GXWµ0]GJ[µµ~rRµ:YH]Ðj0]

~wJYS¡'E0]GlTWÓYHT'SRQµ]z¤Q DTD]DTAYHE|G'RµcTuJ GFT'SrÀY\E0F\XWZD~wyH¡JTAÀ«©H®J¯>°X±r²!¯ÊXÔXÕ·IpGJF\jR©V

z0]rYSSUT¢~cQJFH~wY\]Ð¨S\G¥QJF\D~rGr~rÐcYHS\G0¤Qr~cÐr\c]L¬0]~¨GcQJ¥lTÃE0FH~cTAE0R0YH~rr~rJyK

^2_a`cbXdAe

x#nzÖz×d'ØXbXhAi`csan f*ÖpoÚÙÈhtØyeº{ÛØyo0vµx5{*m-sa{Ík'f*oQÜÝ

ÌATAYSr

SrÞE©G~WJÄQÄ~rJ]r~cr0]

IpGF\R|V0GO~c¥0]GF\Rß«©H®J¯>°X±r²!¯»l¼½Ä¬rYHSSG£rDr%~uG~r]W¦TAÞYTBYScªXWKÓà0GA0~r]¬QJgWÍSUTB

]LY\rRGuEDF\~cTA[0VpµOWáHJ[']YHE|GYHª¥ª´WâE|GA0G¥0lTYTAYHScã0~r]AVpuÃ0]Gu~r0GJ¥'TAc] Y\E0F\XWZDG\c]>W

E|GJYV!RD ]WJ0]RuY\]Ð0]ÃK

ÌATAYHScä0]¥©rFSGXWZY\[']>0IpGFHjR|V>F\J'R00['R~cQJE|GJY\]JQjr0cOE0JFJSFr§~c¥0]ªFIpGF\R|V

∆

~rQJc~wÃSG0¤-r0¢[yJc0r Gu~r¥D]GFHROIpGFHjR|V

∆

«©H®J¯>°X±r²!¯ÊXÔXÕj0cÎQD]RµcTO]0Jr~cK£æ5µE0]Y

∆ ` φ

G~r0Jr~rD¤QrIpGFHjR|V!

~cGYHSy~wJ]c~rG00G«©H®J¯>°X±r²!¯»'¼½WáSUTAÍYHTAYSr]JK

çcSJJ§

`c_-e×h©ÖzdtÝ

⇒

0c lJÐ

RlWJrJT£WÓSUTAÍYHTAYHS\r]~w:SGYµGcG

p ⇒ F

o0sa`Èqch|eOoDb_Ý

zèéA

∆, α ` α

zèêµ

∆ ` α ⇒ (β ⇒ α)

zè.Á'

∆ ` α ⇒ (β ⇒ γ) ⇒ (α ⇒ β) ⇒ (α ⇒ γ)

zèëA

∆ ` ¬¬α ⇒ α

zYTAj¥©G

α, β, γ

QJrTÑF\G~cR0]cHJ[µGOYH[AFHªJSj0O]ì]LY\cÂGr0WZYHSwWZ]¢0GXWG0

IpGFHjR|VT£FJ'R0D[AR¢~rQµ5K

Ø´dAí©{ÛÈoOf*hAi:haf-kldAm#npo5Ý

MÂÏ¦§

∆ ` α, ∆ ` α ⇒ β

∆ ` β

æ5JRlWµrTJ¤'r#cYHSSGY\0c ySN¥0JF\0~cGGY\~cr~cÐr0lTWßJ['YzGµSUTj]DFHr R|VTK

}

~rJYµ0~r]¦GrQµ¥'T:0G

J['YzGµS\ªXWá0GJF\~rRDr]WZY\~TBYS[']~cQJ0Qµ8SJRDSGJG J]µK

[µµr.YH]Ðc0QJ[t¤0cSG0].0].~c]rD]

rH]a0GA0~c]*G:«©H®J¯>°X±r²!¯ÊXÔXÕ¬IpGF\R|VUK

•

E0FH~cTA[0VpJuW¦TAE0F\GXWJ0~rc0]D§NE©G[yJcrTJ¤tr

p ⇒ p

êKZ[JGJF\~cTAYSJ¨T¢~pèÁ'N0

α = γ = p, β = (p ⇒ p)

¤00GYSycT

∆ ` p ⇒ ((p ⇒ p) ⇒ p) ⇒ ((p ⇒ (p ⇒ p)) ⇒ (p ⇒ p))

ÁBKZ[JGJF\~cTAYSJ¨TÄpèjêµ>D

α = p, β = (p ⇒ p)

¤0DGYHSyr¨T

∆ ` p ⇒ ((p ⇒ p) ⇒ p)

ëDKZYHS\GY\RyH¡JMÂÏì0GIpGFHjR|V#~êµ>]*Á'>GJS\F\~TBRµr¨T

∆ ` (p ⇒ (p ⇒ p)) ⇒ (p ⇒ p)

KZ~zèêµN0

α = β = p

DGYHSyr¨T

∆ ` p ⇒ (p ⇒ p)

KZYHS\GY\RyH¡JMÂÏì0GIpGFHjR|V#~¨ëA>]

>GJS\F\~TBRµr¨T

∆ ` p ⇒ p

i nzd'Øyf-kldBm*npd¢hf*dAf*{*s©vqwnLÝ

rH]

∆, α ` β

¤BSG

∆ ` α ⇒ β

Ò*WZ]rFH0~rc0] SGu Ã¥QJFH0~rGÃWJr0~r0Jr~cr0]E0F\J[lSUTAr~rD]2rYSj]lSR0]cTX0]YSGYHGXWJDJKè·¥'T

R00GXWNGB0D]ÃE0F\XWZD~r]WGHÃ]E0][yJL]

α ⇒ β

DGF\~cR0w¿YH]Ð

DGE0F\~crYV!J0c[

∆

]>W¦TBEDF\GXWµ0~w

ñJrH]-Y\]ÐSGR0QB¤0SGR0~r0yYH]Ðµ¤Qr]ED][yJH

α ⇒ β

~rGYSAV!R00GXWGA00]GQBK

çGXWªA¢SUWZ]rFH0~rc0]G Dr0R0[µ]-Gr0E0FH~rcE0F\GXWJ0~r]j]00RD[JcTX0]J§

•

J['YpGµSjzè.é'

∆, α ` α

R0E0FH~rc00]GE©G[yJ~wJ]\TJ¤Qr

∆ ` α ⇒ α

Sµ[WZ]ÐcSUWZ]cF\0~cr0]jG0rDR0[JL]*~rJ0GA0~r]-0:Sc GE0F\~TBE0J0['R5¤

•

E©G~rGJYHS'V!J['YzGJ ySUTOpWáSUTA

∆, α ` β

β ∈ ∆

\§

êKZQGBTSc GYJc Gµ[AYpGµSRu0YTAYHScjR¿~

∆

µT

∆ ` β

ÁBKZQGBTzèêµ§

∆ ` β ⇒ (α ⇒ β)

ëDKZ~¨MÂÏ%0uêµ>]><Á'>0GYSycT

∆ ` α ⇒ β

•

c\]

∆, α ` β

GJS\F\~TBJDG ~MÂÏì~

∆, α ` γ ⇒ β

]

∆, α ` γ

¤DS\G

êKZ~~w'V!Gcr0]]00RD[JcTX0c G

∆ ` α ⇒ (γ ⇒ β)

]

∆ ` α ⇒ γ

ÁBKZ~zè.Á'NJT

∆ ` (α ⇒ (γ ⇒ β)) ⇒ ((α ⇒ γ) ⇒ (α ⇒ β))

ëDKZ~¨MÂÏ%0uêµ>]><Á'

∆ ` (α ⇒ γ) ⇒ (α ⇒ β)

KZ~¨MÂÏ%0uêµ>]>zëA>0GYSycT

∆ ` α ⇒ β

i nzd'Øyf-kldBm*npoh£òdQÛÈm*h©ówvln

æ5µ0GBD~w¡DW·WJrDSUWZ]cF\0~cr0].E|GJ[µµ~rRµH¡Jc~WZ]¡J~cr[GXWZ]J0c G

YHTAYHS\rR¿0GXWGA0~cr0] ~SµRDSGG ]J]z§

i nzd'Øyf-kldBm*npdô

ñJc\]

cYHSZSJRBSGG ]¡DK

pS\~r5K0E0R0YSr JG

∆

GcQW¦TBEDF\GXWµ0~r]TrDTA0]SJRDS\GG ]yK

i nzd'Øyf-kldBm*npd¿õ

ñJc\]

rYHSZSJRDSGJG J]¡FµARD0['RÂ~r0J5¤0SG

çGXWªAE0]cFHWZYH~rr JG¨SUWZ]rFH0~rc0]rYS>]0DR0[JT´lT]0YSGYHR00[µG´WNGV!µSUW¦TKçGXWªA DF\R0 ]r JGrYHSDGYHTA

Y\[µGE0][JGXWJlTKZMuR0Y\]-¥lTA¨SJ[']<¤0¥©GIzJ[lSHJ[']5W¦TBF\Jw.rYS¬0]SFTAWZ]JlTÃ>D]rYSZWrJ¦HJYH0Q

E0]rFHWZYH~cT¢F\~cRDS.G[y0µr~rc G SJ[ÃR0¥©G ]aYHTAYSrörYSW¦TAYHSJF\c~wyH¡µcT¢0GR00GXWNGBD0]c0] WZY\~TBYS[']

SJRBSGG ]]<K

^2_a`cbXdAe

f*dAf*{*s©vqwnm-oDb´{-Ø´oQÖzm*dq

çE©G[yJ~wJD]D¤DrGr]W¦TA cYHSZWZ]rµS\rF\0µSUT'WZ'TAYTBYL

ScªXW÷0GXWNGB0~cr0]ÄE0FH~rrDYHSwWZ]JTìYHTAYHS\r

0r0RD[J]QµSRDFJ0KáñJrYSS\GÄ¥QJFH0~r]]lSR0]cTXlT

YHTAYHS\rÃ¤-Jj0]rcG£0]L¬E0F\~cFH~cTAYHSUTJ¤a~:0R0r]r~c¥Q¡F\c R|VÈK.ø E|GAr~r¡µS['R¿0]:R0Y\]#¥'TAjWNwµHy

Y\0µ¤D0Jc~rr JGjYHTAYSrùSc]'V!¥lT¥lTBF\ªXWZ0GXWµrlTD]¥|cFHS\G´WZYH[']cjR5K

}

E0Fµ['SUTAc~rlTAuEDF\~cTAEQµB

[yJYHTAYSrªXW¤0E0FHG¥0r¨T SJ[']·Y\]ÐE©GµHwWZ]yH¡W¦TA¥©ªFNDF\G ]QWZ0]GYH[JGXWµ0]0úÈ]lS\r] clSlTAA¶

Y\cFHWZ]Y\ªXWû0]¦cYHSZWNwJFH~rcr~w¡GAr~cT'WZ]YHS¡DK

S\G]0DR0[JT´00cÎ00]LHYTAYHScjR¿Dr0R0[µ]*QµS\R0FJ0L§

•

SUTA[JG¨c0r¢J['YzGJ ySw§

∆ ` α

α ∈ ∆

•

FHr R|VT©§

∆, α ` β

∆ ` α ⇒ β

(⇒

U]lSFHG

)

∆ ` α ⇒ β,

∆ ` α

∆ ` β

(⇒

Uc]

)

]QJc~rGB0RDY·E©G0c0Y

∆ ` α,

∆ ` β

∆ ` α ∧ β

(∧ −

]lS\F\G

)

∆ ` α ∧ β

∆ ` α

(∧ −

)

∆ ` α ∧ β

∆ ` β

(∧ −

)

∆ ` α

∆ ` α ∨ β

(∨ −

]lS\F\G

)

∆ ` β

∆ ` α ∨ β

(∨ −

]lS\F\G

)

∆ ` α ∨ β

∆ ` α ⇒ γ

∆ ` β ⇒ γ

∆ ` γ

(∨ −

)

úU0GXWNªBuE0F\~cr~¨E0F\~TAEQJ0[']ü¶

∆, ¬α ` F

∆ ` α

(P S)

]QJc~rLúUDG´WNªA¢0]cWZEDF\GYS¶

•

¾Zr R©V¹TÄS\¢YSGYHRµr¨TÑWýE0Fµ['SUTAcJ§Â0E0FH~cTA[0VpJ2¤ DT0cr¨TßRD0GXWGA00]

0GXWNGBD~r]T

IzAV¹Y\~rRuE0FH~cT£~rAV!Gcr0]J

∆

GFµ~

•

ÏF\~TA[QV!J¢W¦TAE0FHGXWJD~rrD]D§

p ⇒ ¬¬p

êKZ~J['YzGJ ySR

p, ¬p ` p

GFµ~

p, ¬p ` ¬p

ÁBKZE©G0]cWJ

S\GYH['F\ªJS¬0

p ⇒ F

¤D µT£WZ]Ðr

p, ¬p ` p

GJFJ~

p, ¬p ` p ⇒ F

ëDKZ~þÁlGJFJ~FHr R|VT

⇒

Ur]ÿGJSFH~cTAjRyrT

p, ¬p ` F

KZ~<ë']2F\r JR|V¹T

⇒

U]lSFHG GJS\F\~TBRµr¨T

p ` ¬p ⇒ F

¤0r~TA]

p ` ¬¬p

KZ~

]2E|GDG´WZD]¨~

⇒

È]lSFHGGJSFH~cTAjRµcT

p ⇒ ¬¬p

•

ÌATAYSr

0r0RD[J]¦0µSR0F\J0¬rYSF\ªXWZ0GXWµrlT0]¥©rFSGXWZY\[']rjR2§ÃSzK

∆ ` α

WÀYHTAYHS\r]

0]¥©rFSGXWZY\[']ÍW¦SrBTÃ]2SUTA[µG W¦ScDTÃ DT

∆ ` α

WáYHTAYHS\r]0rDR0[JL]#QySR0F\JDK

}

TBEDF\GXWµ0~rc0]IpGFHjR|V#W¦TA ¡JQyH¡¨c0QJ[u~rRDE|´V!0]j]QJc~rK

}

]D~r]r]HTÂS\GQE0F\~TB[0V!y

QJ2K

^2_a`cbXdAe

f*hAi:haf-kldAm#npoÃf*Özo£ÙÈhtØyeº{Û

Ø´kAf#{

ñµ[jWZY\E©G]0J]\¨T¤A0c~cTA[y#F\~cÐr0R¥0Fµ[¬rYS

SJ[']

J GFTAS\ª´WÓHJ[¿cS\GBQÃ~rcF\GµrDTA0[µGXWDKÃÒ#J[¿WZ]ÐrJ¤trDTAQ¡uE|WZQ¡¢DF\G l¡ÃE0FH~rr[µGQJD]

Y\]ÐJ¤c-Hµ[µµ-IpGJF\jR©VpcYHS#E0FwWZ0~c]WD¤E©G~cGYHSyR0TAr]YHTAYSrR0GXWGA0~cr0]DKÌATAYSr

SJ[']AGcQ

~r¥0RD0GXWJW

E©GA0G¥0lT£YHE|GYHª¥HJ[YHTAYSrÍDG´WNGA0~rc0]0IpGFHjR|V*~cQJ0]GXW¦TA5§

•

è·[AYpGµSUT©§

WZY\~TAYHS[']j~YHTAYSrR¿0]¥©rFSGXWZY\[']r G 0F\J'R00['RÂ~cQJ5¤

J['YzGJ ySUT£GF\ªXWZ0GHr]NzrAV![']rÍ]'S\R0]cTX0y§

∆ ` x = x
∆ ` x

= y

∧

. . . x

= y

⇒

f (x

, . . . , x

) = f (y

, . . . , y

)

0:0GXWNGDr GYTB¥|GJR

IpR00[JLLTX0r G

J['YzGJ ySUT£G['WJlSUT'ÎQ[yµSGJFJ5§

[lWJlSUT'ÎQ[yµSGF]E0][yJLHD§

∆ ` ∀x (α ⇒ β) ⇒ (∀x α ⇒ ∀x β)

·~wµYJ0D]c0]u0ÂSc GJ['YzGµS\R5§QJrT

Y\EDFwWZ0~r]ur~cTQJYSÐrED0][

]E0][yJL]

YHE|´V!0]yH¡JTA

cYHS·E|GA0~r¥D]GFHrÍ~c¥0]GJF\R

rrrlSªXW

K¦¾ZG~cWJcTÃScFJ~QJYHS\ÐrE0D][Ã]ED][yJ]z§#rYSGJ¢Sc

]E0][yJLH¡DKè¥lT£~cG¥QJc~cTAc~cTjcYHS¬E0F\XWZD~r]WW¦TAYHSµF\r~Tu~r¥QJ0Jr~T:rYHSZEDFwW

∀

x α

¤#SzK¢ JDTOWZYH~cTAYHS\[']

rrrlSUT

Y\E©yV!D]yH¡

rYS

QJ0~c¥0]GJF\r

0]µ

WZEDF\GXWµ0~wJD]['WJlSUT'ÎQ[yµSGJFD§

∆ ` φ ⇒ ∀x φ

D]rYS¬~r]c0Q¡WGQ¡W

QµSRDFJlTB

IpGFHjR|V!uú

x = 2

¶GJr

∀

x x = 2

¶0]GJrJK

∆ ` ∀x φ(x) ⇒ φ(t/x)

JÂ0]~rwWZY\~rµ¤ScF\

ËQ»t§ºwµ0Q

~r]r0Q

~¿ScF\R

0]GJr£¥lTAWÀ~rJY\]Ðr JR

['WJlSUT'ÎQ[yµSGJF

∀

R0¥

∃

WùSUTB]Y\rJ5¤> 0~c]

W¦TBYSÐcE0Rµ¬Hµ[JG~r]r0QWGJQBK

æ5JE0]Y

φ(t/x)

~WZY\~cTAYS[']]WNGlTA]W¦TAYHS¡'E0]r0]J]

~wJYS¡'E0]GJ'TA]-E0F\~cr~ScF\

∗

U'S\R0]cTX0~r0Jr~cr~rD]J['YpGµSR5§c\]#W.V!JY\0GJ\

~wJ0GA0~c]00GXWNGDr G

¤'SG¨F\ªXWZ0]r·WÞY\~cr~rc ªlTB8E0FH~cTAEQJ0['R5¤BWÞ[lSªFTBù~r

S\rFHuK

∗

}

JFHR00c[ßGOúÈ0GE0RDY\~rc~wJ0GHr]ü¶£rYS£[JGJ0]cr~c'T%E0F\~TB[0V!J5§

∀

x∃y y = x + 1

!IpGF\R|VpE0F\XWZD~r]XWì0ß]r~r¥0ßQµS\R0FµlTA|K

GµSF\~TA µ]¥lTBHT

∃

y y = y + 1

¤|cG0]¬cYHS.EDFwWZ0~r]WN0]r~c¥QJR0F\J'TA5¤

c~cTA]*YHr0Y¬]YHSGµS0]Y\]Ð¨~c]c0]pVÈK

•

ø·yLWµ~r0]YH~rIzµ['SUTGSUTAÍYTBYSc]jDG´WNGA0~rc0]B§

~wµ0GBD~r]FHª´WZD]cÃSUWZ]rFH0~rc0]¢G0c0R0[µ]zKçGXWªA¿rYHS]00RD[JcTXlT

~wwWZ]rF\SUTA[JG

0]rcG¨WZ]ÐrcE0FH~cTAEQJD[JªXW

¾Zr R|V! rDrFµ]~wJL]<§c\]

0]W¦TAYHSÐcE0RµW

∆

HJ[JGÃ~r]r00ÃWNGQD¤-GFµ~

∆ ` φ

∆ ` ∀x φ

¬WJ lB§#0]¦G~cQJr~rSG0¤Jr

∆ ` φ∀x φ

cYHS¥QJFH0~r]

]'S\R0]rRµ0¨0]]E0][yJLHDK

ñJrH]

∆ ` φ

GFµ~.W

GBDrR

∆

¤0SGW

YHE|´V!0]G0¦rYS

QyH¡:IpGFHjR|VTúUEDFwWZ0~r]WN¶

ñJrH]a[yJcDT£GA0raYHE|´V!0]yH¡JT

∆

Y\E©yV¹0]

¤BSG

∆ ` φ

∆

SG¿GcQ¢S\GÂR00Gy

Wyszukiwarka

Podobne podstrony:
Kutyłowski M, Logika w8s
Kutyłowski M, Logika w7s
Kutyłowski M, Logika w1s
Kutyłowski M, Logika w2s
Kutyłowski M, Logika w5s
Kutyłowski M Logika, w1s
Kutyłowski M, Logika w3s
Kutyłowski M, Logika w4s
Kutyłowski M Logika, w7s
Kutyłowski M Logika, w3s
Metodologia badań z logiką dr Karyłowski wykład 7 Testowalna w sposób etycznie akceptowalny
Logika koll3
logika mat
Logika W2 2013 14 ppt
logika wyklad 02
LOGIKA wyklad 5 id 272234 Nieznany
Logika RachunekZdan
logika rozw zadan v2

więcej podobnych podstron