!#"

$&%'"

(*)+-,/.0"21435!768

9

:;=<>@?BADCECEF

G

HIJBK

LNMPO

RQSSTRUSVXWZY[]\^J_`a`Q 5_
_` bIcde f+['ghNJ_ @ikjlmSn
oHYpQqRWc
rRQtsqu

vSlsaHRic`N[]NwNx

M

yMPO

RQSSTRUz#Yc[]\k J_`da_Q -_
 b]@eccfv[f{ghNJ_ @ikj| mR]n
oHYXVkW 

}

~

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

}

\k~

α ` β ⇒ α

}

oq~

`

F ⇒ ¬α

}

k~

`

F ⇒ α

}

q~

α ⇒ β, β ⇒ γ ` α ⇒ γ

cMPO

RQSSTRUSVmW€s_[

∆ ⊆ ∆

0

NJS

∆ ` α

bJ_‚dac W

∆

0

`

α

M

ƒ

MPO

RQSSTRUSV„W…s `[]

∆ ` F

V|`

∆ ` α

[reN[cs…ghNJ` ikj†

α

M ‡

_QqR‚aQqcˆbQRNJ_
_RU+

‰

a J` ''Š‹ciQRoŒsRJRŽzgtRQiVcW

¬¬

α

`b`bR bvo

¬

α ⇒ F

M

‘MPO

RQSSTRUSVmW

` ¬

p ⇒

(p ⇒ q)

ˆ

•

N_iSs_xRo

‰

a]J_ ]@vŠ‹ciQRoŒs

•

\^ŽiW’
o fI wNb“a J` 

M

”

u

”@•

J`Rg

M—–

J_N’j˜š™Ži“
›j†a`Q