*34 +(5)5.$$05%&%015

(1)

+#),-,./&%01)1#&.'(22(

*34 +(5)5.$$05%&%015

!"#$%&'"($%)*(+"(,)-%.*#/%0&(12)*$%.*%+"($,)#1)*%.*$%3)*#'*$ 4

56 7*%+&7+#7%&/1"0&,18#*C>9 ":%17%;&#,%.<&=").%,)"#'*)%7*$%="($%&/1"0*$9 *(%;&1)*%.*$%$#=$,1,#,1"($9

*,%*(>(%&33718#*)%7&%)2?7*%.<1(;-)*(+*HK.&($%7*%="(%").)* @

A6 7&%0-,B".*%.*$%&)=)*$%C"# 4 7&%0-,B".*%.*$%,&=7*&#/%&(&7D,18#*$E9 ":%7<"(%.-+"03"$*%$#++*$$1'*F 0*(,%7&%;")0#7*%1(1,1&7*%*(%+B*)+B&(,%#(*%1(,*)3)-,&,1"(%$"#$%7&8#*77*%*77*%*$,%')&1*6

G&%0-,B".*%.*%7&%)-.#+,1"(%H%7<&=$#).*9 8#*%7<"(%&%1(,)".#1,*%+"00*%)2?7*%.<1(,)".#+,1"(%.*%7&%(-?&,1"(9 (*%$<1($2)*%.&($%&#+#(*%.*%+*$%+&,-?")1*$%+&)%*77*%#,171$*%*$$*(,1*77*0*(,%7&%(",1"(%.*%I!"##$!%&%$'J6 K&($

7&%7&(?#*%(&,#)*77*9 #(*%$#33"$1,1"(%*$,%7<-("(+1&,1"(%.<#(*%3B)&$*%8#1%0&(8#*%.*%;")+*%&$$*),")18#*6 L#%(1'*&#%3)&?0&,18#*9 7&%;")+*%&$$*),")18#*%*$,%+*%8#1%.1$,1(?#*%#(*%&$$*),1"(%.<#(*%8#*$,1"(%"#%.<#(

").)* 4 +<*$,%*(%'*),#%.*%7&%;")+*%&$$*),")18#*%8#*%8#*78#<#(%8#1%&M)0*%8#<17%37*#,%$<*(?&?*%3"#)%7&

'-)1,-%.*%I 17%37*#, J6 N1%$"(%-("(+1&,1"(%0&(8#*%.*%;")+*%&$$*),")18#*9 "(%(*%3*#,%3&$%7*%+"(,)*.1)*%*(

.1$&(,%8#<17%(*%37*#,%3&$6 O(%*P*,9 17%(<&%3&$%&M)0-%8#<17%37*#, 4 17%7<&%$*#7*0*(,%.*0&(.-9 ")."((-%"#

$#33"$-6

!"#$%&'"($%.1,%8#*%7&%7"?18#*%$<"++#3*%.<#(%7&(?&?*%;")0*79 8#1%;&1,%&=$,)&+,1"(%.*%7&%.10*($1"(%3)&?F 0&,18#*%.#%7&(?&?*%").1(&1)*6 N1%("#$%.1$,1(?#"($%7&%;")+*%"#%7*%0".*%.<#(%-("(+-%.*%$"(%+"(,*(#

3)"3"$1,1"((*7%*,%.1$"($%8#*%7*$%&+,*$%.*%3)"0*,,)*%8#*p9 ")."((*)%8#*p9 3)1*)%8#*p*,%.1)*%8#*p 103718#*(,%,"#,*$%7&%0Q0*%3B)&$*%IpJ9 +*%(<*$,%8#*%.*%+*,,*%3B)&$*9 +"($1.-)-*%+"00*%-,&(,%')&1*%"#

;&#$$*9 ."(,%("#$%("#$%$"00*$%"++#3-$%0&1(,*(&(,6 R<*$,%3"#)8#"1%"(%3"#))&1,%3*($*)%8#*%7&%7"?18#*

;&1,%&=$,)&+,1"(%,",&7*%.*%,"#,%&+,*%.*%3&)"7*6 !"#$%'"D"($%0&1(,*(&(,%8#*%+*+1%(<*$,%3&$%*(,12)*0*(, ')&1 4 7&%.1$,1(+,1"(%*(,)*%#(*%&M)0&,1"(%8#*p*,%#(*%$#33"$1,1"(%8#* p$*%;&1,%3&)%)-;-)*(+*%&#/

.1P-)*(,*$%;")+*$%177"+#,"1)*$%.*%+*$%.*#/%&+,*$6 R*#/F+19 +*3*(.&(,9 )*$,*)"(,%7*$%$*#7$%H%+"($1.-)*)6⁵

!"#$%&'"($%.-SH%;&1,%.*%("0=)*#$*$%$#33"$1,1"($%,"#,%&#%7"(?%.*%+*%+"#)$6 T)*("($%7*$%*/*037*$%$#1F '&(,$ 4

U I V0&?1("($%8#*%8#*78#<#(%$"#,1*((*%8#<17%(*%;&#,%3&$%0&(?*)%.*%7&%'1&(.*6 V7%3"#))&1,%&'"1)%.*#/

,D3*$%.*%)&1$"($ 4 W J

U I X#*78#<#(%8#1%&M)0*%8#*%IpJ%*,%8#*%Ip→qJ%$"(,%')&1*$9 .*')&1,%&7")$%&M)0*)%8#*q6 J

56 !"#$%'*))"($%.&($%7*%+B&31,)*Y$#)%7&%$D77"?1$,18#*9 8#<L)1$,",*%*(%.1$,1(?#&1,%#(%,)"1$120*%&+,*%.*%3&)"7*9 7*%)*S*,%"#%7&

(-?&,1"(6

(2)

U I Z"#,%*(%-,&(,%+"('&1(+#$%8#*¬p9 $#33"$"($%8#*p6 V7%$<*($#1,%&7")$%8#*%7*%(#0-)"%A%(<*$,%3&$

-?&7%H%7&%$"00*%.*%5%[%59 +*%8#19 ("#$%7*%$&'"($9 *$,%;&#/6 G&%$#33"$1,1"(%8#*p-,&1,%."(+%;&#$$*6 K"(+¬p6 J

U I N19 +"00*%+*),&1($%7<&M)0*(,9 17%D%&%#(%K1*#9 &7")$%+*%K1*#%*$,%"0(13",*(,6 N<17%*$,%"0(13",*(,9

&7")$%17%3*#,%+)-*)%#(*%31*))*%$1%7"#).*%8#*%G#1F0Q0*%(*%3*#,%7&%$"#7*'*)6 \&1$%+<*$,%103"$$1=7*6 K"(+%17%(<D%&%3&$%.*%K1*#6 J

K&($%#(*%3)*#'*%3&)%7&%)-.#+,1"(%H%7<&=$#).*9 17%$*)&1,%&=$#).*%.*%)*3)"+B*)%H%+*7#1%8#1%7&%3)";2)*%.*

$<Q,)*%+"(,)*.1,%*(%.-0"(,)&(,%C*,%."(+%*(%&M)0&(,E%8#*%7&%3B)&$*%.*%.-3&),%*$,%;&#$$*6 R*+1%0"(,)*

8#*%("#$%&'"($%&P&1)*%H%#(*%$#33"$1,1"( 4 +<*$,%*(%$#33"$&(,%IpJ%*,%*(%0"(,)&(,%8#<#(*%+"(,)&.1+,1"(

$<*(%*($#1,%8#*%7<"(%.-0"(,)*%8#*¬p6

R<*$,%7<#$&?*%.*$%$#33"$1,1"($%8#1%+&)&+,-)1$*%7&%0-,B".*%.*%7&%.-.#+,1"(%(&,#)*77*%8#*%7<"(%&=").*)&

.&($%+*,,*%7*]"(6^AG&%.-.#+,1"(%(&,#)*77*%*$,%#(*%0&(12)*%1(,#1,1'*%.*%;&1)*%.*$%3)*#'*$%8#1%$<&33&)*(,*

=1*(%&#/%)&1$"((*0*(,$%.<#(*%&)?#0*(,&,1"(6 T&)+*%8#<*77*%("#$%3*)0*,%.*%3)"#'*)%.*$%,B-")20*$%*, 3&)+*%8#*%7<"(%3*#,%.-0"(,)*)%8#*%$*$%,B-")20*$%$"(,%.*$%,&#,"7"?1*$9 7&%.-.#+,1"(%(&,#)*77*%*$,%.*

0Q0*%#(*%0-,B".*%3*)0*,,&(,%.*%+&7+#7*)%7&%'&71.1,-%.*$%&)?#0*(,$ 4 "3-)&(,%-,&3*%3&)%-,&3*9 +B&+#(*

+"(,*(&(,%$&%3)"3)*%)2?7*%3"#)%&77*)%.*$%3)-01$$*$%H%.*$%+"(+7#$1"($%1(,*)0-.1&1)*$9 ("#$%&))1'"($%H%7&

+"(+7#$1"(%>(&7*%.*%7<&)?#0*(,6

\Q0*%$1%7<"(%(*%$<*(?&?*%3&$%H%7&%'-)1,-%.*%+*%8#*%7<"(%$#33"$*9 "(%,"0=*%$"#$%#(*%"=71?&,1"(%+"))*$3"(F .&(,* 4 +*77*%.*%,*(1)%+"03,*%.*%$*$%$#33"$1,1"($6 K*%("0=)*#/%)&1$"((*0*(,$%;&77&+1*#/%$*%3)".#1$*(,

*(%3)*(&(,%#(*%$#33"$1,1"(%3"#)%#(%;&1,%-,&=716 R<*$,%3"#)8#"19 .&($%7&%(",&,1"(%.*$%3)*#'*$%*(%.-.#+F ,1"(%(&,#)*77*%8#*%("#$%&."3,*)"($9 17%;&#,%,"#S"#)$%0&)8#*)%7*$%$#33"$1,1"($%.&($%7&%+"7"((*%H%?&#+B*6 R"($1.-)"($%7*%.-=#,%.<#(*%3)*#'*%8#*¬pH%3&),1)%.*$%,)"1$%3)-01$$*$%Ip→qJ9 Ip→(q →r)J%*, I¬rJ 4

4 p→q, p→(q→r),¬r " p→q 3)-01$$*

7 p→q, p→(q→r),¬r " p→(q→r) 3)-01$$*

8 p→q, p→(q→r),¬r " ¬r 3)-01$$*

9 p→q, p→(q→r),¬r, p "^∗ p $#33"$1,1"(

: p→q, p→(q→r),¬r, p "^∗ q .*%C5E%*,%C^E%3&)%CHKE

* p→q, p→(q→r),¬r, p "^∗ q→r .*%CAE%*,%C^E%3&)%CHKE

; p→q, p→(q→r),¬r, p "^∗ r .*%C_E%*,%C`E%3&)%CHKE

!"#$%+"00*(]"($%7&%3)*#'*%H%7&%71?(*%C5E%3&)%#(*%-(#0-)&,1"(%.*$%3)-01$$*$ 4 ,"#,*$%7*$%&#,)*$%3B)&$*$

.*%7&%3)*#'*%$*)"(,%.*$%+"($-8#*(+*$%7"?18#*$%.*$%,)"1$%3)-01$$*$%C5E9 CAE%*,%CaE6 !"#$%1(,)".#1$"($

#(*%$#33"$1,1"(%H%7&%71?(*%C^E6 !"#$%7&%)&S"#,"($%H%7&%+"7"((*%?&#+B*%*,%0&)8#"($%7*%$1?(*%I"J%3"#) 7&%)*7&,1"(%.*%.-.#+,1=171,-%&'*+%#(*%&$,-)1$8#* 4 +*,,*%&$,-)1$8#*%.&($%I"^∗J%("#$%)&33*77*%8#*%("#$

(<&'"($%*(+")*%)1*(%3)"#'-%$&($%+"(.1,1"( 4 G*$%71?(*$%^%H%b%$"(,%,"#,*$%?"#'*)(-*$%3&)%7&%$#33"$1,1"(

8#*pU%"(%&%3)"#'-%IrJ!$"!()*(!"##$!%&%$+(,"-pC1(.18#-%3&)%7<&$,-)1$8#*%.&($%I"^∗JE6 T"#)%3"#'"1) .1)*%8#*%7<"(%&%)-*77*0*(,%3)"#'-%7&%'-)1,-%.<#(*%+*),&1(*%;")0#7*%3)"3"$1,1"((*77*9 17%;&#,%*(7*'*)%+*,,*

$#33"$1,1"(%*,%3&$$*)%.*%I"^∗J%H%I"J6 R"00*(,%$*%.-;&1)*%.<#(*%$#33"$1,1"( c

A6 T"#)%7&%;")0#7&,1"(%.*$%)2?7*$%*,%8#*78#*$%*/*037*$9 S*%$#1')&1%7&)?*0*(,%7<*/+*77*(,*%3)-$*(,&,1"(%.*G*00"(C5d`_=E9 8#19 7#1F0Q0*9 $<*$,%1($31)-%.*N#33*$C5d_bE%*,\&,*$C5d`_E%8#1%$#1'&1*(,e1,+BC5d_5E6

(3)

f(*%)2?7*%.<1(;-)*(+*%8#1%("#$%3*)0*,%.<g,*)%#(*%$#33"$1,1"(%*$,%7&./0"1&%$+(2()3*4!".0-6 R"($1.-)"($

7&%3)*#'*%$#1'&(,* 4

4 p→q, q→ ¬p " p→q 3)-01$$*

7 p→q, q→ ¬p " q→ ¬p 3)-01$$*

8 p→q, q→ ¬p, p "^∗ p $#33"$1,1"(

9 p→q, q→ ¬p, p "^∗ q .*%C5E%*,%CaE%3&)%CHKE

: p→q, q→ ¬p, p "^∗ ¬p .*%CAE%*,%C^E%3&)%CHKE

* p→q, q→ ¬p " ¬p .*%CaE%*,%C_E%3&)./0"1&%$+(2()3*4!".0-

!"#$%&'"($%$#33"$-%8#*p9 .&($%7&%71?(*%a9 *,%0"(,)-%$"#$%+*,,*%$#33"$1,1"(%8#*¬pC71?(*%_E6 !"#$

3"#'"($%."(+%+"(+7#)*%8#*¬pU%$"#$%&#+#(*%$#33"$1,1"( 4 $1%7&%$#33"$1,1"(%8#*p("#$%02(*%H%#(*

+"(,)&.1+,1"(9 &7")$¬pC71?(*%`E6

G<1(,)".#+,1"(%.*$%$#33"$1,1"($%("#$%3*)0*,%.*%+"037-,*)%("(%$*#7*0*(,%(",)*%.1$+#$$1"(%$#)%7&%(-F

?&,1"(9 0&1$%-?&7*0*(,%+*77*%$#)%7<10371+&,1"(%0&,-)1*77*6 !"#$%&'"($%'#%8#*%7&%)2?7*%.<-7101(&,1"(%3"#) 7<10371+&,1"(%0&,-)1*77*%C→<E%-,&1,%7&%)2?7*%.<1(;-)*(+*5$0"!(#$+6+!CHKE 4

"p→q

"p

"q →< "# HK

K&($%7&%.*#/120*%7*]"(9 ("#$%(<&'1"($%3&$%7*$%)*$$"#)+*$%$#M$&(,*$%3"#)%1(,)".#1)*%7&%)2?7*%.<1(,)".#+,1"(

+"))*$3"(.&(,*%C→=E9 +*77*%.*%7&#.6"76 ( 1$+0%&%$++68-CK>E 4 p "^∗ p

666 p "^∗ q

" p→q →= "# K>

R*,,*%)2?7*%("#$%3*)0*,%.*%)*037&+*)%#(*%$#33"$1,1"(%3&)%#(*%10371+&,1"(%0&,-)1*77* 4 $1%IqJ%&%-,- 3)"#'-%$"#$%7&%$#33"$1,1"(%8#*p9 ("#$%&'"($%3)"#'-9 $"#$%&#+#(*%$#33"$1,1"(9 8#*p→q6 L'*+%+*,,*

)2?7*%H%(",)*%.1$3"$1,1"(9 +"(,1(#"($%(",)*%3)*#'*%8#*¬p4

; p→q, p→(q→p),¬r, p "^∗ r .*%C_E%*,%C`E%3&)%CHKE

> p→q, p→(q→p),¬r " p→r .*%C^E%*,%CbE%3&)%CK>E

? p→q, p→(q→p),¬r " ¬r→ ¬p .*%CYE%3&)1$+76.!%$'

46 p→q, p→(q→p),¬r " ¬p .*%CaE%*,%CdE%3&)%CHKE

K&($%7&%71?(*%CdE9 ("#$%&'"($%#,171$-%#(*%)2?7*%.<1(;-)*(+*%.-)1'-*9 &33*7-*%I +"('*)$1"( J9 ."(,%7*%$+B-0&

*$,%7*%$#1'&(,%C+;6 36dhE 4 C5E

p→q

¬q→ ¬p +"('*)$1"(%C>KE

R*%$+B-0&%+"))*$3"(.%H%7&%,&#,"7"?1*%I(p → q) → (¬q → ¬p)J%*,%*$,%."(+%'&71.*6 !"#$%3"#'"($

0Q0*%-+"("01$*)%*(+")*%#(*%&#,)*%71?(*%*(%#,171$&(,%7&%)2?7*%.*5$0"!(&$86+!CHOE 4

8 p→q, p→(q→p),¬r " ¬r 3)-01$$*

46^" p→q, p→(q→p),¬r " ¬p .*%CaE%*,%CYE%3&)%CHOE

(4)

!"#$%'"D"($%8#*%.&($%#(%+&7+#7%.*%.-.#+,1"(%(&,#)*77*9 17%*$,%;&+17*%.<1(,)".#1)*%.*$%)2?7*$%.<1(;-)*(+*

.-)1'-*$%C+"00*%("#$%7<&'"($%;&1,%&'*+>K9 7&%)2?7*%.*%7&%+"('*)$1"(E6 K&($%#(%+&7+#7%&/1"0&,18#*9 "(

&#)&1,%-,-%"=71?-%.*%3)"+-.*)%+"00*%$#1, 4

8 p→q, p→(q→p),¬r " ¬r 3)-01$$*

># p→q, p→(q→p),¬r " (p→r)→(¬r→ ¬p) &/1"0*%C@44E

>A p→q, p→(q→p),¬r " ¬r→ ¬p .*%CYE%*,%CY&E%3&)%CHKE

?^" p→q, p→(q→p),¬r " ¬p .*%CaE%*,%CY=E%3&)%CHKE

G&%("#'*77*%)2?7*%.<1(;-)*(+*%CHOE%("#$%3*)0*,%.<-3&)?(*)%7*$%71?(*$%CY&E%*,%CY=E6

*37 +(5)'BC2(5),D%1&'0,./&%01)(&),D-2%E%1#&%01),(5)/011(/&(.'5

G<#,171$&,1"(%.<#(*%7&(?#*%;")0*77*%3"#)%7&%7"?18#*%3)"3"$1,1"((*77*%("#$%"=71?*%.<*/3718#*)%+*%8#*%("#$

'"#7"($%.1)*%3&)%7*$%$D0="7*$%1(,)".#1,$%H%+*%3)"3"$ 4 ("#$%.*'"($%>/*)%7*#)%$1?(1>+&,1"(6 f(*%0&(12)*

$-0&(,18#*%.*%7*%;&1)*%*$,%.*%."((*)%.*$%,&=7*$%.*%'-)1,-9 */37"1,&(,%&1($1%7*%3)1(+13*%.*%'-)1;"(+,1"(F (&71,-6

i#,)*%7*$%,&=7*$%.*%'-)1,-9 17%*/1$,*%#(*%&#,)*%0-,B".*%$-0&(,18#*%8#1%3*)0*,%.*%.-,*)01(*)%7&%$1F

?(1>+&,1"(%.*$%+"((*+,*#)$%3)"3"$1,1"((*7$ 4 7*$%)2?7*$%.<1(,)".#+,1"(%*,%.<-7101(&,1"(%.-,*)01(*(,%7*

+"03"),*0*(,%j1(;-)*(,1*7<%.*%+*$%+"((*+,*#)$%U%+*%8#19 3"#)%+*#/%8#1%+"(]"1'*(,%7&%7"?18#*%+"00*

$D$,-0&,1$&,1"(%.<1(;-)*(+*$9 +"03)*(.%7<*$$*(,1*7%.*%7*#)%$1?(1>+&,1"(6 R"037-,&(,%(",)*%.1$+#$$1"(

.*$%+"((*+,*#)$%.&($%7&%7*]"(AC36ab*,%$#1'&(,$E9 ("#$%3"$,#7"($%7*$%)2?7*$%$#1'&(,*$%+"00*%)2?7*$

.<1(,)".#+,1"(%*,%.<-7101(&,1"(%3"#)%7*$%+"((*+,*#)$%3)"3"$1,1"((*7$ 4

" !φ→ ⊥"

" !¬φ" ¬= " !¬¬φ"

" φ ¬<

" ψ

" φ

" !φ∧ψ" ∧= " !φ∧ψ"

" φ ∧< " !φ∧ψ"

" ψ ∧<

" φ

" !φ∨ψ" ∨= " ψ

" !φ∨ψ" ∨=

" !¬φ"

" !φ∨ψ"

" ψ ∨<

φ "^∗ φ φ "^∗ ψ

" !φ→ψ" →=

" φ

" !φ→ψ"

" ψ →<

" !ψ→φ"

" !φ→ψ"

" !φ↔ψ" ↔= " !φ↔ψ"

" !φ→ψ" ↔< " !φ↔ψ"

" !ψ→φ" ↔<

G&%)2?7*%.<1(,)".#+,1"(%3"#)%7&%(-?&,1"(%C¬=E9 +"00*%("#$%7<&'"($%'#%H%7&%36ad9 #,171$*%I⊥J9 #(*%&=)-F '1&,1"(%3"#)%(<103"),*%8#*77*%3B)&$*%+"(,)&.1+,"1)*6

R*$%)2?7*$9 &'*+%8#*78#*$%0".1>+&,1"($9 $*)"(,%7*$%)2?7*$%.*%7&%.-.#+,1"(%(&,#)*77*6^aL#%71*#%.*%3"$,#7*)9

a6 i(%;*)&%#(*%0".1>+&,1"(%3"#)%7&%)2?7*%.<1(,)".#+,1"(%.*%7&%(-?&,1"( 4 7&%)2?7*¬=$*)&%)*037&+-*%3&)%7*$%)2?7*$%.*%0".#$

(5)

+"00*%.&($%#(*%&33)"+B*%$-0&(,18#*9 8#*%+*$%)2?7*$%+"($,1,#*(,%.*$%1(;-)*(+*$%'&71.*$9 ("#$%7*$%3)*F ("($%$1037*0*(,%+"00*%,*7$9 3"#)%.*$%)2?7*$%.*%0&(13#7&,1"(%.*%$1?(*$6 R"00*%7*$%)2?7*$%.<1(;-)*(+*

.<#(%+&7+#7%&/1"0&,18#*9 *77*$%$"(,%$+B-0&,18#*$ 4 3"#)%(<103"),*%8#*77*%3B)&$*%I 3 J9 7&%)2?7*%C¬<E9 3&)

*/*037*9 ("#$%.1,%8#*%("#$%3"#'"($%3)"#'*)%IpJ%H%3&),1)%.*%$&%."#=7*%(-?&,1"(%I¬¬pJ @ *77*%("#$%.1, -?&7*0*(,%8#*%("#$%3"#'"($%3)"#'*)%Ip∧qJ%H%3&),1)%.*%I¬¬(p∧q)J9 I(p → q)∨rJ%H%3&),1)%.*

I¬¬((p→q)∨r)J%*,+6

V7%*$,%103"),&(,%.*%(",*)%8#*%+*$%)2?7*$%)*'1*((*(,%H%#(*%$3-+1>+&,1"(%$D(,&/18#*%.*$%+"((*+,*#)$%3)"F 3"$1,1"((*7$%C3#1$8#<"(%(<&%3&$%*(+")*%3)"#'-%7&%'&71.1,-%.*%+*$%)2?7*$E6 R"00*(,%*$,F+*%3"$$1=7* c T"#) ."((*)%#(*%$3-+1>+&,1"(%$D(,&/18#*%.*%7&%$1?(1>+&,1"(%.<#(%+"((*+,*#)9 ("#$%;")0#7"($%.*$%)2?7*$%8#1 3*)0*,,*(,%.*%0&(13#7*)%.*$%;")0#7*$%8#1%7*%+"(,1*((*(,6 !"#$%.-,*)01("($%&1($1%7*%+"03"),*0*(, 1(;-)*(,1*7%.*%+*%+"((*+,*#)9 *(%7#1%."((&(,%#(*0/9+%&%$+ ( %5#)%1%&-4 8#*77*%8#*%$"1,%7&%$1?(1>+&,1"(

.*%I∧J9 *77*%*$,%,*77*%8#<*77*%3*)0*,%7<1(,)".#+,1"(%.*%+*%$1?(*%$*7"(%7&%)2?7*∧=6^{^}

V7%*/1$,*%.1P-)*(,*$%;&]"($%.*%;"#)(1)%#(*%.->(1,1"(%10371+1,*%.*$%+"((*+,*#)$%3)"3"$1,1"((*7$ 4 3&)

#(%$D$,20*%.<&/1"0*$%+"00*%7<*$,%7*%+&7+#7C>9 3&)%.*$%)2?7*$%.*%+"($,)#+,1"(%.<&)=)*$%*,%-?&7*0*(, 3&)%.*$%)2?7*$%.<-7101(&,1"(%*,%.<1(,)".#+,1"(6 R*$%.*)(12)*$%$"(,%.*%7"1(%7*$%37#$%1(,#1,1'*$%*,%+<*$,%$#)

*77*$%8#*%7&%0-,B".*%.*%7&%.-.#+,1"(%(&,#)*77*%*$,%=&$-*6

*38 +(5)'BC2(5),()2#),-,./&%01)1#&.'(22(

!"#$%&'"($%.-SH%0"(,)-%8#<17%D%&%.*$%,B-")20*$%.#%+&7+#7%&/1"0&,18#*%8#1%+"))*$3"(.*(,%H%.*$%)2?7*$

.<1(;-)*(+*$%.*%7&%.-.#+,1"(%(&,#)*77* 4 7&%)2?7*%.-)1'-*%.*%+"('*)$1"(>K9 3&)%*/*037*9 +"))*$3"(.%&#

,B-")20*%I(p→q)→(¬q→ ¬p)J%.*C>6 V7%$<&?1,%.<#(%3B-("02(*%?-(-)&7 4 (")0&7*0*(,9 7*$%+&7+#7$

&/1"0&,18#*$%+"($1$,*(,%*(%.*%("0=)*#/%&/1"0*$%*,%#(*%$*#7*%)2?7*%.<1(;-)*(+*%U%0".#$%3"(*($%CHKE6 G*$%+&7+#7$%.*%7&%.-.#+,1"(%(&,#)*77*%U%+"00*%+*7#1%.*%7&%0-,B".*%.*$%&)=)*$%U%(<"(,%3&$%.<&/1"0*$9 0&1$%.*%("0=)*#$*$%)2?7*$%.<1(;-)*(+*$%3"#)%.-.#1)*%.*$%,B-")20*$%H%3&),1)%.*$%3)-01$$*$6 RB&+#(*

.*%+*$%)2?7*$%("#$%3*)0*,%.*%+"(,1(#*)%(",)*%3)*#'*%.<#(*%-,&3*9 $1%("#$%&'"($%.-SH%-,&=71%#(%+*),&1(

("0=)*%.<&#,)*$ 4 +*$%&#,)*$%-,&3*$%$"(,%&7")$%0*(,1"((-$%.&($%7&%+"7"((*%.)"1,*%.*%7&%3)*#'*9 *,%,"#,*$

7*#)$%$#33"$1,1"($%$"(,%B-)1,-*$%H%7&%("#'*77*%71?(*6 G&%.1M+#7,-%3)1(+13&7*%.*$%3)*#'*$%3&)%7&%0-,B".*

.*%7&%.-.#+,1"(%(&,#)*77*%+"($1$,*%&7")$%H%,*(1)%+"03,*%.*%+*$%$#33"$1,1"($6

!"#$%&77"($%.1$+#,*)%0&1(,*(&(,%.*%8#*78#*$%)2?7*$%.<1(;-)*(+*$%*(%.-,&176 T)1$*$%*($*0=7*9 +*$%)2?7*$

("#$%3*)0*,,*(,%.*%.-0"(,)*)%,"#,*%,&#,"7"?1*%.*%7&%7"?18#*%3)"3"$1,1"((*77* 4 *77*$%;")0*(,%#(%+&7+#7 +"))*+,%*,%+"037*,%3&)%)&33"),%H%7&%$-0&(,18#*%."((-*%.*%7&%7"?18#*%3)"3"$1,1"((*77*6

+#)'BC2(),(5)5.$$05%&%015

L (<103"),*%8#*7%$,&.*%.*%7&%3)*#'*9 ("#$%&'"($%7*%.)"1,%.<1(,)".#1)*%#(*%$#33"$1,1"(9 H%+"(.1,1"(%8#*

("#$%7&%0&)8#1"($%.&($%7&%.*#/120*%+"7"((*%H%3&),1)%.*%7&%?&#+B* 4

1 φ "^∗ φ $#33"$1,1"(

,"77*($HO*,%.*%7&%)-.#+,1"(%H%7<&=$#).*M<<6 f(*%0".1>+&,1"(%+"))*$3"(.&(,*%$<&33718#*)&%H%7&%)2?7*%.<-7101(&,1"(%.*%7&

.1$S"(+,1"(∨<6

^6 f(*%.->(1,1"(%*/371+1,*%*(%)*'&(+B*9 +"($1$,*%*(%.*$%+"(.1,1"($%(-+*$$&1)*$%*,%$#M$&(,*$%.<#(*%3&)&3B)&$*%C+;6 36``E 4 *77*

3*)0*,%.*%)*F-+)1)*%,"#,%+"(,*/,*%+"(,*(&(,%7&%("#'*77*%*/3)*$$1"(%.->(1*%*(%(<#,171$&(,%8#*%7*$%*/3)*$$1"($%8#1%"(,%$*)'1%H%$&

.->(1,1"(%U%7*%.*>(1*($%*$,%#(1'*)$*77*0*(,%$#=$,1,#&=7*%3"#)%7*%.*>(1*(.#06

(6)

F0,.5)$01(15)GE0,.5)$01(1,0)$01(15H

G&%)2?7*%.*%0".#$%3"(*($%C&=)-?-*%I CHKE J%"#%I C→<E JE%("#$%3*)0*,%.*%3&$$*)%.<#(*%10371+&,1"(

0&,-)1*77*%*,%.*%$"(%&(,-+-.*(,%H%$"(%+"($-8#*(, 4

E "!φ→ψ"

666 666

1 "φ

666 666

0 "ψ .*%CmE%*,%CnE%3&)%CHKE

F0,.5)&022(15)GE0,.5)&022(1,0)&022(15H

G&%)2?7*%.*%0".#$%,"77*($%C&=)-?-*%I CHOE JE%("#$%3*)0*,%.*%3&$$*)%.<#(*%10371+&,1"(%0&,-)1*77*%*,%.*

7&%(-?&,1"(%.*%$"(%+"($-8#*(,%H%7&%(-?&,1"(%.*%$"(%&(,-+-.*(, 4

E "!φ→ψ"

666 666

1 "!¬ψ"

666 666

0 "!¬φ" .*%CmE%*,%CnE%3&)%CHOE

G&%)2?7*%.*%0".#$%,"77*($%)*037&+*%7&%)2?7*%.*%+"('*)$1"(6N1%"(%&%3)"#'-%Ip→qJ%*,%I¬qJ9 7&%+"('*)$1"(

.*%7&%3)*012)*%("#$%."((*%I¬q→ ¬pJ%*,%I¬pJ%$<*($#1,%3&)%CHKE6 L'*+%CHOE9 ("#$%3"#'"($%*(%.-.#1)*

I¬pJ%$&($%&#+#(*%-,&3*%1(,*)0-.1&1)*6

I'(.J()/01,%&%011(22(

G&%)2?7*%.*%7&%3)*#'*%+"(.1,1"((*77*%C&=)-?-*%I C→=E J%"#%I CK>E JE%("#$%3*)0*,%.*%,)&($;")0*)%#(*

$"#$F3)*#'*%C#(*%3)*#'*%?"#'*)(-*%3&)%#(*%$#33"$1,1"(E%*(%#(*%3)*#'*%.<#(*%10371+&,1"(%0&,-)1*77* @

*77*%("#$%3*)0*,%.*%.-.#1)*%#(*%10371+&,1"(%$1%*,%$*#7*0*(,%$<17%*$,%3"$$1=7*%.*%3)"#'*)%3&)%.<&#,)*$

0"D*($%8#*%7*%+"($-8#*(,%.*%7<10371+&,1"(%3*#,%Q,)*%.-)1'-%.*%$"(%&(,-+-.*(,6

E φ "^∗ φ $#33"$1,1"(

666 666

1 φ "^∗ ψ

666 666

0 "!φ→ψ" .*%CmE%*,%CnE%3&)%CK>E

K&($%7&%71?(*%CoE9 ("#$0/1:*.;6$+!7&%$#33"$1,1"(φ3&)%7&8#*77*%("#$%&'"($%+"00*(+-%7&%$"#$F3)*#'*

.*%CmE%H%CnE%*,%("#$1$+0%&%$+*)%!$+!7*%)-$#7,&,%1(,*)0-.1&1)*ψ8#1%-,&1,%?"#'*)(-%3&)%7&%$#33"$1,1"(φ6

(7)

+D%1&'0,./&%01)(&)2D-2%E%1#&%01),()2#),0.A2()1-C#&%01

G&%)2?7*%.*%7<-7101(&,1"(%.*%7&%."#=7*%(-?&,1"(%CC¬<E%"#%C?IEE%*$,%7&%$#1'&(,* 4

E "!¬¬φ"

666 666

1 "φ .*%CmE%3&)%C?IE

K*%7&%0Q0*%0&(12)*9 ("#$%3"#'"($%1(,)".#1)*%#(*%."#=7*%(-?&,1"(%C3&)%*/*037*%3"#)%#(*%&3371+&,1"(

-'*(,#*77*%.*%CHOEE 4

E "φ

666 666

1 "!¬¬φ" .*%CmE%3&)%C?IE

+#)'-,./&%01)K)2D#A5.',()G'(,./&%0)#,)#A5.',.EH

G&%)2?7*%.*%7&%)-.#+,1"(%H%7<&=$#).*%CCM<<E%"#%C¬=EE%("#$%3*)0*,%.*%+"('*),1)%#(*%$"#$F3)*#'*%3&),1+#F 712)*%C8#1%3&),%.*%7&%$#33"$1,1"(%8#*p*,%8#1%*(%.-)1'*%#(*%+"(,)&.1+,1"(E%*(%#(*%3)*#'*%8#*¬p4

E φ "^∗ φ $#33"$1,1"(

666 666

1 φ "^∗ ψ

666 666

0 φ "^∗ !¬ψ"

666 666

$ "!¬φ" .*%CmE9 CnE%*,%CoE%3&)%CM<<E

N"#$%7&%$#33"$1,1"(φC71?(*mE9 ("#$%&'"($%.-0"(,)-ψC71?(*nE%*,!¬ψ"C71?(*oE6 i)ψ*,!¬ψ"(*

3*#'*(,%3&$%Q,)*%')&1*$%*($*0=7*6 !"#$%3"#'"($%."(+%+"(+7#)*%8#*%7&%$#33"$1,1"(%1(1,1&7*φ-,&1,%;&#$$*

*,%-+)1)*!¬φ"H%7&%71?(*p6 !"#$%&'"($%)-.#1,%H%7<&=$#).*%7&%$#33"$1,1"(φ*,%."(+%3)"#'-%$&%(-?&,1"(6 K<&3)2$%+*,,*%)2?7*9 $1%'",)*%1(,*)7"+#,*#)%3"$*%#(*%BD3",B2$*%CIpJE%."(,%"(%3*#,%3)"#'*)%8#<*77*%("#$

02(*%H%#(*%+"(,)&.1+,1"(%CIq∧ ¬qJE9 &7")$%+*,,*%BD3",B2$*%."1,%Q,)*%)*S*,-*%*,%$&%(-?&,1"(%I¬pJ%3*#, Q,)*%&M)0-*6^_

_6 R*%+"(,)&$,*%*(,)*%7&#6.5%!!%$'.<&M)0*)%#(*%+"($-8#*(+*%7"?18#*%.*%+*%8#<"(%&%&M)0-%&#3&)&'&(,%*,%7<%+&6.0%1&%$'.<*(

&M)0*)%7&%(-?&,1"(%&%.-SH%-,-%+"($,&,-%H%7&%36d_6

(8)

+D%1&'0,./&%01)(&)2D-2%E%1#&%01),()2#)/01L01/&%01

G&%)2?7*%.<1(,)".#+,1"(%.*%7&%+"(S"(+,1"(%C∧=E%("#$%3*)0*,%.<1(;-)*)%Ip∧qJ%$1%"(%&%.-SH%3)"#'-%8#*p

*,%8#*q4

E "φ

666 666

1 "ψ

666 666

0 "!φ∧ψ" .*%CmE%*,%CnE%3&)%C∧=E

G<-7101(&,1"(%.*%7&%+"(S"(+,1"(%$*%;&1,%*(%1(;-)&(,%#(%.*$%+"(S"1(,$%.*%7&%3B)&$*%+"(S"(+,1'* 4

E "!φ∧ψ"

666 666

1 "φ .*%CmE%3&)%C∧<E

E "!φ∧ψ"

666 666

1 "ψ .*%CmE%3&)%C∧<E

+D%1&'0,./&%01)(&)2D-2%E%1#&%01),()2#),%5L01/&%01

G*$%)2?7*$%.<1(,)".#+,1"(%.*%7&%.1$S"(+,1"(%$"(,%.#&7*$%&#/%)2?7*$%.<-7101(&,1"(%.*%7&%+"(S"(+,1"( 4^`

E "φ

666 666

1 "!φ∨ψ" .*%CmE%3&)%C∨=E

E "ψ

666 666

1 "!φ∨ψ" .*%CmE%3&)%C∨=E

N1%G"#1$%klV &%-,-%?#177",1(-9 &7")$%$"1,%17%&%-,-%?#177",1(-9 $"1,%17%&%-,-%3*(.#6 R*,,*%3B)&$*%*$,%')&1*9 0Q0*%$1%7<"(%$&1,%,)2$%=1*(%8#<17%(<&%3&$%-,-%3*(.#6

G<-7101(&,1"(%.*%7&%.1$S"(+,1"(%*$,%#(%3*#%37#$%+"037*/*%*,%3)-$#33"$*%7&%)2?7*%.*$%$#33"$1,1"($6 R"($1F

`6 !"#$%&33*7"($%I .#&7* J%7&%,)&($;")0&,1"(%.<#(*%+"(S"(+,1"(%*(%#(*%.1$S"(+,1"(%(1-*%"#%.<#(*%.1$S"(+,1"(%*(%#(*%+"(S"(+F ,1"(%(1-*9 $#1'&(,%7*$%7"1$%.*%\")?&(6

(9)

.-)"($%7*%$+B-0&%.*%3)*#'*%$#1'&(, 4

E "!φ∨ψ"

666 666

1 φ "^∗ φ $#33"$1,1"(

666 666

0 φ "^∗ χ

666 666

$ ψ "^∗ ψ $#33"$1,1"(

666 666

M ψ "^∗ χ

666 666

' "χ .*%CmE9 CnE9 CoE9 CpE%*,%CqE%3&)%C∨<E

G<1.-*%8#1%0",1'*%+*,,*%)2?7*%.<1(;-)*(+*%*$,%7&%$#1'&(,* 4 $1%#(*%.1$S"(+,1"(%Ip∨qJ%&%-,-%-,&=71*9 *,%8#<"(

0"(,)*%8#*%.*%IpJ%17%$<*($#1,%IrJ9 *,%8#*%.*%IqJ%17%$<*($#1,%-?&7*0*(,%IrJ @ &7")$9 .*%7&%.1$S"(+,1"(%Ip∨qJ9 17%$<*($#1,%8#*r6 N1%("#$%&'"($9 H%7&%71?(*E9 3)"#'-%7&%.1$S"(+,1"(9 "(%&%3)"#'-%8#*r6 R*%8#1%$<*($#1, H%7&%;"1$%.*$%.*#/%.1$S"1(,$%$<*($#1,%.*%7&%.1$S"(+,1"(%0Q0*6 !"#$%3"#'"($%."((*)%#(*%1(,*)3)-,&,1"(

?)&3B18#*%.*%C∨<E%+"00*%$#1, 4

!φ∨ψ"

φ ψ

!!

"

!!

"

ξ

N1%S*%'*#/%)*S"1(.)*%0"(%&01%*,%S*%$&1$%8#<17%*$,%$"1,%H%7<#(1'*)$1,-9 $"1,%*(%'177*9 0&1$%$1%S*%$&1$%-?&7*0*(, 8#*%$<17%*$,%H%7<#(1'*)$1,-9 17%$*)&%H%7&%;Q,*%.*%\&#)1+*%*,%&#$$1%8#*%$<17%*$,%*(%'177*9 17%$*)&%-?&7*0*(,%H%7&

;Q,*%.*%\&#)1+*9 &7")$%S*%$&1$%8#<17%$*)&%H%7&%;Q,*%.*%\&#)1+*%U%0"(%1?(")&(+*%+"(+*)(&(,%7&%8#*$,1"(

7*8#*7%.*$%.1$S"1(,$%)*(.%')&1*%7&%.1$S"(+,1"(%*$,%m &((#7-*n 3&)%0"(%$&'"1)%8#*%.&($%7*$%.*#/%+&$9 17%$*)&

H%7&%;Q,*6

+D%1&'0,./&%01)(&)2D-2%E%1#&%01),()2D-M.%J#2(1/()E#&-'%(22(

T#1$8#*%7<-8#1'&7*(+*%0&,-)1*77*%*$,%$1037*0*(,%7<10371+&,1"(%0&,-)1*77*%m )-+13)"8#*n9 ("#$%&'"($

+"00*%)2?7*%.<1(,)".#+,1"( 4

E "!φ→ψ"

666 666

1 "!ψ→φ"

666 666

0 "!φ↔ψ" .*%CmE%*,%CnE%3&)%C↔=E

(10)

G*$%)2?7*$%.<-7101(&,1"(%("#$%0"(,)*(,%8#*%7<-8#1'&7*(+*%*$,%$1037*0*(,%7&%+"(S"(+,1"(%.*$%.*#/%10F 371+&,1"($%0&,-)1*77*$ 4

E "!φ↔ψ"

666 666

1 "!φ→ψ" .*%CmE%3&)%C↔<E

E "!φ↔ψ"

666 666

1 "!ψ→φ" .*%CmE%3&)%C↔<E

*39 +(5)$'(.J(5)$#'),-,./&%01)1#&.'(22(

\1$%H%3&),%7<#$&?*%.*$%$#33"$1,1"($9 #(*%.*#/120*%+&)&+,-)1$,18#*%.*%7&%0-,B".*%.*%7&%.-.#+,1"(%(&,#F )*77*%*$,%8#<*77*%("#$%3*)0*,%.<1(+")3")*)%.*$#./5%!!6!6 K&($%#(%+&7+#7%&/1"0&,18#*9 17%;&#,%.1$,1(?#*) +*%8#1%*$,%.-)1'&=7*%,"#,%+"#),%C7*$%,B-")20*$E%.*%+*%8#1%*$,%.-)1'&=7*%.<#(*%,B-")1*6 G*$%,B-")1*$9 .&($

7*$%+&7+#7$%&/1"0&,18#*$9 S"#*(,%#(%)g7*%+"03&)&=7*%H%+*7#1%.*$%3)-01$$*$%.&($%7&%.-.#+,1"(%(&,#)*77*6 i(%0&)8#*)&%7*$%3)-01$$*$%.&($%7&%.*#/120*%+"7"((*%H%?&#+B*9 &'*+%7*$%$#33"$1,1"($6 R"(,)&1)*0*(,

&#/%$#33"$1,1"($%17%(*%;&#,%3&$%7*$%$#33)10*)%3"#)%"=,*(1)%#(*%3)*#'* 4 7&%3)*#'*%*77*F0Q0*%$*)&%+"(.1F ,1"((*77* 4 "(%0"(,)*)&%8#<#(*%+*),&1(*%3B)&$*%C7&%+"(+7#$1"(E#6"& ( <&.6 ( 0/.%7/6 ( 2 ( #*.&%. ( 0-+*),&1(*$

&#,)*$%C7*$%3)-01$$*$E6 Z"#,*$%("$%)2?7*$%$&#;K>*,M<<3)-$#33"$*(,%8#*%7<"(%&1,%.-SH%.-0"(,)-%#(*

"#%37#$1*#)$%3B)&$*$%*,%("#$%$*)'*(,%."(+%H%-,&=71)%.*$%3B)&$*$%H%3&),1)%.*%+*),&1(*$%3)-01$$*$6 G<#$&?*%.*$%3)-01$$*$%("#$%3*)0*,%.<-'1,*)%.*$%$#=$,1,#,1"($6 T"#)%0"(,)*)9 3&)%*/*037*9 7&%+"00#F ,&,1'1,-%.*%7&%+"(S"(+,1"(9 #(*%$1037*%3)*#'*%.*%8#&,)*%71?(*$%("#$%$#M, 4

4 p∧q " p∧q 3)-01$$*

7 p∧q " p .*%C5E%3&)%C∧<E

8 p∧q " q .*%C5E%3&)%C∧<E

9 p∧q " q∧p .*%CAE%*,%CaE%3&)%C∧=E

i(%)*0&)8#*9 +*3*(.&(,9 8#*%0Q0*$%7*$%3)-01$$*$%."1'*(,%Q,)*%1(,)".#1,*$%.&($%7&%3)*#'*6

K>*,M<<("#$%3*)0*,,*(,%.*%.-0"(,)*)%.*$%,&#,"7"?1*$9 +<*$,FHF.1)*%.*$%3B)&$*$%."(,%7*$%3)*#'*$%(*

(-+*$$1,*(,%3&$%.*%3)-01$$*$6 T"#)%.-0"(,)*)%I"p→pJ9 3&)%*/*037*9 ("#$%3)"+-."($%+"00*%$#1, 4

4 p "^∗ p $#33"$1,1"(

7 p "^∗ p .*%C5E

8 "p→p .*%C5E%*,%CAE%3&)%CK>E

K&($%7&%+"7"((*%.*%?&#+B*9 "(%-(#02)*%7*$%71?(*$ @ .&($%7&%.*#/120*9 "(%0*,%.*$%3)-01$$*$%C8#<17%(<D%&

3&$%.&($%+*,%*/*037*E%*,%.*$%$#33"$1,1"($ @ .&($%7&%,)"1$120*9 $"1,%I"^∗J%C$1%"(%*$,%*(%,)&1(%.*%.-0"(,)*)

#(*%3B)&$*%$"#$%#(*%$#33"$1,1"(E9 $"1,%I"J%C$1%"(%(<&%3&$%;&1,%.*%$#33"$1,1"(%"#%-7101(-%,"#,*$%+*77*$

8#*%7<"(%&%;&1,*$E @ .&($%7&%8#&,)120*%+"7"((*9 7&%3B)&$*%3)1(+13&7* @ .&($%7&%+1(8#120*9 7&%0&(12)*%."(,

"(%*$,%&))1'-%H%7&%3B)&$*%3)1(+13&7* 4 $<17%$<&?1,%.<#(*%3)-01$$*9 .<#(*%$#33"$1,1"(%"#%.*%7&%+"(+7#$1"(

.<#(*%)2?7*%.<1(;-)*(+*6

N1%("#$%&'"($%.*#/%71?(*$%1.*(,18#*$%+"00*%.&($%(",)*%*/*037*9 17%(<*$,%3&$%(-+*$$&1)*%.*%7*$%)-3-,*)6

(11)

!"#$%&#)1"($%3#%-+)1)*%-?&7*0*(, 4

4 p "^∗ p $#33"$1,1"(

8 "p→p .*%C5E%*,%C5E%3&)%CK>E

N1%"(%&%.*$%3)-01$$*$9 "(%+"00*(+*%3&)%7*$%1(+")3")*)%.&($%7&%3)*#'*6 N#33"$"($%8#*%("#$%'"#71"($

3)"#'*)%Ip→rJ%H%3&),1)%.*$%.*#/%3B)&$*$%Ip→qJ%*,%Iq→rJ6 !"#$%+"00*(]"($%&'*+%7<-("(+1&,1"(

.*%+*$%3)-01$$*$%+"00*%$#1, 4

4 p→q, q→r " p→q 3)-01$$*

7 p→q, q→r " q→r 3)-01$$*

R*,,*%)2?7*%+"))*$3"(.%&#%;&1,%8#*%7<"(%&9 .&($%#(%+&7+#7%&/1"0&,18#*9C>∪Oc"φ3"#)%,"#,*%;")0#7*

φ∈OcC+;6 .-;6dH%7&%36bdE6 T#1$8#*%("#$%+B*)+B"($%H%-,&=71)%#(*%+"(+7#$1"(%+"(.1,1"((*77*%CH%$&'"1) Ip→rJE9 ("#$%$#33"$"($%$"(%&(,-+-.*(, 4

4 p→q, q→r " p→q 3)-01$$*

7 p→q, q→r " q→r 3)-01$$*

8 p→q, q→r, p "^∗ p $#33"$1,1"(

R*,,*%$#33"$1,1"(%("#$%3*)0*,%.<&33718#*)%CHKE 4 ("#$%"=,*("($%&1($1%IqJ%U%+*%8#19 &'*+%7&%.*#/120*

3)-01$$*9 ("#$%3*)0*,%7&%.-)1'&,1"(%.*%IrJ 4

4 p→q, q→r " p→q 3)-01$$*

7 p→q, q→r " q→r 3)-01$$*

8 p→q, q→r, p "^∗ p $#33"$1,1"(

9 p→q, q→r, p "^∗ q .*%C5E%*,%CaE%3&)%CHKE

: p→q, q→r, p "^∗ r .*%CAE%*,%C^E%3&)%CHKE

O(%&33718#&(,%.*%7&%)2?7*%.*%7&%3)*#'*%+"(.1,1"((*77*9 ("#$%&'"($%-,&=71%(",)*%+"(+7#$1"(%$"#$%&#+#(*

$#33"$1,1"(%H%3&),1)%.*$%.*#/%3)-01$$*$%")1?1(&7*$ 4

4 p→q, q→r " p→q 3)-01$$*

7 p→q, q→r " q→r 3)-01$$*

8 p→q, q→r, p "^∗ p $#33"$1,1"(

9 p→q, q→r, p "^∗ q .*%C5E%*,%CaE%3&)%CHKE

: p→q, q→r, p "^∗ r .*%CAE%*,%C^E%3&)%CHKE

* p→q, q→r " p→r .*%CaE%*,%C_E%&'*+%CK>E

G&%.*)(12)*%71?(*%("#$%&$$#)*%0&1(,*(&(,%8#*%7<"(%3*#,%3)"#'*)%Ip→rJ%.*$%.*#/%3)-01$$*$%Ip→qJ

*,%Iq→rJ6

O/&01("($%#(*%3)*#'*%8#1%#,171$*%7&%)2?7*%.*%7&%)-.#+,1"(%H%7<&=$#).*%*,%*$$&D"($%.*%.-.#1)*%I¬(p∧q)J H%3&),1)%.*%Ip→ ¬qJ6 !"#$%+"00*(]"($%3&)%7<-("(+1&,1"(%.*%7&%3)-01$$*%*,%$#33"$"($%7&%(-?&,1"(%.*

7&%+"(+7#$1"(%.-$1)-* 4

4 p→ ¬q " p→ ¬q 3)-01$$*

7 p→ ¬q, p∧q "^∗ p∧q $#33"$1,1"(

N"#$%+*,,*%$#33"$1,1"(9 ("#$%+B*)+B"($%H%.-.#1)*%#(*%+"(,)&.1+,1"( 4 CM<<E%("#$%3*)0*,,)&%&7")$%.*

(12)

+"(+7#)*%8#*%7&%$#33"$1,1"(%*$,%;&#$$*%*,%8#*%3&)%+"($-8#*(,%$&%(-?&,1"(%*$,%')&1* 4

4 p→ ¬q " p→ ¬q 3)-01$$*

7 p→ ¬q, p∧q "^∗ p∧q $#33"$1,1"(

8 p→ ¬q, p∧q "^∗ p .*%CAE%3&)%C∧<E

9 p→ ¬q, p∧q "^∗ ¬q .*%C5E%*,%CaE%3&)%CHKE

: p→ ¬q, p∧q "^∗ q .*%CAE%3&)%C∧<E

* p→ ¬q " ¬(p∧q) .*%CAE9 C^E%*,%C_E%3&)%CM<<E G&%)2?7*%.*%7&%)-.#+,1"(%H%7<&=$#).*%*$,%3&),1+#712)*0*(,%#,17*%3"#)%3)"#'*)%.*$%,B-")20*$9 +"00*

.&($%7<*/*037*%$#1'&(,%.<#(*%3)*#'*%1(+"(.1,1"((*77*%I¬(p∧ ¬p)J 4

4 p∧ ¬p "^∗ p∧ ¬p $#33"$1,1"(

7 p∧ ¬p "^∗ p .*%C5E%3&)%C∧<E

8 p∧ ¬p "^∗ ¬p .*%C5E%3&)%C∧<E

9 ¬(p∧ ¬p) .*%C5E9 CAE%*,%CaE%3&)%CM<<E

V7%*$,%$"#'*(,%+)#+1&7%.*%=1*(%$*%$*)'1)%.*%7&%)2?7*%.*$%$#33"$1,1"($ 4 *77*%("#$%3*)0*,%.*%m $"),1)%n 7<1(;")0&,1"(%8#*%+"(,1*((*(,%7*$%3)-01$$*$6 T"#)%3"#'"1)%#,171$*)9 3&)%*/*037*9 Iq → rJ%.&($%#(*

3)*#'*%8#1%&%Ip→(q→r)J%+"00*%3)-01$$*9 "(%$#33"$*%IpJ6 G*%+B"1/%.*$%)2?7*$%*$,%("(%$*#7*0*(, 0",1'-%3&)%7*$%3)-01$$*$%8#1%$"(,%H%(",)*%.1$3"$1,1"(9 0&1$%-?&7*0*(,%3&)%7&%+"(+7#$1"(%.-$1)-* 4 $1 7&%+"(+7#$1"(%.-$1)-*%&%3&)%*/*037*%7&%;")0*%.<#(*%10371+&,1"(9 "(%$*%$*)'1)&%.*%7&%)2?7*%.*%7&%3)*#'*

+"(.1,1"((*77*%CK>E6 K&($%7*%+&$%":%7&%+"(+7#$1"(%*$,%#(*%3B)&$*%$1037*%"#%#(*%(-?&,1"(9 "(%#,171$*)&

7&%)-.#+,1"(%H%7<&=$#).*%CM<<E6

G&%)2?7*%.*%$#33"$1,1"(%("#$%3*)0*,%.*%m +"(.1,1"(&71$*)%n (<103"),*%8#*77*%71?(*%.*%(",)*%3)*#'* 4 $1

"(%&%3)"#'-%8#*q9 3&)%*/*037*9 17%$#M,%.*%$#33"$*)%IpJ%3"#)%.-)1'*)%Ip→qJ%3&)%7&%)2?7*%CK>E6 V7%*$, ."(+%&#$$1%3"$$1=7*%.<#,171$*)%7&%0Q0*%3B)&$*%37#$1*#)$%;"1$9 3&)%*/*037*%3"#)%3)"#'*)%Ip→(p→q)J H%3&),1)%.*%IqJ 4

4 q " q 3)-01$$*

7 q, p "^∗ p $#33"$1,1"(

8 q " p→q .*%C5E%*,%CAE%3&)%CK>E

: q " p→(p→q) .*%CaE%*,%CAE%3&)%CK>E

G&%)2?7*%.*%3)*#'*%+"(.1,1"((*77*%CK>E%*$,%.<#(*%#,171,-%3&),1+#712)*%$1%"(%'*#,%-,&=71)%#(*%+"(+7#$1"(

.*%;")0*%+"(.1,1"((*77*9 +"00*%7*%0"(,)*%7&%3)*#'*%$#1'&(,*%.*%I¬p↔ ¬q " p↔qJ 4

(13)

4 ¬p↔ ¬q " ¬p↔ ¬q 3)-01$$*

7 ¬p↔ ¬q " ¬p→ ¬q .*%C5E%3&)%C↔<E

8 ¬p↔ ¬q " ¬q→ ¬p .*%C5E%3&)%C↔<E

9 ¬p↔ ¬q, p "^∗ p $#33"$1,1"(

: ¬p↔ ¬q, p "^∗ ¬¬p .*%C^E%3&)%C?IE

* ¬p↔ ¬q, p "^∗ ¬¬q .*%CaE%*,%C_E%3&)%CHOE

; ¬p↔ ¬q, p "^∗ q .*%C`E%3&)%C?IE

> ¬p↔ ¬q " p→q .*%C^E%*,%CbE%3&)%CK>E

? ¬p↔ ¬q, q "^∗ q $#33"$1,1"(

46 ¬p↔ ¬q, q "^∗ ¬¬q .*%CdE%3&)%C?IE

44 ¬p↔ ¬q, q "^∗ ¬¬p .*%CAE%*,%C5hE%3&)%CHOE

47 ¬p↔ ¬q, q "^∗ p .*%C55E%3&)%C?IE

48 ¬p↔ ¬q " q→p .*%CdE%*,%C5AE%3&)%CK>E

49 ¬p↔ ¬q " p↔q .*%CYE%*,%C5aE%3&)%C↔=E

C>KE%3*#,%&#$$1%("#$%$*)'1)%H%3)"#'*)%.*$%,B-")20*$9 +"00*%.&($%7&%3)*#'*%$#1'&(,*%8#* " p→p4

4 p "^∗ p $#33"$1,1"(

7 " p→p .*%C5E%*,%C5E%3&)%CK>E

G&%)2?7*%.<-7101(&,1"(%.<#(*%.1$S"(+,1"(%C∨<E%$*0=7*%#(%3*#%+"03718#-*9 0&1$%+"))*$3"(.%H%#(%3)1(F +13*%.*%)&1$"((*0*(,%(&,#)*76 L 3&),1)%.<#(*%3)-01$$*%.1$S"(+,1'*9 "(%3*#,%.-0"(,)*)%(<103"),*%8#*77*

3B)&$*%."(,%7&%'-)1,-%(*%.-3*(.%3&$%.*%(",)*%+B"1/%.#%.1$S"1(, 4 0Q0*%$1%("#$%1?(")"($%8#*7%.1$S"1(,%*$, ')&19 ("#$%3"#'"($%.&($%,"#$%7*$%+&$%Q,)*%+*),&1(%.<#(*%3B)&$*%8#1%$<*($#1,%.*$%.*#/6 N1%7")$%.<#(%=)&(F +B*0*(,%.*%+B*01(9 7*$%.*#/%0<&02(*(,%H%#(%*(.)"1,9 S*%'&1$%D%&))1'*)%3*#%103"),*%7*8#*7%S*%3)*(.$6 N1%S*%$&1$%8#*%\&)1*%;&1,%$&%;Q,*%&#S"#).<B#1%"#%.*0&1(9 0&1$%8#*9 .*%,"#,*%;&]"(9 S*%(*%$*)&1%3&$%1('1,-9

&7")$%S*%$&1$%8#*%S*%(*%$*)&1%3&$%1('1,-6 N1%'"#$%Q,*$%.<&++").%8#*%$"1,%17%37*#,9 $"1,%17%;&1,%=*&#%*,%8#*9 $<17 37*#,9 ("#$%(<&77"($%3&$%;&1)*%.*%$3"),%&#S"#).<B#1%*,%8#*9 $<17%;&1,%=*&#9 17%;&1,%,)"3%+B&#.%*,%."(+%("#$

(<&77"($%3&$%;&1)*%.*%$3"),%&#S"#).<B#19 &7")$%"(%*$,%.<&++").%8#*%("#$%(*%;*)"($%3&$%.*%$3"),%&#S"#).<B#16 O(%#,171$&(,%7&%)2?7*%C∨<E9 ("#$%.-0"(,)"($%7&%+"00#,&,1'1,-%.*%7&%.1$S"(+,1"(%+"00*%$#1, 4

4 p∨q " p∨q 3)-01$$*

7 p∨q, p "^∗ p $#33"$1,1"(

8 p∨q, p "^∗ q∨p .*%CAE%3&)%C∨=E

9 p∨q, q "^∗ q $#33"$1,1"(

: p∨q, q "^∗ q∨p .*%C^E%3&)%C∨=E

* p∨q " q∨p .*%C59A9a9^9_E%3&)%C∨<E

V7%*$,%H%)*0&)8#*)%8#*%$"#'*(,%17$%*/1$,*(,%.1P-)*(,*$%3)*#'*$%.#%0Q0*%$-8#*(,6 l"1+19 3&)%*/*037*9

#(*%3)*#'*%.*%Ip∧ ¬p " pJ 4

4 p∧ ¬p " p∧ ¬p 3)-01$$*

7 p∧ ¬p ¬p "^∗ ¬p $#33"$1,1"(

8 p∧ ¬p ¬p "^∗ p .*%C5E%&'*+%C∧<E

9 p∧ ¬p ¬p "^∗ ¬p .*%C5E%&'*+%C∧<E

: p∧ ¬p " ¬¬p .*%CaE%*,%C^E%&'*+%CM<<E

* p∧ ¬p " p .*%C_E%&'*+%C?IE

(14)

f(*%&#,)*%3)*#'*9 37#$%+"#),*9 *$,%7&%$#1'&(,* 4

4 p∧ ¬p " p∧ ¬p 3)-01$$*

7 p∧ ¬p " p .*%C5E%&'*+%C∧<E

f(%.*)(1*)%*/*037*%("#$%0"(,)*%+"00*(,%("#$%$*)'1)%.*%7&%)2?7*%CM<<E%3"#)%-,&=71)%#(*%+"(+7#$1"(

3"$1,1'* 4

4 ¬(¬p∧ ¬q) " ¬(¬p∧ ¬q) 3)-01$$*

7 ¬(¬p∧ ¬q),¬(p∨q) "^∗ ¬(p∨q) $#33"$1,1"(

8 ¬(¬p∧ ¬q),¬(p∨q), p "^∗ p $#33"$1,1"(

9 ¬(¬p∧ ¬q),¬(p∨q), p "^∗ p∨q .*%CaE%3&)%C∨=E : ¬(¬p∧ ¬q),¬(p∨q), p "^∗ ¬(p∨q) .*%CAE

* ¬(¬p∧ ¬q),¬(p∨q) "^∗ ¬p .*%CaE9 C^E%*,%C_E%3&)%CM<<E

; ¬(¬p∧ ¬q),¬(p∨q), q "^∗ q $#33"$1,1"(

> ¬(¬p∧ ¬q),¬(p∨q), q "^∗ p∨q .*%C`E%3&)%C∨=E

? ¬(¬p∧ ¬q),¬(p∨q), q "^∗ ¬(p∨q) .*%CAE

46 ¬(¬p∧ ¬q),¬(p∨q) "^∗ ¬q .*%CbE9 CYE%*,%CdE%3&)%CM<<E 44 ¬(¬p∧ ¬q),¬(p∨q) "^∗ ¬p∧ ¬q .*%C_E%*,%CYE%3&)%C∧=E 47 ¬(¬p∧ ¬q),¬(p∨q) "^∗ ¬(¬p∧ ¬q) .*%C5E

48 ¬(¬p∧ ¬q) " ¬¬(p∨q) .*%CAE9 C55E%*,%C5AE%3&)%CM<<E

49 ¬(¬p∧ ¬q) " p∨q .*%C5aE%3&)%C?IE

!"#$%)-3-,"($%7&%71?(*%CAE%&#/%71?(*$%C_E%*,%CdE%*,%7&%71?(*%C5E%H%7&%71?(*%C5AE%3"#)%3*)0*,,)*%.*$%&3371+&,1"($

.*%CM<<E%H%.*$%71?(*$%8#1%3&),&?*(,%7*#)$%$#33"$1,1"($ 4 +*+1%*$,%3*)01$%3&)+*%8#*%+*%8#1%*$,%3)"#'-

$&($%$#33"$1,1"(%)*$,*%3)"#'-%0Q0*%$1%("#$%&S"#,"($%.<&#,)*$%$#33"$1,1"($6 G&%."#=7*%&3371+&,1"(%.*

CM<<E%&#/%.1$S"(+,1"($%1(,)".#1,$%&#/%71?(*$%C^E%*,%C55E%("#$%3*)0*,%.*%.-.#1)*%#(*%+"(,)&.1+,1"(%H 7&%$#33"$1,1"(%.*%7&%(-?&,1"(%.*%7&%+"(+7#$1"(%'"#7#*6 !"#$%"0*,,)"($%+*,,*%+"0371+&,1"(%.&($%7*$

3)*#'*$%8#1%$#1'*(,6

*3: N1()"(.'%5&%M.()$0.')2#),-,./&%01)1#&.'(22(

G&%.-.#+,1"(%(&,#)*77*%*$,%#(*%0-,B".*%=*&#+"#3%0"1($%j0-+&(18#*<%8#*%7&%0-,B".*%.*$%&)=)*$ @ *77*

*$,9 +*3*(.&(,9 37#$%1(,#1,1'*%8#*%7*%+&7+#7%&/1"0&,18#*C>6 N#),"#,%&'*+%.*$%)2?7*$%.-)1'-*$9 *77*%+")F )*$3"(.%&$$*o%=1*(%H%(",)*%0&(12)*%j(&,#)*77*<%.*%)&1$"((*)9 V7%*$,%3*#,FQ,)*%#,17*9 +*3*(.&(,9 .*%0*(F ,1"((*)%8#*78#*$%+"($*17$%3)&,18#*$6^b

O$$&D*o%.*%j;&1)*%$"),1)<%7*%+"(,*(#%.*%+*%8#*%'"#$%&'*o%.-SH%.-0"(,)-6 N1%'"#$%&'*o%.*$%3)-01$$*$%"#%.*$

3B)&$*$%.-SH%.-0"(,)-*$%.*%7&%;")0*!φ∧ψ"9 #,171$*o%C∧<E6 N1%'"#$%&'*o%.*$%3)-01$$*$%"#%.*$%3B)&$*$

.-SH%.-0"(,)-*$%.*%7&%;")0*!φ∨ψ"9 *$$&D*o%.*%3)"#'*)%7&%+"(+7#$1"(%H%3&),1)%.*φ*,%H%3&),1)%.*ψ*,

#,171$*o%C∨<E6 N<17%D%&%#(*%3)-01$$*%"#%#(*%3B)&$*$%.-SH%.-0"(,)-*%.*%7&%;")0*!¬(φ∨ψ)"9 *$$&D*o%.*

3)"#'*)φ"#%.*%3)"#'*)ψ*,%#,171$*o%C∨=E%3"#)%"=,*(1)%#(*%+"(,)&.1+,1"(6

O$$&D*o%.*%j$10371>*)<%7*%37#$%3"$$1=7*6 N<17%D%&%.*#/%3)-01$$*$%"#%.*$%3B)&$*$%.-SH%.-0"(,)-*$%.*%7&

;")0*φ,!φ→ψ"9 #,171$*o%CHKE6 N<17%D%&%.*#/%3)-01$$*$%"#%.*$%3B)&$*$%.-SH%.-0"(,)-*$%.*%7&%;")0*

!¬ψ",!φ→ψ"9 #,171$*o%CHOE6

G&1$$*oF'"#$%?#1.*)%3&)%7&%;")0*%.*%7&%+"(+7#$1"(%*('1$&?-*6 N1%*77*%&%7&%;")0*%.<#(*%10371+&,1"(!φ→

b6 p*%$#1$%1+1%.<&$$*o%3)2$G*3&?*CAhh54 5^dE6

(15)

ψ"9 $#33"$*o%8#*φ9 3)"#'*o%8#*ψ*,%#,171$*o%CK>E6 N1%*77*%&%7&%;")0*!φ∧ψ"9 3)"#'*o%8#*φ9 3)"#'*o 8#*ψ*,%#,171$*o%C∧=E6

f,171$*o%CM<<E%3"#)%"=,*(1)%.*$%+"(+7#$1"(%(-?&,1'*$%"#%&,"018#*$6 N1%7&%;")0*!¬φ"9 $#33"$*o%8#*

φ9 3)"#'*o9 $"#$%+*,,*%$#33"$1,1"(9 8#*ψ*,%8#*!¬ψ"*,%#,171$*o%CM<<E6 N1%'"#$%'"#7*o%3)"#'*)%IpJ9

$#33"$*o%I¬pJ9 3)"#'*o9 $"#$%+*,,*%$#33"$1,1"(9 8#*ψ*,%8#*!¬ψ"*,%#,171$*o%CM<<E6 L,,*(,1"(%&'*+%7*$%.1$S"(+,1"($ q N1%7&%+"(+7#$1"(%&%7&%;")0*!φ∨ψ"9 17%D%&%,)"1$%3"$$1=171,-$ 4

C1E *$$&D*o%.*%3)"#'*)φ9 C11E *$$&D*o%.*%3)"#'*)ψ"#

C111E *$$&D*o%.*%)-.#1)*!¬(φ∨ψ)"H%7<&=$#).*6

G&%0-,B".*%.*%7&%.-.#+,1"(%(&,#)*77*%+"($1$,*%*$$*(,1*77*0*(,%*(%7*$%."#o*%)2?7*$%$#1'&(,*$ 4

$#33"$1,1"( 4 S*%3*#/%$#33"$*)%+*%8#*%S*%'*#/%C$1%S<*(%,1*($%+"03,*%3&)%7&%$#1,*E HK4 $1%S<&1%.-SH%Ip→qJ%*,%&#$$1%IpJ9 S*%3*#/%-+)1)*%IqJ6

HO4 $1%S<&1%.-SH%Ip→qJ%*,%&#$$1%I¬qJ9 S*%3*#/%-+)1)*%I¬pJ6

K>4 $1%S<&1%$#33"$-%IpJ%*,%0"(,)-%*($#1,*%IqJ9 S*%3*#/%-+)1)*%Ip→qJ6

?I4 $1%S<&1%.-SH%I¬¬pJ9 S*%3*#/%-+)1)*%IpJ @ $1%S<&1%.-SH%IpJ9 S*%3*#/%-+)1)*%I¬¬pJ6 M<<4 $1%S<&1%$#33"$-%IpJ%*,%0"(,)-%8#<17%$<*($#1,%IqJ%*,%&#$$1%I¬qJ9 S*%3*#/%-+)1)*%I¬pJ6

∧=4 $1%S<&1%.-SH%IpJ%*,%IqJ9 S*%3*#/%-+)1)*%Ip∧qJ6

∧<4 $1%S<&1%.-SH%Ip∧qJ9 S*%3*#/%-+)1)*%IpJ%*,%&#$$1%-+)1)*%IqJ6

∨=4 $1%S<&1%.-SH%IpJ9 S*%3*#/%-+)1)*%Ip∨qJ @ $1%S<&1%.-SH%IqJ9 S*%3*#/%-+)1)*%Ip∨qJ6

∨<4 $1%S<&1%0"(,)-%Ip∨qJ%*,%8#*%IrJ%$<*($#1,%.*%IpJ%*,%8#*%IrJ%$<*($#1,%.*%IqJ9 S*%3*#/%-+)1)*%IrJ6

↔=4 $1%S<&1%.-SH%Ip→qJ%*,%Iq→pJ9 S*%3*#/%-+)1)*%Ip↔qJ6

↔<4 $1%S<&1%.-SH%Ip↔qJ9 S*%3*#/%-+)1)*%Ip→qJ%*,%&#$$1%-+)1)*%Iq→pJ6

R*$%)2?7*$%("#$%.1$*(,%+"00*(,%("#$%3"#'"($%0&(13#7*)%.*$%$-8#*(+*$%.*%$D0="7*$%.*%7&%;")0*%Iφ"

ψJ9 *(%+"03"$&(,%#(*%3)*#'*%.<#(%+*),&1(%,B-")20*%CI" χJE%"#%.<#(*%3B)&$*%H%3&),1)%.*%8#*78#*$

3)-01$$*$%CIζ"χJE6 V7%*$,%103"),&(,%.*%(",*)%8#*%+*$%)2?7*$%("#$%."((*(,%8#*%.*$%3*)01$$1"($6 O77*$

(*%("#$%"=71?*(,%H%)1*(6 G&%$*#7*%j"=71?&,1"(<%."(,%"(%3*#,%3&)7*)%*(%7"?18#*%*$,%+*77*%.<-'1,*)%.*$%*))*#)$

.&($%7<&3371+&,1"(%.*$%)2?7*$%."((-*$6 G*$%)2?7*$%*77*$F0Q0*$%("#$%."((*(,%7&%3*)01$$1"(%.*%3&$$*)%.*

+*),&1(*$%3B)&$*$%H%+*),&1(*$%&#,)*$6

R<*$,%*(%+*%$*($F7H%8#*%7&%7"?18#*%(*%$<"++#3*%3&$%.*%'-)1,-$9 0&1$%.*%+"((*/1"($9 $#),"#,%.*%+"((*/1"($

1(;-)*(,1*77*$9 *(,)*%.*$%3B)&$*$6 O77*%(*%$*%3)-"++#3*%3&$%.*%$&'"1)%+"00*(,%*$,%7*%0"(.*9 0&1$

+B*)+B*%H%.-,*)01(*)%+"00*(,%17%3*#,%"#%."1,%Q,)*%H%3&),1)%.<&#,)*$%3B)&$*%."(,%7&%'-)1,-%*$,%+"($1F .-)-*%+"00*%&+8#1$*6 T&)%+"($-8#*(,9 7<#$&?*%.*$%$#33"$1,1"($%(<*$,%3&$%$*#7*0*(,%103"),&(,%3"#)%7&

.-.#+,1"(%(&,#)*77*9 0&1$%17%*$,%*$$*(,1*7%H%7&%(&,#)*F0Q0*%.*%7&%7"?18#*6

3 N1()10&#&%01)(1)&('E(5),(),-,./&%A%2%&-

!"#$%'*))"($%H%365A`.#%+B&31,)*b8#*%("#$%3"#'"($%3)"#'*)ψH%3&),1)%.*φCφ"ψE%$1%*,%$*#7*0*(,

$1%("#$%3"#'"($%3)"#'*)%7<10371+&,1"(%.*ψ3&)φ4"!φ→ψ"6

\Q0*%*(%3)-$*(+*%.<#(%,*7%I ,B-")20*%.*%.-.#+,1"( J9 17%*$,%103"),&(,%.*%.1$,1(?#*)%7*$%+"(+7#$1"($

+"(.1,1"((*77*$%.*$%,B-")20*$6 f(*%+"(+7#$1"(%+"(.1,1"((*77*%&%7&%;")0*%$#1'&(,* 4 CAE φ1, φ2, . . . , φn " ψ

(16)

G&%+"(+7#$1"(ψ*$,%j+"(.1,1"((*77*<%3&)+*%8#<*77*%.-3*(.%.*$%3)-01$$*$φ1, φ2, . . . , φn6 !"#$%&33*77*F )"($%,"#,*%*/3)*$$1"(%.*%7&%;")0* CAE #(= !/,"6+> ?6 f(%$-8#*(,%*$,%#(%$+B-0&%.<#(*%1(;-)*(+* @ CAE .1, 8#<H%3&),1)%.*$%3)-01$$*$φ1, φ2, . . . φn9 "(%3*#,%.-.#1)*ψ6 f(%,B-")20*9 +*3*(.&(,9 *$,%#(%$-8#*(, 8#1%0&(8#*%.*%3)-01$$*$ 4

CaE "ψ

CaE .1,%8#*ψ3*#,%Q,)*%3)"#'-%$&($%&#+#(*%3)-01$$*%*,%8#*9 3&)%+"($-8#*(,9ψ*$,%#(%,B-")20*6 R*

$"(,%.*$%,B-")20*$%8#19 *(%3)*01*)%71*#9 $"(,%&33*7-$%I C7"?18#*0*(,E%')&1$ J%"#%I C7"?18#*0*(,E%;&#/ J

*,%7*$%$-8#*(,$%8#1%$"(,%3)"3)*0*(,%.1,$%I '&71.*$ J%"#%I 1('&71.*$ J6 !",)*%,*$,%$-0&(,18#*%.*%'&71.1,- +"))*$3"(.%."(+%0&1(,*(&(,%H%#(%,*$,%$D(,&/18#*%.*%.-.#+,1=171,-6 !"#$%&'"($%.1,%8#<#(%&)?#0*(, .*%7&%;")0*%Ip@q@r@ ."(+sJ%*$,%'&71.*%$1%*,%$*#7*0*(,%$1%7<10371+&,1"(%0&,-)1*77*%+"))*$3"(.&(,*

I(p∧q∧r)→sJ%*$,%#(*%,&#,"7"?1*6 r,&(,%."((-%7*%,B-")20*%.*%.-.#+,1"(9 +*+1%)*'1*(,%H%.1)*%8#<#(

$-8#*(,%Iφ"ψJ%3*#,%Q,)*%3)"#'-%$1%*,%$*#7*0*(,%$1%7<10371+&,1"(%+"))*$3"(.&(,*%*$,%#(%,B-")20* 4

"!φ→ψ"6

*3; +(5)'BC2(5),-'%J-(5

f(%&'&(,&?*%0&S*#)%.*%7&%0-,B".*%.*%7&%.-.#+,1"(%(&,#)*77*%*$,%7<#$&?*%.*$%)2?7*$%.-)1'-*$6 O/&01("($

#(%*/*037* 4

L#%71*#%.*%C∨<E9 ("#$%&#)1"($%&#$$1%3#%+B"1$1)%7*%$D77"?1$0*%.1$S"(+,1;%CN?E%3"#)%-7101(*)%7&%.1$S"(+,1"(

I∨J%.<#(*%;")0#7* 4

E "!φ∨ψ"

666 666

1 "!¬φ"

666 666

0 "ψ .*%CmE%*,%CnE%3&)%CN?E

E "!φ∨ψ"

666 666

1 "!¬ψ"

666 666

0 "φ .*%CmE%*,%CnE%3&)%CN?E

G*%$D77"?1$0*%.1$S"(+,1;%+"))*$3"(.%H%#(%+&$%$3-+1&7%.*%7&%)2?7*%C∨<E6 l"1+1%+"00*(,%("#$%.-.#1$"($

(17)

#(%+&$%3&),1+#71*)%.#%$D77"?1$0*%.1$S"(+,1;9 H%$&'"1)%I¬p, p∨q"qJ6

4 ¬p, p∨q " ¬p 3)-01$$*

7 ¬p, p∨q " p∨q 3)-01$$*

8 ¬p, p∨q, p "^∗ p $#33"$1,1"(

9 ¬p, p∨q, p "^∗ ¬p∨q .*%C5E%3&)%C∨=E : ¬p, p∨q, p, p∧ ¬q "^∗ p∧ ¬q $#33"$1,1"(

* ¬p, p∨q, p, p∧ ¬q,¬p "^∗ ¬p $#33"$1,1"(

; ¬p, p∨q, p,¬p "^∗ ¬(p∧ ¬q) .*%C_E9 CaE%*,%C`E%3&)%CM<<E

> ¬p, p∨q, p, p∧ ¬q, q "^∗ q $#33"$1,1"(

? ¬p, p∨q, p, p∧ ¬q, q "^∗ ¬q .*%C_E%3&)%C∧<E

46 ¬p, p∨q, p, q "^∗ ¬(p∧ ¬q) .*%C_E9 CYE%*,%CdE%3&)%CM<<E 44 ¬p, p∨q, p "^∗ ¬(p∧ ¬q) .*%C^9 `9 b9 Y9 5hE%3&)%C∨<E 47 ¬p, p∨q, p, p "^∗ p $#33"$1,1"(

48 ¬p, p∨q, p, p,¬q "^∗ ¬q $#33"$1,1"(

49 ¬p, p∨q, p, p,¬q "^∗ p∧ ¬q .*%C5AE%*,%C5aE%3&)%C∧=E 4: ¬p, p∨q, p, p "^∗ ¬¬q .*%C5aE9 C5^E%*,%C55E%3&)%CM<<E 4* ¬p, p∨q, p, p "^∗ q .*%C5_E%3&)%C?IE

4; ¬p, p∨q, p "^∗ p→q .*%C5AE%*,%C5`E%3&)%CK>E 4> ¬p, p∨q, p "^∗ q .*%CaE%*,%C5bE%3&)%CHKE

4? ¬p, p∨q, q "^∗ q $#33"$1,1"(

76 ¬p, p∨q " q .*%CA9 a9 5Y9 5d9 5dE%3&)%C∨<E

i(%)*0&)8#*)&%8#*%7*$%3)*#'*$%3&)%7&%.-.#+,1"(%(&,#)*77*%(*%$"(,%3&$%;")+-0*(,%$1037*$6 r,&(,%."((- +*,%*P"),9 17%$*)&1,%7-?1,10*%.<*$3-)*)%3"#'"1)%)-#,171$*)%#(%)-$#7,&,%3)"#'-9 +<*$,FHF.1)*%&'"1)%H%(",)*

.1$3"$1,1"(%7&%)2?7*%.-)1'-*%.#%$D77"?1$0*%.1$S"(+,1;%*(%,"#,*%?-(-)&71,-6 !"#$%3)"#'*)"($%#(%0-,&F ,B-")20*%8#1%("#$%."((*%7*%.)"1,%.*%3)"+-.*)%&1($16

L'&(,%+*7&9 17%*$,%(-+*$$&1)*%.*%.->(1)%+*%8#<*$,%#(*%1($,&(+*%.*%$#=$,1,#,1"( 4

O-P1%&%01 78CV($,&(+*%.*%$#=$,1,#,1"(E3 @%φ6!& ( "+6 ( A$.5")6 ( 4%6+ ( A$.5/6 ( 0-LBφ^"6!& ( "+6 ( %+!&*+1- 06 ( !"4!&%&"&%$+ ( 0-φ!%(6&(!6")656+&(!%φ^"6!& ( )6 ( ./!")&*& ( 03"+6 ( !"4!&%&"&%$+ ( "+%A$.56 ( 03"+6 ( $" ( 06 ( #)"!%6".!

#:.*!6!(0*+!φ#*.(03*"&.6!(#:.*!6!CD+ ( !/,"6+& ( =φ^" "ψ^"? ( 6!& ( "+6 ( %+!&*+16 ( 06 ( !"4!&%&"&%$+ ( 03"+ ( *"&.6 ( !/,"6+>

=φ"ψ?(!%(6&(!6")656+&(!%φ^"6>ψ^"./!")&6+& ( 0-φ6>ψ#*. ( "+6 ( !"4!&%&"&%$+ ( "+%A$.56 ( 03"+6 ( $" ( 06 ( #)"!%6".!

#:.*!6!(0*+!φ$"(0*+!ψ#*.(03*"&.6!(#:.*!6!C

f(*%$#=$,1,#,1"(%#(1;")0*%.<#(*%*/3)*$$1"(%.&($%#(*%&#,)*%*$,%7*%)*037&+*0*(,%.*%7<#(*%3&)%7<&#,)*

2(&$"&6!(!6!($11"..6+16!4 $1%("#$%("#$%.-+1."($%.*%)*037&+*)%I¬pJ%3&)%IqJ9 3&)%*/*037*9 ("#$%.*'"($

)*037&+*)%7<#(%3&)%7<&#,)*2(&$"!()6!(6+0.$%&!":%7*%3)*01*)%$*%,)"#'*6

T&)01%7*$%1($,&(+*$%.*%$#=$,1,#,1"(%.*%Ip∨ ¬pJ9 3&)%*/*037*9 "(%,)"#'*%7*$%$#1'&(,$ 4 56 Iq∨ ¬qJ9

A6 I(q→r)∨ ¬(q→r)J9 a6 I(p∧ ¬p)∨ ¬(p∧ ¬p)J%*,+6

I(r∨s)→(p∨¬(¬(r∨s)∧p))J%*$,%#(*%1($,&(+*%.*%$#=$,1,#,1"(%.*%Ip→(q∨¬(¬p∧q))J%C$#=$,1,#&(, I(r∨s)J%H%IpJ%*,%IpJ%H%IqJE%*,%Ip→(q∧r→ ¬s), p,¬¬s" ¬(q∧r)J%*$,%#(*%1($,&(+*%.*%$#=$,1,#,1"(%.*

Ip→(q→r), p,¬r" ¬qJ%C$#=$,1,#&(,%I(q∧r)J%H%IqJ%*,%I¬sJ%H%IrJE9 0Q0*%$1%I¬s→q∨¬(s∧q)J%(*

7<*$,%3&$%C3#1$8#*%I¬sJ%)*037&+*%IpJ%*,%IsJ%)*037&+*%I¬pJ%*,%7&%$#=$,1,#,1"(%(<*$,%."(+%3&$%#(1;")0*E6 l"1+1%7*%0-,&F,B-")20*%8#1%("#$%."((*%.)"1,%&#/%)2?7*$%.<1(;-)*(+*%.-)1'-*$ 4

(18)

Q"-0'BE( 79CN#=$,1,#&=171,-E3 @%φ6!& ( "+ ( &:/$.E56 ( 06 ( )* ( 0/0"1&%$+ ( +*&".686B &$"&6 ( %+!&*+16 ( 06 ( !"4F

!&%&"&%$+ ( 0-φ#6"& ( <&.6 ( #.$"7/6C @%!φ " ψ"6!& ( "+ ( !/,"6+& ( #.$"7/B &$"&6 ( %+!&*+16 ( 06 ( !"4!&%&"&%$+ ( 0-

!φ"ψ"#6"& ( <&.6 ( #.$"7/6C

Tstuvt V7%*$,%-'1.*(,%8#*%7*$%)2?7*$%.<1(;-)*(+*%&33718#-*$%(*%+"(+*)(*(,%8#*%+*,,*%3&),1*%.*%7&%$,)#+F ,#)*%.*φ*,%.*ψ 8#1%)*$,*%1('&)1&=7*$%$"#$%7&%$#=$,1,#,1"(6 G&%3)*#'*%")1?1(&7*%.#%,B-")20*%"#%.#

$-8#*(,%3*#,9 3&)%+"($-8#*(,9 Q,)*%,)&($;")0-*%*(%#(*%3)*#'*%.*%$"(%1($,&(+*%.*%$#=$,1,#,1"(6 ! w)x+*%H%+*%,B-")20*9 ("#$%3"#'"($%.-$")0&1$%#,171$*)%7&%)2?7*%.#%$D77"?1$0*%.1$S"(+,1;%+"00*%)2?7*

.-)1'-* 4 RB&8#*%;"1$%8#*%("#$%&'"($

E p∨q,¬p "r

"#%#(*%1($,&(+*%.*%$#=$,1,#,1"(%.*%+*%$-8#*(,9 ("#$%3"#'"($%-+)1)*%3"#)%7&%71?(*%$#1'&(,* 4

1 p∨q,¬p "q .*%C0E%3&)%CN?E

G&%0Q0*%+B"$*%'&#,%3"#)%7&%+"('*)$1"( 4 +"00*%$#1,*%.*

0 p→q "r

"#%.<#(*%1($,&(+*%.*%$#=$,1,#,1"(%.*%+*%$-8#*(,9 ("#$%3"#'"($%-+)1)* 4

$ p→q " ¬q→ ¬p .*%C3E%3&)%C>KE

3#1$8#*%Ip→q" ¬q→ ¬pJ%3*#,%Q,)*%3)"#'-6

f(*%&#,)*%)2?7*%.-)1'-*%#,17*%*$,%7<&3371+&,1"(%.*$%7"1$%.*%\")?&(9 ."(,%("#$%3)"#'"($%#(%+&$%3&),1+#71*) +"00*%$#1, 4

4 ¬(p∧q) " ¬(p∧q) 3)-01$$*

7 ¬(p∧q),¬(¬p∨ ¬q) "^∗ ¬(¬p∨ ¬q) $#33"$1,1"(

8 ¬(p∧q),¬(¬p∨ ¬q),¬p "^∗ ¬p $#33"$1,1"(

9 ¬(p∧q),¬(¬p∨ ¬q).¬p "^∗ ¬p∨ ¬q .*%CaE%3&)%C∨=E

: ¬(p∧q),¬(¬p∨ ¬q) "^∗ ¬¬p .*%CaE9 CAE%*,%C^E%3&)%CM<<E

* ¬(p∧q),¬(¬p∨ ¬q) "^∗ p .*%C_E%3&)%C?IE

; ¬(p∧q),¬(¬p∨ ¬q),¬q "^∗ ¬q $#33"$1,1"(

> ¬(p∧q),¬(¬p∨ ¬q).¬q "^∗ ¬p∨ ¬q .*%CbE%3&)%C∨=E

? ¬(p∧q),¬(¬p∨ ¬q) "^∗ ¬¬q .*%CbE9 CAE%*,%CYE%3&)%CM<<E

46 ¬(p∧q),¬(¬p∨ ¬q) "^∗ q .*%CdE%3&)%C?IE

44 ¬(p∧q),¬(¬p∨ ¬q) "^∗ p∧q .*%C`E%*,%C5hE%3&)%C∧=E 47 ¬(p∧q) " ¬¬(¬p∨ ¬q) .*%CAE9 C5E%*,%C55E%3&)%CM<<E

48 ¬(p∧q) " ¬p∨ ¬q .*%C5AE%3&)%C?IE

!"#$%&'"($%."(+%3)"#'-%7*%$-8#*(,%I¬(p∧q) " ¬p∨ ¬qJ6 T"#)%3)"#'*)%7*%$-8#*(,%+"('*)$*9 ("#$

(19)

3)"+-."($%+"00*%$#1, 4

4 ¬p∨ ¬q " ¬p∨ ¬q 3)-01$$*

7 ¬p∨ ¬q,¬p " ¬p $#33"$1,1"(

8 ¬p∨ ¬q,¬p, p∧q " p∧q $#33"$1,1"(

9 ¬p∨ ¬q,¬p, p∧q " p .*%CaE%3&)%C∧<E

: ¬p∨ ¬q,¬p " ¬(p∧q) .*%CaE9 CAE%*,%C^E%3&)%CM<<E

* ¬p∨ ¬q,¬q " ¬q $#33"$1,1"(

; ¬p∨ ¬q,¬q, p∧q " p∧q $#33"$1,1"(

> ¬p∨ ¬q,¬q, p∧q " q .*%CbE%3&)%C∧<E

? ¬p∨ ¬q,¬q " ¬(p∧q) .*%CbE9 C`E%*,%CYE%3&)%CM<<E 46 ¬p∨ ¬q " ¬(p∧q) .*%C59 A9 _9 `9 dE%3&)%C∨<E

!"#$%&'"($%.-0"(,)-%7<1(,*).-.#+,1=171,-%.*$%.*#/%3B)&$*$9 +<*$,FHF.1)*%-,&=71%8#*%I¬(p∧q) ) "

¬p∨ ¬qJ%+*%8#1%("#$%."((*%7*%.)"1,%.<#,171$*)%+*,,*%7"1%.*%\")?&(%.&($%.*%;#,#)*$%3)*#'*$6

V7%*$,%H%(",*)%8#*%7<&3371+&,1"(%.*$%)2?7*$%.-)1'-*$%3)-$#33"$*%7&%3)*#'*%.*$%$-8#*(,$%"#%,B-")20*$

+"))*$3"(.&(,$6

G*$%."#o*%)2?7*$%."((-*$%(<-,&1*(,%3&$%,"#,*$%1(.-3*(.&(,*$%7*$%#(*$%.*$%&#,)*$ 4 '"1+1%+"00*(,%("#$

.-)1'"($%7&%)2?7*HO.*HK*,M<<4

4 p→q,¬q " p→q 3)-01$$*

7 p→q,¬q " ¬q 3)-01$$*

8 p→q,¬q, p "^∗ p $#33"$1,1"(

9 p→q,¬q, p "^∗ q .*%C5E%*,%CaE%3&)%CHKE

: p→q,¬q " ¬p .*%CaE9 CAE%*,%C^E%&'*+%CM<<E

f(*%&/1"0&,1$&,1"(%#,171$&(,%7*$%"(o*%&#,)*$%)2?7*$%$&#;HO$*)&1,%."(+%-?&7*0*(,%+"))*+,*%*,%+"0372,*6

I0%1&5)K)'(&(1%'

56 G&%+&)&+,-)1$,18#*%.*%7&%0-,B".*%.*%7&%.-.#+,1"(%(&,#)*77*%*$,%7<#$&?*%.*$%$#33"$1,1"($6 G&%)2?7*

.*$%$#33"$1,1"($%("#$%3*)0*,%.<1(,)".#1)*%(<103"),*%8#*77*%$#33"$1,1"(%H%(<103"),*%8#*77*%-,&3*

.*%7&%3)*#'* @ 7*$%)2?7*$K>9M<<*,∨<("#$%3*)0*,,*(,%.*%("#$%*(%.-+B&)?*)6

A6 G*$%)2?7*$%.*%7&%.-.#+,1"(%(&,#)*77*%$"(,%.*$%)2?7*$%.<1(,)".#+,1"(%*,%.<-7101(&,1"(%.*$%+"((*+F ,*#)$%3)"3"$1,1"((*7$6

a6 G&%0-,B".*%.*%7&%.-.#+,1"(%(&,#)*77*%+"($1$,*%*(%7*$%)2?7*$%$#1'&(,*$ 4

$#33"$1,1"( 4 S*%3*#/%$#33"$*)%,"#,*%3B)&$*%C$1%S<*(%,1*($%+"03,*%*($#1,*E6 HK4 $1%S<&1%.-SH!φ→ψ"*,%&#$$1φ9 S*%3*#/%-+)1)*ψ6

HO4 $1%S<&1%.-SH!φ→ψ"*,%&#$$1!¬ψ"9 S*%3*#/%-+)1)*!¬φ"6 K>4 $1%S<&1%$#33"$-φ*,%0"(,)-%*($#1,*ψ9 S*%3*#/%-+)1)*!φ→ψ"6

?I4 $1%S<&1%.-SH!¬¬φ"9 S*%3*#/%-+)1)*φ@ $1%S<&1%.-SHφ9 S*%3*#/%-+)1)*!¬¬φ"6

M<<4 $1%S<&1%$#33"$-φ*,%0"(,)-%8#<17%$<*($#1,ψ*,%&#$$1!¬ψ"9 S*%3*#/%-+)1)*!¬φ"6

∧=4 $1%S<&1%.-SHφ*,ψ9 S*%3*#/%-+)1)*!φ∧ψ"6

∧<4 $1%S<&1%.-SH!φ∧ψ"9 S*%3*#/%-+)1)*φ*,%&#$$1%-+)1)*ψ6

∨=4 $1%S<&1%.-SHφ9 S*%3*#/%-+)1)*!φ∨ψ"@ $1%S<&1%.-SHψ9 S*%3*#/%-+)1)*!φ∨ψ"6

∨<4 $1%S<&1%0"(,)-!φ∨ψ"*,%8#*χ$<*($#1,%.*φ*,%-?&7*0*(,%.*ψ9 S*%3*#/%-+)1)*χ6

↔=4 $1%S<&1%.-SH!φ→ψ"*,!ψ→φ"9 S*%3*#/%-+)1)*!φ↔ψ"6

↔<4 $1%S<&1%.-SH!φ↔ψ"9 S*%3*#/%-+)1)*!φ→ψ"*,%&#$$1%-+)1)*!ψ→φ"6

(20)

^6 G<&3371+&,1"(%.*%+*$%)2?7*$%("#$%3*)0*,%.<-+)1)*%.*$%3)*#'*$%.*%,B-")20*$%CI"φJE%*,%.*$%3)*#'*$

.*%$-8#*(,$%CIφ"ψJE6

_6 f(%$-8#*(,%*$,%#(*%&M)0&,1"(%8#<#(*%3B)&$*%*$,%.-.#+,1=7*%.<#(*%&#,)*6

`6 T"#)%&'"1)%3)"#'-%#(%,B-")20*%"#%#(%$-8#*(,9 17%;&#,%&'"1)%.-+B&)?-%,"#,*%$#33"$1,1"(6 b6 T"#)%-,&=71)%#(*%+"(+7#$1"(%10371+&,1'*9 17%+"('1*(,%.<#,171$*)K>6

Y6 T"#)%-,&=71)%#(*%+"(+7#$1"(%(-?&,1'*%"#%#(*%+"(+7#$1"(%$1037*9 17%+"('1*(,%.<#,171$*)M<<6 d6 G&%0-,B".*%.*%7&%.-.#+,1"(%(&,#)*77*%("#$%3*)0*,%.<#,171$*)%.*$%)2?7*$%.-)1'-*$6

5h6 G&%.-.#+,1"(%(&,#)*77*%*$,%#(*%0-,B".*%$D(,&/18#*%8#1%*$,%+"))*+,*%*,%+"0372,* 4 ,"#,%$-8#*(, .-.#+,1=7*%+"))*$3"(.%H%#(*%)*7&,1"(%.*%+"($-8#*(+*%7"?18#*%*,%,"#,*%+"($-8#*(+*%7"?18#*%3*#, Q,)*%.-.#1,*%+"00*%$-8#*(,6

*34 +(5)5.$$05%&%015

+#),-,./&%01)1#&.'(22(

*34 +(5)5.$$05%&%015

*37 +(5)'BC2(5),D%1&'0,./&%01)(&),D-2%E%1#&%01),(5)/011(/&(.'5

*38 +(5)'BC2(5),()2#),-,./&%01)1#&.'(22(

+#)'BC2(),(5)5.$$05%&%015

F0,.5)$01(15)GE0,.5)$01(1,0)$01(15H

F0,.5)&022(15)GE0,.5)&022(1,0)&022(15H

I'(.J()/01,%&%011(22(

+D%1&'0,./&%01)(&)2D-2%E%1#&%01),()2#),0.A2()1-C#&%01

+#)'-,./&%01)K)2D#A5.',()G'(,./&%0)#,)#A5.',.EH

+D%1&'0,./&%01)(&)2D-2%E%1#&%01),()2#)/01L01/&%01

+D%1&'0,./&%01)(&)2D-2%E%1#&%01),()2#),%5L01/&%01

+D%1&'0,./&%01)(&)2D-2%E%1#&%01),()2D-M.%J#2(1/()E#&-'%(22(

*39 +(5)$'(.J(5)$#'),-,./&%01)1#&.'(22(

*3: N1()"(.'%5&%M.()$0.')2#),-,./&%01)1#&.'(22(

*3* N1()10&#&%01)(1)&('E(5),(),-,./&%A%2%&-

*3; +(5)'BC2(5),-'%J-(5

I0%1&5)K)'(&(1%'

3 N1()10&#&%01)(1)&('E(5),(),-,./&%A%2%&-