+(,#&%-./),-0%12(/)(&)%.34’(.5(/ ,-0%12(/

!"#$%&'()*

+(,#&%-./),-0%12(/)(&)%.34'(.5(/

,-0%12(/

*67 8(),#.0#0(9-:;(&)(&),()<4&#,#.0#0(

!"#$%&'"($%'#%)&($%*&%)+#,-./+%*+0"(%123456%7#8#(+%(9:&;-"(%+$;%'<&-+%$-%+;%$+#*+/+(;%$-%*&%2=<&$+%(-9+

!"*8+$;#$%> 7#8#(+%?"(@"(?;-"(%+$;%'<&-+%$-%+;%$+#*+/+(;%$-%*+%2<+/-+<&'*+%)+#,-./+%?"(@"-(;%$"(;

'<&-$> 7#8#(+%)-$@"(?;-"(%+$;%'<&-+%$$-3 *+%2<+/-+<%)-$@"-(;()*+%)+#,-./+%+$;%'<&-> 7#8#(+%-/2*-?&;-"(

/&;9<-+**+%+$;%'<&-+%$$-3%**8&(;9?9)+(;%+$;%'<&->$+(,%*+%?"($97#+(;%*8+$;%&#$$-%+;%+(A(> 7#8#(+%97#-'&*+(?+

/&;9<-+**+%+$;%'<&-+%$$-3 *&%2<+/-.<+%2=<&$+%+$;%'<&-+%*-&.-%&)+&/&!.-%**&%)+#,-./+%*8+$;%&#$$-%B"#<%$29?-A+<

*+$%;&C*+$%)+%'9<-;9$%)+$%?"((+?;+#<$%2<"2"$-;-"((+*$> ("#$%&'"($%#;-*-$9%?+$%/D/+$%?"((+?;+#<$3 E+$

&<:#/+(;$%(+%$"(;F-*$%2&$%?-<?#*&-<+$ G !+%$8&:-;F-*%2&$%)8#(%?+<?*+%'-?-+#, G

B"#<%<92"()<+%H%?+$%7#+$;-"($> -*%I&#;%<+'+(-<%$#<%*&%)-$;-(?;-"(%+(;<+%#$&:+%+;%/+(;-"(3 J-+(%$K<%-*

2+#;%L%&'"-<%#(+%?-<?#*&<-;9%+2-$;9/-7#+%M%7#+*7#8#(%7#-%(+%2"$$.)+%2&$%*+$%?"(?+2;$%/D/+$%)+%?+$

<+*&;-"($%*":-7#+$%+(;<+%2=<&$+$> &#<&-;%)+$%)-N?#*;9$%H%?"/2<+()<+%*+#<%$9/&(;-7#+3 O&-$> )#%I&-;%)+

*&%)-$;-(?;-"(%+(;<+%*&(:&:+F"C@+;%+;%/9;&*&(:&:+> -*%(+%$8&:-;%2&$%)8#(+%?-<?#*&<-;9%*":-7#+> (-%)8#(%?+<?*+

'-?-+#,3

!"#$%("#$%$+<'"($%)+$%/";$%2"#<%2&<*+<%)#%/"()+%+;%)+$%("/$%)+$%/";$%2"#<%2&<*+<%)+$%/";$3 O+;;<+

)+$%:#-**+/+;$%&#;"#<%)8#(+%+,2<+$$-"(%*-(:#-$;-7#+%+$;%#(+%/&(-.<+%M%/&-$%2&$%*&%$+#*+%M%)+%I"</+<

)+%;+*$%("/$3^PQ(%#;-*-$+%#(%/";%+(%9("(0&(;%#(+%2=<&$+%7#-%*+%?"(;-+(;3 Q(%/+(;-"((+%#(%/";%+(

#;-*-$&(;%#(%("/%2"#<%?+%/";%1?"//+> 2&<%+,+/2*+> *8+,2<+$$-"(%7#-%+$;%I"</9+%2&< R )+$%:#-**+/+;$%M

*+%/";%+(%7#+$;-"(%M%+;%+(?"<+%)+$%:#-**+/+;$63

S(%&'&(;&:+%)+%*&%?<9&;-"(%)+$%("/$%)8+,2<+$$-"($%H%*8&-)+%)+%:#-**+/+;$%+$;%7#8+**+%2+#;%D;<+%-;9<9+ R T B&<-$%+$;%@"*-+ U%2&<*+%)+%1/+(;-"((+6%B&<-$%+;%?"(;-+(;%1#;-*-$+6%T B&<-$ U3 T T B&<-$ U%&%$-,%*+;;<+$ U%/+(F

;-"((+%"#%2&<*+%)#%/";%T B&<-$ U%+;%?"(;-+(;%T T B&<-$ U U3 T T B&<-$ U U%)9$-:(+%T B&<-$ U%7#-%)9$-:(+%B&<-$3 V+%/";%T T B&<-$ U U%?"(;-+(;%$-,%*+;;<+$%+;%#(+%2&-<+%)+%:#-**+/+;$ W T B&<-$ U%?"(;-+(;%$-,%*+;;<+$%+;%(+

?"(;-+(;%2&$%)+%:#-**+/+;$ W +;%B&<-$%?"(;-+(;%)+$%2+<$"((+$> )+$%CX;-/+(;$%+;%#(+%#(-'+<$-;93

Y*%L%&%#(+%)-$;-(?;-"(%+(;<+%)-Z9<+(;$%(-'+&#,%)+%*&(:&:+%M%+(;<+%*++$!0$0&1(23&'+;%*+/4.$+$!0$0"M%*-9+

P3 S(+%&#;<+%/&(-.<+%+$;%)+%?-;+<%#(+%2=<&$+%+;%)+%*#-%)"((+<%#(%(#/9<" R ?8+$;%&-($-%7#+%("#$%)"(("($%)+$%+,+/2*+$%)+

2=<&$+$> ?"//+%*+$%2=<&$+$ 1!76> 1!=6 +; 1!*6 7#-%$+%$#-'+(;3 !"#$%#;-*-$+<"($%)"(?%*+$%+,2<+$$-"($%T 1!76 U> T 1!=6 U%+;%T 1!*6 U

?"//+%)+$%("/$%2"#<%?+$%2=<&$+$3

>= *6 +(,#&%-./),-0%12(/)(&)%.34'(.5(/),-0%12(/

H%*&%)-$;-(?;-"(%+(;<+%*8#;-*-$&;-"(%+;%*&%/+(;-"(%)8#(%/";3 V&%2=<&$+ R 1!76 B&<-$%+$;%#(+%@"*-+%'-**+3

+$;%#(+%2=<&$+%)#%*&(:&:+F"C@+;> 2#-$7#8+**+%/+%$+<;%H%2&<*+<%)8#(+%<9&*-;9%7#-%(8+$;%&#?#(+/+(;%*-(:#-$F

;-7#+3 V&%2=<&$+

1!=6 T B&<-$ U%+$;%/"(%/";%2<9I9<93

/+%$+<;%H%2&<*+<%)8#(%/";%)#%I<&(0&-$ R 1!=6 I&-;%2&<;-+%)8#(%/9;&*&(:&:+> ?8+$;FHF)-<+%)#%*&(:&:+%H%*8&-)+

)#7#+*%@+%2&<*+%)8#(%&#;<+%*&(:&:+%M%)#%*&(:&:+F"C@+;%)"(;%I"(;%2&<;-+%)+$%2=<&$+$%?"//+ 1!763 [(

-;9<&(;%*&%2<"?9)#<+> ("#$%"C;+("($ R

1!*6 T T B&<-$ U%+$;%/"(%/";%2<9I9<93 U%+$;%#(+%2=<&$+%C-+(%I"</9+%)#%/9;&*&(:&:+3

1!*6 +$;%#(+%2=<&$+%7#-%&22&<;-+(;%H%#(%/9;&F/9;&*&(:&:+> #(%*&(:&:+%7#-%2+</+;%)+%2&<*+<%)#%/9F

;&*&(:&:+%)"(;%I&-;%2&<;-+%*&%2=<&$+ 1!=63 V&%)-$;-(?;-"(%+(;<+%*&(:&:+F"C@+;%+;%/9;&*&(:&:+%+$;%#(+

)-$;-(?;-"(%<+*&;-'+3 1!*6 +$;%)&($%#(%/9;&*&(:&:+%<+*&;-I%H 1!=6> *+7#+*> H%$"(%;"#<> &22&<;-+(;%H%#(

/9;&*&(:&:+%<+*&;-I%H 1!763 E8+$;%2&<%<&22"<;%H 1!76 7#+ 1!*6 &22&<;-+(;%H%#(%/9;&F/9;&*&(:&:+3

!"#$%<+;<"#'"($%*+$%/D/+$%2=9("/.(+$%*"<$7#+%("#$%&;;<-C#"($%*&%'9<-;9%"#%*&%I&#$$+;9%H%#(+%2=<&$+3 B"#<%)-<+%7#+ 1!76 +$;%'<&-+> ("#$%)-$"($%2&<%+,+/2*+ R

1!?6 V&%2=<&$+%T B&<-$%+$;%#(+%@"*-+%'-**+3 U%+$;%'<&-+3

!"#$%&#<-"($%&#$$-%2#%#;-*-$+<%#(%&#;<+%("/%2"#<%*&%/D/+%2=<&$+> ;+*%7#+ R 1!>6 1!76 +$;%'<&-+3

Y*%I&#;%)-$;-(:#+<%*+$%+,2<+$$-"($%?"//+%T \ +$;%'<&- U%7#-%&22&<;-+((+(;%&#%/9;&*&(:&:+%+;%*+$%+,2<+$F

$-"($%?"//+%T B&<-$ U> T∧U%+;%T¬U> 7#-%&22&<;-+((+(;%&#%*&(:&:+F"C@+;3 V+$%2<+/-.<+$%2<+((+(;%)+$

("/$%)+%2=<&$+$%1)#%*&(:&:+F"C@+;6%2"#<%+(%I&-<+%)+$%2=<&$+$%1)#%/9;&*&(:&:+6> ;&()-$%7#+%*+$%)+<(-.<+$

2<+((+(;%)+$%2=<&$+$%1)#%*&(:&:+F"C@+;6%2"#<%+(%I&-<+%)+$%2=<&$+$%1)#%*&(:&:+F"C@+;63 B"#<%)-<+%)8#(+

2=<&$+%7#8+**+%+$;%'<&-+> @+%)"-$%*&%/+(;-"((+< W 2"#<%?+?-> -*%/+%I&#;%("</&*+/+(;%#(%("/%2"#<%+**+3 ]-<+%)8#(+%2=<&$+%7#8+**+%+$;%'<&-+> ?8+$;%*&%)-<+%M%?+%2<-(?-2+%)+%)-$7#";&;-"(%+$;%I"</#*9%)&($%*&%?9*.C<+

T E"('+(;-"(@U%)#%*":-?-+(%2"*"(&-$%^*I<+)%_&<$`- R 1@6 V&%2=<&$+%TpU%+$;%'<&-+%$-%+;%$+#*+/+(;%$-p3

a *&%:&#?=+%)+%?+;;+%97#-'&*+(?+%/&;9<-+**+> "(%;<"#'+%#(+%2=<&$+%)#%/9;&*&(:&:+> H%$&%)<"-;+%#(+

2=<&$+%)#%*&(:&:+F"C@+;3 !"#$%<+'-+()<"($%$#<%?+%2<-(?-2+%-/2"<;&(;%+;%*&%)9A(-;-"(%7#+%_&<$`-%&

)"((9%)8#(%2<9)-?&;%)+%'9<-;9%2"#<%#(%*&(:&:+F"C@+;%)&($%*&%$?;3Pb3P)#%?=3Pb3

V&%)9?-$-"(%)+%/+%$+<'-<%)#%I<&(0&-$%2"#<%*+$%;<"-$%*&(:&:+$%)-Z9<+(;$%+$;%&<C-;<&-<+ R @+%2+#,%;"#;%&#;&(;

?="-$-<%*8&**+/&()%2"#<%*+%*&(:&:+F"C@+;> *8&(:*&-$%2"#<%*+%/9;&*&(:&:+%+;%<9$+<'+<%*+%I<&(0&-$%&#%/9;&F /9;&*&(:&:+3 Q(%&#<&-;%&*"<$ R

1!7A6 B&<-$%-$;%+-(+%$?=c(+%d;&);3 1!=A6 T B&<-$ U%-$%/L%I&'"#<-;+%e"<)3

1!*A6 T T B&<-$ U%-$%/L%I&'"#<-;+%e"<)3 U%+$;%#(+%2=<&$+%C-+(%I"</9+%)#%/9;&*&(:&:+3

*67 8(),#.0#0(9-:;(&)(&),()<4&#,#.0#0( >*

[;&(;%)"((9%7#+ 1!76 +$;%#(+%2=<&$+%C-+(%I"</9+%)#%I<&(0&-$> 1!7A6 +$;%#(+%2=<&$+%C-+(%I"</9+%)+

*8&**+/&()3 1!=A6 +$;%#(+%2=<&$+%7#-%&22&<;-+(;%H%*8&(:*&-$%+;%(+%?"(;-+(;%2&$%)+%/";%&**+/&()%12#-$7#+

*+%/";%T T B&<-$ U U%&22&<;-+(;%H%*8&(:*&-$63 f-(&*+/+(;> 1!*A6 +$;%+(;-.<+/+(;%#(+%2=<&$+%)#%I<&(0&-$>

?"//+%*8+$; 1!*63^g

!"#$%("#$%$+<'"($%)8#(%/9;&*&(:&:+%2"#<%)"((+<%)+$%;<&)#?;-"($ R

1!B6 [(%&**+/&()> *8+,2<+$$-"(%T d;<&$$C#<: U%+$;%#;-*-$9+%2"#<%)9$-:(+<%*&%'-**+%)+%d;<&$C"#<:3 1!B6 +$;%#(+%2=<&$+%)#%I<&(0&-$%)&($%*&7#+**+%"(%/+(;-"((+%*+%/";%&**+/&()%T d;<&$C#<: U3 ]+$%?*&#$+$

?"//+ 1!B6 2+#'+(;%&#$$-%("#$%$+<'-<%H%$29?-A+<%*+$%?"()-;-"($%)+%'9<-;9%)8#(+%2=<&$+ R 1!C6 T B&<-$%-$;%+-(+%$?=c(+%d;&); U%+$;%'<&-+%$-%+;%$+#*+/+(;%$-%B&<-$%+$;%#(+%@"*-+%'-**+3

V+$%?"()-;-"($%)+%'9<-;9%)+%*&%2=<&$+%T B&<-$%-$;%+-(+%$?=c(+%d;&); U> $29?-A9+$%)&($ 1!C6> ("#$%)"((+(;

*&%$-:(-A?&;-"(%)+%?+;;+%2=<&$+3 Q(%#;-*-$+%)"(?%*+%/9;&*&(:&:+%1*+%I<&(0&-$> )&($%?+%?&$6> 2"#<%<+*-+<%*+$

/";$%)8#(%*&(:&:+F"C@+;%1-?-%*8&**+/&()6%&'+?%*+#<$%$-:(-A?&;-"($3

V8-/2"<;&(?+%)+%*&%)-$;-(?;-"(%+(;<+%*&(:&:+F"C@+;%+;%/9;&*&(:&:+%&22&<&h;%$-%"(%<+'-+(;%$#<%*&%)-$;-(?F

;-"(%+(;<+%'9<-;9%+;%'&*-)-;93 !"#$%)-$-"($%7#8"(%(+%2+#;%2&$%)-<+%)8#(%&<:#/+(;%7#8-*%+$;%'<&-%"#%7#8-*

+$;%I&#,> /&-$%7#8-*%+$;%'&*-)+%"#%(+%*8+$;%2&$3⁴O&-$%&*"<$5&+$-/6/"2+#;%D;<+%'<&-%"#%I&#,> ?8+$;FHF)-<+

7#8-*%2+#;%D;<+%'<&-%7#+%;+*%+;%;+*%&<:#/+(;%+$;%'&*-)+3 E+;;+%)+<(-.<+%2=<&$+> ?+2+()&(;> +$;%#(+%&N</&F

;-"(%)&($%*+%/9;&*&(:&:+%"#%2*#$%2<9?-$9/+(;%)&($%*+%/9;&*&(:&:+%<+*&;-I%&#%*&(:&:+%7#-%?"(;-+(;%T ?+;

&<:#/+(;%+$;%'&*-)+ U3 d-%("#$%<+/2*&0"($%T ?+;%&<:#/+(; U%2&<%#(%&#;<+%("/%)+%*8&<:#/+(;%)"(;%("#$

'"#*"($%2&<*+<> 2&<%+,+/2*+%2&<%T T d-%@89;#)-+%*&%*":-7#+> @+%$+<&-%=+#<+#,%+;%$&:+ W @89;#)-+%*&%*":-7#+ W )"(?%@+%$+<&-%=+#<+#,%+;%$&:+ U U> ("#$%'"L"($%7#+%T ?+;%&<:#/+(;%+$;%'&*-)+ U> H%$"(%;"#<> &22&<;-+(;%H

#(%/9;&*&(:&:+%2&<%<&22"<;%&#%*&(:&:+%)"(;%("#$%("#$%$+<'"($%2"#<%2&<*+<%)#%C"(=+#<%+(:+()<9%2&<

*&%*":-7#+3 V+%2<9)-?&;%T \ +$;%'&*-)+ U> ?"//+%*+%2<9)-?&;%T \ +$;%'<&- U> $8&22*-7#+%H%)+$%+,2<+$$-"($

*-(:#-$;-7#+$ W -*%I&#;%*+$%?"/2"$+<%&'+?%*+$!(/%)+%?+$%+,2<+$$-"($%2"#<%I&-<+%#(+%2=<&$+%C-+(%I"</9+3 1!7D6 d-%@89;#)-+%*&%*":-7#+> @+%$+<&-%=+#<+#,%+;%$&:+ W @89;#)-+%*&%*":-7#+ W )"(?%@+%$+<&-%=+#<+#,

+;%$&:+3

1!=D6 T d-%@89;#)-+%*&%*":-7#+> @+%$+<&-%=+#<+#,%+;%$&:+ W @89;#)-+%*&%*":-7#+ W )"(?%@+%$+<&-%=+#<+#, +;%$&:+ U%+$;%'&*-)+3

1!*D6 T T d-%@89;#)-+%*&%*":-7#+> @+%$+<&-%=+#<+#,%+;%$&:+ W @89;#)-+%*&%*":-7#+ W )"(?%@+%$+<&-%=+#<+#, +;%$&:+ U%+$;%'&*-)+3 U%+$;%#(+%2=<&$+%'<&-+3

V&%(9?+$$-;9%)8&'"-<%)+$%("/$%)8+,2<+$$-"($%2"#<%I"</+<%)+$%2=<&$+$%C-+(%I"</9+$%(8&%2*#$%*-+#%)8D;<+%$-

"(%;<&($I"</+%)+$%2<9)-?&;$%?"//+%T \ +$;%'<&- U%+;%T \ +$;%'&*-)+ U%+(%)+$%"29<&;+#<$%2<"2"$-;-"((+*$

1)+$%+,2<+$$-"($%7#-%2<+((+(;%)+$%2=<&$+$%2"#<%I"</+<%)+$%2=<&$+$6%?"//+%T -*%+$;%'<&-%7#+%\U%+;%T 9;&(;

)"((9%7#+%\> -*%$8+($#-;%)+· · · U3 O&-$%?+$%+,2<+$$-"($%&22&<;-+((+(;%&#$$-%&#%/9;&*&(:&:+%2#-$7#8+**+$

("#$%$+<'+(;%H%2&<*+<%)+$%+,2<+$$-"($%12=<&$+$> 2=<&$+$63 ^#%*-+#%)+ 1!*6 U> "(%2+#;%)"(?%&#$$-%)-<+ R 1!*DA6 Y*%+$;%'<&-%7#+%T d-%@89;#)-+%*&%*":-7#+> @+%$+<&-%=+#<+#,%+;%$&:+ W @89;#)-+%*&%*":-7#+ W )"(?

@+%$+<&-%=+#<+#,%+;%$&:+ U%+$;%'&*-)+3

g3 Y*%+$;%(9?+$$&-<+%)8&;;-<+<%*8&;;+(;-"(%)#%*+?;+#<%&#%I&-;%7#+%*+$%)-$;-(?;-"($%+(;<+%*&(:&:+%"C@+;%+;%/9;&*&(:&:+%)8#(%?i;9%+;

+(;<+%*+$%*&(:#+$%I"</+**+$%+;%(&;#<+**+$%)+%*8&#;<+%2+#'+(;%$+%<+?"#2+<3 [(%;&(;%7#+%*&(:#+%(&;#<+**+> -)+(;-A9+%2&<%#(+%$L(;&,+

+;%#(+%$9/&(;-7#+> -*%(8L%&%7#8#(+%$+#*+%*&(:#+%7#-%+$;%*+%I<&(0&-$3 E+;;+%*&(:#+> ?+2+()&(;> 2+#;%?"($;-;#+<%H%*&%I"-$%#(%*&(:&:+

"C@+;%17#-%(+%?"(;-+(;%2&$%)8+,2<+$$-"($%$9/&(;-7#+$%$8&22*-7#+(;%H%$+$%2<"2<+$%+,2<+$$-"($6%+;%#(%/9;&*&(:&:+%)-Z9<+(;3 43 E+%2=9("/.(+%$8-($.<+%)&($%#(%?&)<+%:9(9<&* R V8&;;<-C#;-"(%)+%'9<-;9%"#%)+%I&#$$+;9%(8+$;%2&$%*&%$+#*+%I&0"(%)8+,2<-/+<

7#8#(+%+,2<+$$-"(%*-(:#-$;-7#+%+$;%?"<<+?;+%"#%T C"((+ U3 Y*%L%+(%&%C+&#?"#2%)8&#;<+$3 S(+%7#+$;-"(%(+%2+#;%D;<+%(-%'<&-+%(-%I&#$$+>

/&-$%+**+%2+#;%D;<+%&22<"2<-9+> -(;9<+$$&(;+> C"((+%+;?3 ]+%/D/+> #(%"<)<+%(8+$;%(-%'<&-%(-%I&#,> /&-$%2+#;%D;<+%@#$;-A9%+;?3

>? *6 +(,#&%-./),-0%12(/)(&)%.34'(.5(/),-0%12(/

1!*DA6> ?"//+ 1!*D6> &22&<;-+(;%&#%/9;&*&(:&:+%2&<%<&22"<;%H 1!=D63 ^#%*-+#%)+ 1!=D6> ("#$%2"#'"($

#;-*-$+<%*8"29<&;+#<%2<"2"$-;-"((+*%C-(&-<+%T 9;&(;%)"((9%7#+%\> -*%$8+($#-;%)+· · · U%1#(%"29<&;+#<%7#- 2<+()%)+#,%2=<&$+$%2"#<%+(%I&-<+%#(+%;<"-$-./+6 R

1!=DA6 j;&(;%)"((9%7#+%$-%@89;#)-+%*&%*":-7#+> @+%$+<&-%=+#<+#,%+;%$&:+> +;%7#+%@89;#)-+%*&%*":-7#+>

-*%$8+($#-;%7#+%@+%$+<&-%=+#<+#,%+;%$&:+3

Y*%+$;%+$$+(;-+*%)+%(+%2&$%?"(I"()<+%?+;;+%<+*&;-"(%)+%T 9;&(;%)"((9%7#+%\> -*%$8+($#-;%7#+· · · U%&'+?

*&%<+*&;-"(%)+%T $-%\ &*"<$· · · U3 T d-%\ &*"<$· · · U%+$;%#(+%+,2<+$$-"(%7#-%&22&<;-+(;%&#%*&(:&:+F"C@+; R +**+%2<+()%1).*+*%"6%)+#,%2=<&$+$%2"#<%+(%I&-<+%#(+%;<"-$-./+3 T j;&(;%)"((9%7#+%\> -*%$8+($#-;%7#+· · ·U>

&#%?"(;<&-<+> &22&<;-+(;%&#%/9;&*&(:&:+%+;%("#$%$+<;%H%)-<+%1+(/&!.*(!!$!'*+$%2=<&$+$6%7#8-*%L%&%#(+

<+*&;-"(%)+ 5(!%47)&!5& - +(0*7)"+(;<+%)+#,%2=<&$+$> 7#+%*8#(+%$8+($#-;%)+%*8&#;<+3 !"#$%&C<9:+"($%*&

<+*&;-"(%+,2<-/9+%2&<%T 9;&(;%)"((9%7#+%\> -*%$8+($#-;%7#+· · · U%2&<%#(%("#'+&#%$-:(+> T|k U3^l

]8&#;<+$%<+*&;-"($%"C@+?;#+**+$%"(;%)+$%?"<<+$2"()&(;+$%/9;&*-(:#-$;-7#+$3 B&<%+,+/2*+> ("#$%#;-*-$"($

*&%m.?=+%n $-/2*+o T→U%2"#<%*&%<+*&;-"(%+,2<-/9+%2&<%T $-%\ &*"<$· · ·U%+;%("#$%#;-*-$"($%*&%m.?=+%*"(:#+

+;%n 92&-$$+o T

= ⇒

2*&?+%)+ R

1!E6 T d-p&*"<$qU%+$;%'<&-+ $$-3 $-%TpU%+$;%'<&-+%&*"<$%TqU%*8+$;%&#$$-3 ("#$%2"#<<"($%)"(?%/&-(;+(&(;%)-<+

1!EA6 Tp→qU%+$;%'<&-+

⇐⇒

= ⇒

Y*%(+%$8&:-;%2&$%-?-%)8-(;<")#-<+%#(%("#'+&#%I"</&*-$/+> /&-$%)8&C<9:+<%)+%/&(-.<+%$+/-FI"</+**+%)+$

*"?#;-"($%)#%*&(:&:+%"<)-(&-<+> 7#-> ;"#;%&#%*"(:%)+%?+%?"#<$> ("#$%$+<'+(;%)+%/9;&*&(:&:+%2"#<%2&<*+<

)+%(";<+%*&(:&:+F"C@+;L> *+%*&(:&:+%)+%*&%*":-7#+%2<"2"$-;-"((+**+3

!"#$%2"#'"($%I&-<+%#(+%)-$;-(?;-"(%$-/-*&-<+%2"#<%)8&#;<+$%?"((+?;+#<$%2<"2"$-;-"((+*$3 T∧U> "(%*8&

'#> +,2<-/+%*&%<+*&;-"(%)+%?"(@"(?;-"(%M%?+%?"((+?;+#<%I&-;%2&<;-+%)#%*&(:&:+F"C@+;%)"(;%("#$%9;#)-"($

*+%?"/2"<;+/+(;%*":-7#+3 !"#$%#;-*-$"($%#(%&#;<+%?"((+?;+#<> T p U> 2"#<%2&<*+<8"?+%*&(:&:+F"C@+;3 T p U%&22&<;-+(;%2&<%?"($97#+(;%&#%/9;&*&(:&:+3 ]+%/D/+%2"#<%(";<+%(9:&;-"(%)#%*&(:&:+F"C@+;> T¬U>

7#-%?"<<+$2"()%&#%/9;&*&(:&:+%H%T∼U%+;%*&%)-$@"(?;-"(%)#%*&(:&:+%"C@+;%T∨U7#-%?"<<+$2"()%H%T||U3

!"#$%"C;+("($ R

T¬pU%+$;%'<&-+ ⇐⇒ ∼p

Tp∧qU%+$;%'<&-+ ⇐⇒ ppq

Tp∨qU%+$;%'<&-+ ⇐⇒ p||q

Tp→qU%+$;%'<&-+ ⇐⇒ pk⇒q

Tp↔qU%+$;%'<&-+ ⇐⇒ p ⇐⇒ q

!"#$%'"L"($%/&-(;+(&(;%7#+%*&%?<&-(;+%)8#(%?+<?*+%'-?-+#,%(89;&-;%2&$%@#$;-A9+ R -*%L%&%2+#;FD;<+%#(%?+<?*+

+2-$;9/-7#+%)&($%*+%$+($%7#+%7#+*7#8#(%7#-%(+%?"/2<+()%2&$%?+%7#8+$;%*&%(9:&;-"(%1(+%2"$$.)+%2&$%*+

?"(?+2;%)+%(9:&;-"(6%(+%2"#<<&-;%2+#;FD;<+%(-%?"/2<+()<+%T¬U> (-%T∼U3

O&-$%-*%(8L%&%2&$%)+%?+<?*+%'-?-+#,%*":-7#+ R *8+,2*-?&;-"(%7#+%("#$%&'"($%)"((9+%)+%*&%$-:(-A?&;-"(%)+

*&%(9:&;-"(%T¬U%(+%?"(;+(&-;%2&$%*+%$-:(+%T¬U%7#8"(%9;&-;%+(%;<&-(%)8+,2*-7#+<%1?+%7#-%?"($;-;#+<&-;%+(

l3 ]&($%*&%*+0"(b1?I3 23qq6%("#$%'+<<"($%7#+%T|k U%(8+$;%#;-*-$9%2&$%$+#*+/+(;%2"#<%2&<*+<%)+%*&%<+*&;-"(%)+%?"($97#+(?+

*":-7#+> /&-$%&#$$-%2"#<%2&<*+<%)+$%;&#;"*":-+$%1)+$%2=<&$+$%7#-%$"(;%)+$%?"($97#+(?+$%*":-7#+$%)+%(8-/2"<;+%7#+**+%2=<&$+63

*6= 8#)F#,%G%&4)(&),#)F4'%&4),-0%12( >>

I&-;%#(%?&$%)+%?+<?*+%'-?-+#,63 !"#$%+,2*-7#"($%?+*&%+(%+,2*"-;&(;%(";<+%?"/29;+(?+%)&($%#(%*&(:&:+

)-Z9<+(;%M%)#%I<&(0&-$%7#-%("#$%$+<;%)+%/9;&*&(:&:+%M%7#-%2"#<<&-;%*#-F/D/+> $-%"(%+(%&'&-;%C+$"-(>

D;<+%I"</&*-$9%+;%97#-29%)8#(+%$9/&(;-7#+%<-:"#<+#$+%1?"//+%("#$%*8&'"($%I&-;%&'+?%*+%*&(:&:+F"C@+;>

*+%*&(:&:+%)+%*&%*":-7#+%)+$%2=<&$+$63^b

*6= 8#)F#,%G%&4)(&),#)F4'%&4),-0%12(

d#22"$"($%7#8#(+%-(I9<+(?+%*":-7#+%&-;%*&%I"</+%$#-'&(;+ R 1!H6 p3 [;q3 O&-$%&#$$-r3 ]"(?s3

!"#$%&'"($%'#%7#8"(%2+#;%/+;;<+%?+;;+%-(I9<+(?+%)&($%*&%I"</+%$#-'&(;+ R 1!H^!6

pq rs

j;&(;%)"((9%*&%$9/&(;-7#+%)#%?"((+?;+#<%T∧U%1T +; U6> "(%2+#;%9:&*+/+(;%*89?<-<+%?"//+%$#-; R

1!H^!!6 p∧q∧r

s

!"#$%&'"($%)-;%7#8+(%&N</&(;%7#8#(%&<:#/+(;%)+%*&%I"</+ 1!H^!6 "# 1!H^!!6 +$;%'&*-)+> "(%/+(;-"((+

*+$%2=<&$+$%TpU> TqU> TrU%+;%TsU%/&-$%"(%(+%*+$%#;-*-$+%2&$3 ]-<+%7#8#(%&<:#/+(;%)+%?+;;+%I"</+%+$;

'&*-)+%<+'-+(;%H%)-<+%7#+

1!7I6 d-%TpU> TqU%+;%TrU%$"(;%'<&-+$> &*"<$%TsU%*8+$;%9:&*+/+(;3

Y*%$8&:-;%-?-%)8#(+%&N</&;-"(%)&($%*+%/9;&*&(:&:+ R "(%(8#;-*-$+%2&$%*+$%2=<&$+$%TpU> TqU%+;%TrU%1<&2F 2+*"($%7#8-*%$8&:-;%)8&C<9'-&;-"($%2"#<%)+$%2=<&$+$%?"//+%T r89;#)-+%*&%*":-7#+ U> T -*%2*+#; U> T ]-+#%+$;

"/(-2";+(; U%M%"(%(+%2&<*+%2&$%)+$%9;#)+$> )#%;+/2$%"#%)+%]-+#6> /&-$%"(%*+$%/+(;-"((+%M%"(%2&<*+%)+

?+$%2=<&$+$%+;%"(%)-;%7#8+**+$%$+%;<"#'+(;%)&($%#(+%?+<;&-(+%<+*&;-"(%)+5(!%47)&!5& - +(0*7)"3 E8+$;%?+;;+

<+*&;-"(%)+%?"($97#+(?+%*":-7#+%7#-%<+()%*+$%-(I9<+(?+$%'&*-)+$3

S(+%-(I9<+(?+%+$;%'&*-)+%$-%+;%$+#*+/+(;%$8-*%(8+$;%2&$%*":-7#+/+(;%2"$$-C*+%7#+%*+$%2<9/-$$+$%$"-+(;

'<&-+$%+;%*&%?"(?*#$-"(%I&#$$+%M%&#;<+/+(;%)-;> $8-*%(8L%&%2&$%)8-(;+<2<9;&;-"(%7#-%-(;+<2<.;+%*+$%2<9/-$$+$

?"//+%9;&(;%;"#;+$%'<&-+$%+;%*&%?"(?*#$-"(%?"//+%9;&(;%I&#$$+3 S(+%-(I9<+(?+%)+%*&%I"</+ 1!H^!!6 +$;

'&*-)+%$-%+;%$+#*+/+(;%$-%*&%?"(?*#$-"(> TsU> +$;%#(+%?"($97#+(?+%*":-7#+%)+$%2<9/-$$+$%TpU> TqU%+;

TrU3 E8+$;%)&($%?+$%?&$F*H%7#+%*8-/2*-?&;-"(%/&;9<-+**+%?"<<+$2"()&(;+%1T(p∧q∧r) → sU6%+$;%#(+

;&#;"*":-+3 V8-/2*-?&;-"(%/&;9<-+**+%)-;+%T ?"<<+$2"()&(;+ U%+$;%*8-/2*-?&;-"(%7#-%&%*&%?"(@"(?;-"(%)+$

2<9/-$$+$%?"//+%&(;9?9)+(;%+;%*&%?"(?*#$-"(%?"//+%?"($97#+(;3 d-> 2&<%+,+/2*+> ("#$%'"#*"($%$&'"-<%$-%*8-(I9<+(?+

1!776 p→ ¬p

¬p

+$;%'&*-)+%1?I3 23g5+;ls6> -*%I&#;%'"-<%$8-*%+$;%2"$$-C*+%7#+%*&%2<9/-$$+%Tp → ¬pU%$"-;%'<&-+%+;%7#8+(

/D/+%;+/2$%*&%?"(?*#$-"(%T¬pU%$"-;%I&#$$+3 !"#$%+(%I&-$"($%)"(?%*+$%;&C*+$%)+%'9<-;9 R

b3 Y*%L%&#<&%#(+%9;&2+%)&($%*&%<9:<+$$-"(%)#%*&(:&:+%"C@+;%&#%/9;&*&(:&:+%&#%/9;&F/9;&*&(:&:+$%1+;%&-($-%)+%$#-;+6%"t%("#$

<+;"/C+<"($%)&($%*+%*&(:&:+%"<)-(&-<+3 O&-$%?+?-%(+%$-:(-A+%2&$%7#8-*%$8&:-;%)8#(%?+<?*+%'-?-+#,3 V+%I&-;%7#+%*8"(%2#-$$+%;"#@"#<$

?"(;-(#+<%H%)+/&()+<%T 2"#<7#"- G U%(+%$-:(-A+%2&$%7#8-*%(8L%&%2&$%)8+,2*-?&;-"($%1+(;-.<+/+(;6%$#N$&(;+$%+;%&??+2;&C*+$3

>B *6 +(,#&%-./),-0%12(/)(&)%.34'(.5(/),-0%12(/

p ¬p p→ ¬p

V F F

F V V

p ¬p

V F

F V

!"#$%"C$+<'"($%7#8-*%(8L%&%2&$%)+%*-:(+%)&($%*+%2<+/-+<%;&C*+&#%1H%:&#?=+6%7#-%?"(;-+(;%#(%TV U%+;%)"(;

*&%*-:(+%?"<<+$2"()&(;+%)&($%*+%)+#,-./+%;&C*+&#%1H%)<"-;+6%?"(;-+(;%#(%TFU3 !"#$%2"#'"($%9:&*+/+(;

'9<-A+<%*&%'&*-)-;9%)+%*8&<:#/+(;%+(%I&-$&(;%*&%;&C*+%)+%'9<-;9%)+%*8-/2*-?&;-"(%/&;9<-+**+3 p ¬p p→ ¬p (p→ ¬p)→ ¬p

V F F V

F V V V

!"#$%2"#'"($%)"(?%)-<+ R S(%&<:#/+(;%+$;%'&*-)+%$-%+;%$+#*+/+(;%$-%$&%?"(?*#$-"(%+$;%#(+%?"($97#+(?+

*":-7#+%)+%$+$%2<9/-$$+$3 B"#<%0&> -*%+$;%$#N$&(;%+;%(9?+$$&-<+%7#+%*8-/2*-?&;-"(%/&;9<-+**+%$"-;%#(+

;&#;"*":-+3 !"#$%&'"($%)"(?%*&%<+*&;-"(%$#-'&(;+ R #(+%2=<&$+%TqU%+$;%#(+%?"($97#+(?+%*":-7#+%1T|k U6 )8#(+%&#;<+%1TpU6%$-%+;%$+#*+/+(;%$-%*8-/2*-?&;-"(%?"<<+$2"()&(;+%+$;%#(+%'9<-;9%*":-7#+ R

p|kq ⇐⇒ |kp→q

Q(%2&<*+%&*"<$%)8%T -/2*-?&;-"(%I"</+**+ U R

*/#+*5$.*(! - /$.4,*&9")+q2&<p

⇐⇒

1%Tp$+#*+/+(;%$-qU6 1$"-;%TpU%+$;%I&#,%$"-;%TqU%+$;%'<&-+6

*/#+*5$.*(! - :(,/&9")+q2&<p

⇐⇒

1%TqU%+$;%#(+%?"($97#+(?+%1*":-7#+6%)+%TpU6 1-*%(8+$;%2&$%*":-7#+/+(;%2"$$-C*+

7#+%TpU%$"-;%'<&-+%+;%TqU%I&#$$+36 V&%)-$;-(?;-"(%T /&;9<-+* Uu%T I"</+* U%?"<<+$2"()%H%*&%)-$;-(?;-"(%+(;<+%*&(:&:+F"C@+;%+;%/9;&*&(:&:+3^v V"<$7#+%@+%)-$%7#+%$-p> &*"<$q> @8#;-*-$+%*+$%2=<&$+$%TpU%+;%TqU W *"<$7#+%@+%)-$%7#+%TqU%+$;%#(+%?"($97#+(?+

*":-7#+%)+%TpU> 7#+%*8&<:#/+(;%TpW )"(?qU%+$;%'&*-)+%"#%7#+%Tp→qU%+$;%#(+%;&#;"*":-+> @8#;-*-$+%)+$

("/$%2"#<%?+$%2=<&$+$%1?+$%("/$%$"(;%)+$%+,2<+$$-"($%)+%*&%I"</+(:#-**+/+;$> *&%2=<&$+%?"(?+<(9+>

:#-**+/+;$)6%+;%@+%)-$%7#+%?+$%2=<&$+$%$+%;<"#'+(;%+(%<+*&;-"(%)+%?"($97#+(?+%*":-7#+3

E+;;+%<+*&;-"(%)+ ; 5(!%47)&!5& - +(0*7)" < +$;%#(+%<+*&;-"(%$9/&(;-7#+%2#-$7#8+**+%$#C$-$;+%+(;<+%)+$

2=<&$+$%+(%'+<;#%)+%*+#<$%$-:(-A?&;-"($%17#-%("#$%$"(;%)"((9+$%2&<%*+$%;&C*+$%)+%'9<-;963 Y*%+$;%?<#F

?-&*%)+%)-$;-(:#+<%?+;;+%<+*&;-"(%)+%*&%<+*&;-"(%)+%)9)#?;-C-*-;9%7#-%+$;%2&<I"-$%&22+*9+%T ?"($97#+(?+

$L(;&,-7#+ U%1+;%)"(;%"(%2&<*+<&%2*#$%;&<)%)&($%*&%$?;3l3P63

!"#$%2"#'"($%/&-(;+(&(;%-(;<")#-<+%#(+%&C<9'-&;-"(%$29?-A7#+%2"#<%)-<+%7#8#(%&<:#/+(;%+$;%'&*-)+ R

T S(%&<:#/+(;%)+%*&%I"</+

p∧q∧r

s +$;%'&*-)+3 U ! T{p∧q∧r} |ksU

T S(%&<:#/+(;%)+%*&%I"</+

pq

rs +$;%'&*-)+3 U ! T{p, q, r} |ksU

v3 E+;;+%;+</-("*":-+%'-+(;%)+%*8#$&:+%)+$%&)'+<C+$%*&;-($%T I"</&*-;+< U%+;%T /&;+<-&*-;+< U%2&<%*+$%*":-?-+($%/9)-9'&#,%2"#<

/&<7#+<%*&%)-$;-(?;-"(%+(;<+%*&(:&:+F"C@+;%+;%/9;&*&(:&:+3 Y*$%2&<*&-+(;%9:&*+/+(;%)8#(%T /")+%/&;9<-+* U%)+%*8#$&:+%)+$%/";$

12"#<%)-<+%7#+%?+$%/";$%9;&-+(;%#;-*-$9$6%+;%)8#(%T /")+%I"</+* U%)+%*+#<%#$&:+%12"#<%)-<+%7#8-*$%9;&-+(;%/+(;-"((9$63

*6= 8#)F#,%G%&4)(&),#)F4'%&4),-0%12( >C ]&($%*+%?&$%"t%"(%(8&%7#8#(+%$+#*+%2<9/-$$+%12&<%+,3 #(+%?"(@"(?;-"(> ?"//+%)&($%*+%2<+/-+<%+,+/2*+

2<9?9)+(;6> ("#$%2"#'"($%"/+;;<+%*+$%?<"?=+;$%T{U%+;%T}U R "(%9?<-<&%$+#*+/+(;%Tp∧q∧r|ksU3 E+

("#'+&#%$-:(+%T|k U%(8+$;%7#8#(+%&#;<+%(";&;-"(%2"#<%*&%m.?=+%)"#C*+ R &#%*-+#%)89?<-<+%Tp

∧

∧

= ⇒

"(%9?<-<&%Tp∧q∧r|ksU> &#%*-+#%)+%Tp

&

&

= ⇒

!"#$%&'"($%<+/&<7#9%7#+%T|k U> I&-$&(;%2&<;-+%)#%/9;&*&(:&:+> 2+#;%;"#;%)+%/D/+%D;<+%-(;+<2<9;9

?"//+%#(%"29<&;+#<%2<"2"$-;-"((+*3 ^#%*-+#%)+%*+%*-<+%?"//+%T \ +$;%#(+%?"($97#+(?+%*":-7#+%)+· · ·U M%+,2<+$$-"(%7#-%&%C+$"-(%)+%)+#,!(/%-8&-#=,$%&%2"#<%I"</+<%#(+%2=<&$+%M> "(%2+#;%&#$$-%*8-(;+<2<9;+<

?"//+%T Y*%$8+($#-;%)+%*8&N</&;-"(%7#+%\ 7#+· · ·U%"#%T j;&(;%)"((9%7#+%\> -*%$8+($#-;%7#+· · ·U> 7#-%$"(;

)+$%+,2<+$$-"($%7#-%"(;%C+$"-(%)+%)+#,#=,$%&%2"#<%I"</+<%#(+%2=<&$+%M%/&-$%7#-%&22&<;-+((+(;%(9&(F /"-($%&#%/9;&*&(:&:+3⁵Y(;+<2<9;&(;%T|k U%)+%?+;;+%/&(-.<+> ("#$%2"#'"($%("#$%2&$$+<%)+$%:#-**+/+;$

+;%9?<-<+ R

1P6 p|kq

1P6 )9$-:(+%*+%<9$#*;&;%)+%*&%@#,;&2"$-;-"(%)+%*8+,2<+$$-"(%T Y*%$8+($#-;%)+%*8&N</&;-"(%7#+ U> )+%*&%2=<&$+

<+2<9$+(;9+%2&<%TpU> )+%*8+,2<+$$-"(%T 7#+ U%+;%*&%2=<&$+%<+2<9$+(;9+%2&<%TqU3 d-%TpU%<+2<9$+(;+%T ^((+

+$;%&/"#<+#$+%)+%r+&( U%+;%7#+%TqU%<+2<9$+(;+%T ^((+%+$;%&/"#<+#$+%)+%7#+*7#8#( U> &*"<$ 1P6 )+'-+(;

*&%2=<&$+%$#-'&(;+ R

1g6 Y*%$8+($#-;%)+%*8&N</&;-"(%7#8^((+%+$;%&/"#<+#$+%)+%r+&(%7#+

^((+%+$;%&/"#<+#$+%)+%7#+*7#8#(3 OD/+%$-%?+;;+%&C<9'-&;-"(%T|k U%+$;%?"//#(9/+(;%#;-*-$9+%+;%#;-*+> +**+%+(;<&h(+%#(+%?+<;&-(+%?"(I#$-"(

+(;<+%#$&:+%+;%/+(;-"(3 j;&(;%)"((9%7#8"(%$+%;<"#'+%)&($%*+%/9;&*&(:&:+> #(+%/+-**+#<+%/&(-.<+%)+

)-<+%7#+%TqU%+$;%#(+%?"($97#+(?+%*":-7#+%)+%TpU> $+<&-;%*&%$#-'&(;+ R 146 TpU|k TqU

]&($ 146> *+$%2=<&$+$%TpU%+;%TqU%$"(;%/+(;-"((9+$%+;%T|k U%+$;%#;-*-$9%2"#<%$-:(-A+<%*&%<+*&;-"(%)+%?"($9F 7#+(?+%*":-7#+%1T|k U%+$;%*#%?"//+ R T &%?"//+%?"($97#+(?+%1*":-7#+6 U%"#%T -/2*-7#+%I"</+**+/+(; U63 146 <+()%+,2*-?-;+%*+%I&-;%7#+%*&%<+*&;-"(%)+%?"($97#+(?+%<+2<9$+(;9+%2&<%T|k U%&22&<;-+(;%&#%/9;&*&(:&:+

+;%("(%2&$%&#%*&(:&:+F"C@+;3

!9&(/"-($> 146 2"$+%#(%2<"C*./+%$#C;-*3 [(%*":-7#+> "(%*8&%'#> "(%(8&%2&$%$+#*+/+(;%&Z&-<+%H%)+$%&<:#F /+(;$%?"(?<+;$> I"</#*9$%)&($%*+%*&(:&:+%"<)-(&-<+%1*+%I<&(0&-$6> /&-$%H%)+$%$?=9/&$%"#%)+$%$7#+*+;;+$

)8&<:#/+(;$ R "(%9;#)-+%*& :(,/")+$%&<:#/+(;$3 S(%&<:#/+(;%(8+$;%?"($-)9<9%?"//+%'&*-)+%7#+%$-

;"#$%*+$%&#;<+$%&<:#/+(;$%&L&(;%*&%/D/+%I"</+%*+%$"(;%&#$$-%Q(%&%+$$&L9%)+%<+2<9$+(;+<%?+;%&$2+?;%)+

:9(9<&*-;9%+(%<+/2*&0&(;%*+$%2=<&$+$%?"(?<.;+$%1T @89;#)-+%*&%*":-7#+ U> T @+%$+<&-%=+#<+#,%+;%$&:+ U%+;?36 2&<%)+$%*+;;<+$%&22+*9$%T $?=9/&;-7#+$ U%1TpU> TqU%+;?36 M%+;%"(%&%'#%7#+%*+$%*+;;<+$%7#-%$#C$;-;#&-+(;%?+$

2=<&$+$%"<)-(&-<+$%9;&-+(;%&<C-;<&-<+$3 E+2+()&(;> ?+*&%2"$+%2<"C*./+%&#%(-'+&#%)#%/9;&*&(:&:+3 V+%2<"C*./+%'-+(;%)#%I&-;%7#+%*8"(%'+#;%)-<+> 2&<%#(+%&$$+<;-"(%)+%*&%I"</+%Tp |k qU%7#+> 7#+**+$%7#+

$"-+(;%*+$%2=<&$+$%$#C$;-;#9+$%2"#<%TpU%+;%TqU%)&($%Tp|kqU> *&%2=<&$+%7#-%+(%<9$#*;+%+$;%'<&-+3 O&*=+#F

<+#$+/+(;> *&%2=<&$+%T TpU|k TqU U%(8&N</+%2&$%?+*&%M%)&($%?+;;+%2=<&$+> *+$%("/$%)+%2=<&$+$%T TpU U%+;

T TqU U%(+%)9$-:(+(;%7#+%)+$%2=<&$+$%2<9?-$+$3 ^A(%)+%/-+#,%?"/2<+()<+%?+%2<"C*./+> ("#$%2"#'"($

2+($+<%H%*&%*&%$-;#&;-"(%$#-'&(;+ R $#22"$"($%7#+%("#$%-(;<")#-$-"($%#(%("/%w'&<-&C*+8%"#%w$?=9/&;-7#+8>

53 Y*%(+%I&#;%2&$%2+($+<%7#+%;"#;+%+,2<+$$-"(%&22&<;+(&(;%&#%/9;&*&(:&:+%"2.<+%$#<%)+$%("/$%)8+,2<+$$-"($3 V8"29<&;+#<%T -*

+$;%'<&-%7#+%\ U> *8+,+/2*+%2&<&)-:/&;-7#+%)8#(+%+,2<+$$-"(%)#%/9;&*&(:&:+> &%C+$"-(%)8#(+%2=<&$+%1+;%("(%2&$%)8#(%("/%)8#(+

2=<&$+6%2"#<%+(%I"</+<%#(+%2=<&$+%2*#$%?"/2*+,+3

>E *6 +(,#&%-./),-0%12(/)(&)%.34'(.5(/),-0%12(/

T V+:<&() U> 2"#<%)9$-:(+<%*&%2+<$"((+%*&%2*#$%:<&()+%)&($%*&%$&**+3 Q(%2+#;%&*"<$%*8#;-*-$+<%)&($%)+$

2=<&$+$%;+**+$%7#+%T V+:<&()%I&-;%2*#$%)+%g%/.;<+$ U> T B&</-%("#$> V+:<&()%+$;%?+*#-%7#-%'"-;%*+%/-+#,%&#

?-(9/& U%+;?3> )9$-:(&(;%H%?=&7#+%I"-$> 7#+**+%7#+%$"-;%*&%2+<$"((+%*&%2*#$%:<&()+%)&($%*&%$&**+%1$#22"F

$"($%7#8"(%(+%*+%$&?=+%2&$6> ?+**+%7#-%$+<&%2*#$%:<&()+%7#+%g%/.;<+$> 2<-'-*9:-9+%&#%?-(9/&%+;?3 OD/+

$-%("#$%2&<'+("($> H%*8&-)+%)+%T V+:<&() U> H%&'"-<%#(%w("/%'&<-&C*+8%2"#<%#(+%2+<$"((+> ?+*&%(+%$-:(-A+

2&$%7#+%*+!(>*#-F/D/+%+$;%'&<-&C*+> /&-$%$+#*+/+(;%7#+%*&%2+<$"((+%7#8-*%)9$-:(+%$+%/")-A+%$#-F '&(;%*&%?"/2"$-;-"(%)+%*&%$&**+%)&($%*&7#+**+%("#$%("#$%;<"#'"($ R )&($%#(+%&#;<+%$&**+> -*%)9$-:(+<&%#(+

&#;<+%2+<$"((+3 O&-$%?+*&%(+%'+#;%2&$%)-<+%7#+%*+%("/%?=&(:+ R -*%<+$;+<&%'<&-> 2&<%+,+/2*+> 7#+%T V+F :<&() U%+$;%#(%("/%?"/2"$9%)+%$+2;%*+;;<+$> 7#+%("#$%&'"($%-('+(;9%+;?3> /D/+%$-%*&%2+<$"((+%)9$-:(9+

2&<%T V+:<&() U%$8&22+**+%T Q;;" U%H%#(+%"??&$-"(%+;%T r+&(FO&<? U%H%#(+%&#;<+3 Y*%(8+$;%2&$%'<&-%7#+%*&

2=<&$+%T T V+:<&() U%+$;%?"/2"$9+%)+%7#&;<+%*+;;<+$ U%)+'-+((+%'<&-+%$-%T V+:<&() U%)9$-:(+%7#+*7#8#(

7#-%$8&22+**+%T Q;;" U3 V&%'&<-&C-*-;9%7#+%T V+:<&() U%2"$$.)+%)&($%*+%*&(:&:+F"C@+;%+$;%)"(?%2+<)#+%&#

(-'+&#%)#%/9;&*&(:&:+ R /D/+%$-%TpU%+;%TqU%)9$-:(+(;%)+$%2=<&$+$%&<C-;<&-<+$> *+#<$%("/$%(+%)9$-:(+(;

2&$%)+$%2=<&$+$%&<C-;<&-<+$3^q

*6* 8#)12#/%95%&#&%-.

B"#<%9?=&22+<%H%?+%2<"C*./+> -*%I&#;%-(;<")#-<+%)+$%("/$%2"#<%)+$%2=<&$+$%)&($%(";<+%*&(:&:+%"C@+;3

!"#$%-(;<")#-$"($%)+$%*+;;<+$%/-(#$?#*+$%:<+?7#+$%TφU%12<"("(?-&;-"( R T 2=- U6> TψU%1T 2$- U6> TχU 1T ?=- U6%+;%TξU%1T ,- U6%2"#<%2&<*+<%)+$%2=<&$+$%)+%(8-/2"<;+%7#+**+%?"/2*+,-;93 TφU%+$;%)"(?%*+%("/%)8#(

("/%)8#(+%2=<&$+%Mφ+$;%$"-;%TpU> $"-;%TqU> $"-;%Tp∧qU%"#%+(?"<+%T(p→ q)∧rU3 Y*%L%&%)"(?%#(+

)-Z9<+(?+%?<#?-&*+%+(;<+%*+$%*+;;<+$%<"/&-(+$%+;%:<+?7#+$ R *+$%*+;;<+$%<"/&-(+$%("#$%$+<'+(;%?"//+

$2,4?*$.*(!%)+$%2=<&$+$3 !"#$%2"#'"($> 2&<%+,+/2*+> <+/2*&?+<%;"#;+%"??#<<+(?+%)+%TpU%2&<%*&%2=<&$+

T d&/%'+#;%$+%/&<-+< U%+;%;"#;+%"??#<<+(?+%)+%TqU%2&<%T O&<-+%&%I&-/ U3 V+$%*+;;<+$%:<+?7#+$> &#%?"(;<&-<+>

$"(;%)+$!(/%)+%2=<&$+$ R ("#$%2"#'"($> $-%("#$%'"#*"($> <+/2*&?+<%TφU%2&<%T T O&<-+%&%I&-/3U U%+;%TψU 2&<%T T d&/%'+#;%$+%/&<-+< U U3 d-φ+$;%#(%("/%2"#<%T O&<-+%&%I&-/ U%+;ψ+$;%#(%("/%2"#<%T d&/%'+#;%$+

/&<-+< U> ("#$%2"#'"($%)"(?%)-<+ R M T O&<-+ U%I&-;%2&<;-+%)+φ3 M ψ?"($-$;+%+(%7#&;<+%/";$3

[(%C<+I> TφU%+;%TψU%(+%$"(;%2&$%)+$%&C<9'-&;-"($%)+%2=<&$+$> /&-$%)+$%&C<9'-&;-"($%)+%("/$%)+%2=<&$+$3

^#%*-+#%)+ 146> ("#$%)-<"($%)"(? R

1l6 φ|kψ

!9&(/"-($> ("#$%(8&'"($%2&$%$+#*+/+(;%C+$"-(%)+%("/$%2"#<%)+$%2=<&$+$> /&-$%&#$$-%2"#<%*+$%2=<&$+$

)8#(%?+<;&-(%;L2+3 B&<%+,+/2*+> ("#$%'"#)<-"($%)-<+%7#+%;"#;+%2=<&$+%?"(@"(?;-'+%&%?"//+%?"($9F 7#+(?+%$9/&(;-7#+%?=&?#(%)+%$+$%?"(@"-(;$3 r#$7#8H%/&-(;+(&(;> "(%$8+$;%$+<'-%)8+,2<+$$-"($%?"//+

T ;"#;+%2=<&$+%&L&(;%*&%/D/+%I"</+%7#+%Tp∧qU U> T *+%<9$#*;&;%)+%*8&))-;-"(%)+%2=<&$+$%&#%?"((+?;+#<

T \ → · · ·U U%+;?3 O&-$%?+?-%(+%("#$%&-)+%2&$%H%+,2<-/+<%7#8#(+%?"(@"(?;-"(%-/2*-7#+%I"</+**+/+(;

$+$%?"(@"-(;$3 d-%("#$%)-$-"($

1b6 φ∧ψ|kφ

q3 !"#$%<+'-+()<"($%$#<%?+;;+%(";-"(%2<"C*9/&;-7#+%)8%T -()-'-)#%&<C-;<&-<+ U%&#%?=3Pg3P3

*6* 8#)12#/%95%&#&%-. >H ("#$%(+%2"#<<-"($%2*#$%$#C$;-;#+<%TφU%2&<%T T d&/%&%I&-/ U U%+;%TψU%2&<%T T O&<-+%'+#;%$+%/&<-+< U U%?&<

)&($%?+%?&$F*H%("#$%&#<-"($ R

1v6 T d&/%&%I&-/ U∧T O&<-+%'+#;%$+%/&<-+< U|k T d&/%&%I&-/ U

1v6 +$;%#(%("(F$+($> ?&<%T∧U%<+*-+%)+$%2=<&$+$%+;%("(%2&$%)+$%("/$%)+%2=<&$+$3 [$$&L"($%*&%?="$+

$#-'&(;+ R

156 Tφ∧ψU|kφ

V+%2<"C*./+%&'+? 156> ?"//+%&'+? 146> +$;%7#+%("#$%&'"($%2+<)#%*&%:9(9<&*-;93 Tφ∧ψU%(8+$;%#(%("/

7#+%2"#<%?+;;+%+,2<+$$-"(%2<9?-$+%1*&%*+;;<+%:<+?7#+%TφU> $#-'-+%)+%T∧U%+;%)+%*&%*+;;<+%:<+?7#+%TψU63

^#%?"(;<&-<+> ("#$%+(%&'"($%C+$"-(%)+%/&(-.<+%H%/+(;-"((+<%#(+%2=<&$+%1&<C-;<&-<+6%7#-%&%#(+%?+<;&-(+

I"</+%1("(F&<C-;<&-<+63

^ ?+%2<"2"$> x#-(+%&%-(;<")#-;%?+%7#+%("#$%&22+**+<"($%*&%T 7#&$-F?-;&;-"( U> 7#-%$+%I&-;%&'+?%)+$%)+/-F

?<"?=+;$> &22+*9$%T )+/-F?<"?=+;$%)+%x#-(+ U%1T x#-(+%?"<(+<$ U63 !"#$%$;-2#*"($%$-/2*+/+(;%7#+%*8+,F 2<+$$-"(

1q6 !φ∧ψ"

)9$-:(+<&%*&%I"</#*+%7#-%?"//+(?+%&'+?φ1?8+$;FHF)-<+%*&%2=<&$+%&<C-;<&-<+%)9(";9+%2&<%TφU6> ?"(;-F (#+%&'+?%T∧U%+;%A(-;%2&<ψ3 1q6 ("#$%2+</+;%)+%2&<*+<%)+%;"#;+$%*+$%+,2<+$$-"($%)+%(8-/2"<;+%7#+**+

?"/2*+,-;9> &L&(;%#(+%?+<;&-(+%I"</+%1+(%*8"??#<<+(?+> #(+%I"</+%?"(@"(?;-'+63 ]+%*&%/D/+%/&(-.<+>

!(µ)")9(";+%*+%<9$#*;&;%)+%*&%/-$+%+(;<+%2&<+(;=.$+$%)+%*8+,2<+$$-"(µ3

Y*%+$;%H%$"#*-:(+<%7#8-*%$8&:-;%-?-%)8#(+%$"*#;-"(%&<;-A?-+**+%H%#(%2<"C*./+%&<;-A?-+*3 !"#$%-(;<")#-$"($

T!. . ."U%?"//+%("#'+**+%+,2<+$$-"(%)&($%(";<+%/9;&*&(:&:+%+;%$;-2#*"($%$&%$-:(-A?&;-"( R^y ?+%$+<&-;

*8+,2<+$$-"(%7#-%/+;%)+$%:#-**+/+;$%w"<)-(&-<+$8%+(;<+%*8+,2<+$$-"(. . .> /&-$%"/+;%;"#$%*+$%:#-**+/+;$%H

*8-(;9<-+#<%)+. . .3

[(%:9(9<&*> )+$%/&;<-?+$%?"//+%2&<%+,3 T!. . .∧· · ·"U> T!(. . .)"U%+;?3("#$%$+<'+(;%H%?"($;<#-<+%)+$%("/$

?"/2*+,+$> ?"//+%*+%I"(;%2&<%+,+/2*+%T *+%2.<+%)+%\ U%"#%T *&%/"-;-9%)+%\ U3 d-%d&/%+$;%#(+%2+<$"((+>

&*"<$%T *+%2.<+%)+%d&/ U%)9(";+%*+%2.<+%)+%?+;;+%2+<$"((+3 d-a+$;%#(%?+<;&-(%("/C<+> &*"<$%T *&%/"-;-9 )+aU%)9(";+%*&%/"-;-9%)+%?+%("/C<+3^Psd-φ+$;%#(+%?+<;&-(+%2=<&$+> &*"<$!(φ)")9(";+%*+%<9$#*;&;%)+

*&%/-$+%+(;<+%2&<+(;=.$+$%)+%?+;;+%2=<&$+3 d-φ+$;%T d&/%+$;%;<-$;+ U> &*"<$!(φ)"+$;%*8+,2<+$$-"(%T 1d&/

+$;%;<-$;+6 U3 d-φ+$;%T d&/%&%I&-/ U%+;ψ+$;%T O&<-+%'+#;%$+%/&<-+< U> &*"<$!φ∧ψ")+'-+(;%T d&/%&%I&-/

+;%O&<-+%'+#;%$+%/&<-+< U%1*+%("/%)+%*&%2=<&$+%?"(@"(?;-'+63 !"#$%2"#'"($> C-+(%$K<> $#C$;-;#+<φ2&<

TpU%+;ψ2&<%TqU> "C;+(&(;%&*"<$%H%2&<;-<%)+ 1q6 *8+,2<+$$-"(%$#-'&(;+ R

1y6 Tp∧qU

1y6 +$;%#(%("/%)+%*&%?"(@"(?;-"(%)+$%)+#,%2=<&$+$%$-/2*+$3 !"#$%2"#'"($%?"(?+'"-< 1q6 ?"//+%*+

("/%)8#(+%2=<&$+%?"(;+(&(;%)+$%*&?#(+$%T \ ∧ · · ·U> "t%*&%2<+/-.<+%*&?#(+%1<+2<9$+(;9+%2&<%*+$%2"-(;$

)+%$#$2+($-"(%T. . .U6%+$;%<+/2*-+%2&<%*8+,2<+$$-"(φ+;%*&%)+#,-./+%*&?#(+%1<+2<9$+(;9+%2&<%T· · · U6%+$;

<+/2*-+%2&<ψ3 V8&'&(;&:+%)8&'"-<%)+$%("/$%2"#<%)+$%2=<&$+$%("(F$29?-A9+$%+$;%7#+φ+; ψ2+#'+(;

D;<+%)+%(8-/2"<;+%7#+**+%?"/2*+,-;9 R )&($ 1q6> ("#$%2"#'"($%&#$$-%$#C$;-;#+<φ2&<%Tp→qU%+;ψ2&<

T(p∨q)∧rU3 V8&'&(;&:+%)+$%)+/-F?<"?=+;$%(+%?"(?+<(+%7#+%*+$%("/$%?"/2*+,+$ R +(%*8&C$+(?+%)+

y3 ]+%*&%/D/+%/&(-.<+> @+%2"#<<&-$%-(;<")#-<+%#(%;L2+%)+%w?-;&;-"(8%T∗. . .∗U%+;%*#-%)"((+<%*&%$-:(-A?&;-"(%T *&%2=<&$+%7#-%+$;

*&%/+-**+#<+%<92"($+%H%T \ U U3

Ps3 !"#$%<+;"#<(+<"($> )&($%*&%$?;3Ps3P> H%?+$%("/$%?"/2*+,+$%7#8"(%&22+**+<&%T I"(?;-"($ U3

BI *6 +(,#&%-./),-0%12(/)(&)%.34'(.5(/),-0%12(/

?"((+?;+#<$> *+$%)+/-F?<"?=+;$%(8"(;%2&$%)8+Z+;3!φ"+$;%$-/2*+/+(;φ3

E8+$;%&'+?%?+$%)+/-F?<"?=+;$%7#+%("#$%2&<'+("($%A(&*+/+(;%H%#(+%I"</#*&;-"(%$&;-$I&-$&(;+%)+ 1b6 R

1Ps6 !φ∧ψ"|kφ

V8+,2<+$$-"( 1Ps6 )9$-:(+%*+%<9$#*;&;%)+%*&%@#,;&2"$-;-"(%)+%*8+,2<+$$-"(%T j;&(;%)"((9%*8&N</&;-"(%7#+ U>

)+%*&%2=<&$+84%*0!4"2&<φ> )#%?"((+?;+#<%T∧U> )+%*&%2=<&$+84%*0!4"2&<ψ> )+%*8+,2<+$$-"(%T -*%$8+($#-;

7#+ U%+;%)+%*&%2=<&$+84%*0!4"2&<φ3 d-φ)9$-:(+%T d&/%&%I&-/ U%+;ψ)9$-:(+%T O&<-+%'+#;%$+%/&<-+< U>

&*"<$ 1Ps6 )+'-+(;%*&%2=<&$+%$#-'&(;+ R

1PP6 j;&(;%)"((9%7#+%d&/%&%I&-/%+;%7#+%O&<-+%'+#;%$+%/&<-+<> -*%$8+($#-;%7#+%d&/%&%I&-/3 E8+$;%?+;%#$&:+%7#+%("#$%&)"2;+<"($%2&<%*&%$#-;+3

*6? 8(/)&#2&-,-0%(/)(&),(/)5-.&'#G%5&%-./

S(+%-(I9<+(?+%*":-7#+%+$;%'&*-)+%$-%+;%$+#*+/+(;%$8-*%(8+$;%2&$%*":-7#+/+(;%2"$$-C*+%7#+%$+$%2<9/-$$+$

$"-+(;%'<&-+$%+;%$&%?"(?*#$-"(%I&#$$+> ?8+$;FHF)-<+%$-%;"#;+%-(;+<2<9;&;-"(%)+%$+$%?"($;-;#&(;$%$-/2*+$%7#-

<+()%'<&-+$%*+$%2<9/-$$+$%<+()%9:&*+/+(;%'<&-+%*&%?"(?*#$-"(3j;&(;%)"((9%*&%$-:(-A?&;-"(%)+%*8-/2*-?&;-"(

/&;9<-+**+%T→U%M%7#8+**+%+$;%'<&-+%$8-*%(8+$;%2&$%*+%?&$%7#+%*8&(;9?9)+(;%+$;%'<&-%+;%*+%?"($97#+(;%I&#,%M

#(+%-(I9<+(?+%7#-%&%TpU%?"//+%2<9/-$$+%+;%TqU%?"//+%?"(?*#$-"(%+$;%'&*-)+%$-%+;%$+#*+/+(;%$-%Tp→qU +$;%#(+%;&#;"*":-+3

S(+%2=<&$+%+$;%#(+%;&#;"*":-+%$-%+;%$+#*+/+(;%$-%+**+%+$;%'<&-+%)&($%;"#;+$%*+$%2"$$-C-*-;9$%*":-7#+$> ?8+$;F HF)-<+%'<&-+%$"#$%;"#;+$%*+$%-(;+<2<9;&;-"($%)+%$+$%?"($;-;#&(;$%$-/2*+$3 E8+$;%2"#<%?+;;+%<&-$"(%7#+%*+$

;&#;"*":-+$%$"(;%&22+*9+$;@4,*.4%-+(0*7)&% <3 V&%(9:&;-"(%)8#(+%;&#;"*":-+> 9;&(;%)"((9%*&%$-:(-A?&;-"(

)+%T¬U> +$;%#(+%2=<&$+%I&#$$+%)&($%;"#;+$%*+$%2"$$-C-*-;9$%*":-7#+$%M%-*%(8L%&%&#?#(+%-(;+<2<9;&;-"(%)+

$+$%?"($;-;#&(;$%$-/2*+$%7#-%*&%<+()+%'<&-+3 Q(%&22+**+%?+$%I&#$$+;9$%*":-7#+$%)+$; 5(!.,$8*5.*(!% <3^PP Y*%$8+($#-;%7#+%*+$%;&#;"*":-+$%+;%*+$%?"(;<&)-?;-"($%@"#+(;%#(%<i*+%2&<;-?#*-+<%)&($%*+$%-(I9<+(?+$ R #(+

;&#;"*":-+> 2#-$7#8+**+%(+%2+#;%2&$%D;<+%I&#$$+> 2+#;%D;<+%-(I9<9+%)+%(8-/2"<;+%7#+**+%2<9/-$$+3 x#+*7#+$

$"-+(;%*+$%2<9/-$$+$%)"(;%"(%-(I.<+%*&%;&#;"*":-+> -*%(8+$;%2&$%*":-7#+/+(;%2"$$-C*+%7#+%?+$%2<9/-$$+$

$"-+(;%'<&-+$&'*&%;&#;"*":-+%I&#$$+3 S(+%;&#;"*":-+%2+#;%/D/+%D;<+%-(I9<9+%)8#(%+($+/C*+%'-)+%)+

2<9/-$$+$3 S(+%?"(;<&)-?;-"(> &#%?"(;<&-<+> +$;%#(+%2<9/-$$+%)"(;%"(%2+#;%-(I9<+<%(8-/2"<;+%7#+**+

?"(?*#$-"(3 x#+**+%7#+%$"-;%*&%?"(?*#$-"(%7#8"(%'+#;%+(%;-<+<> -*%(8+$;%2&$%*":-7#+/+(;%2"$$-C*+%7#+%*&

2<9/-$$+%1*&%?"(;<&)-?;-"(6%$"-;%'<&-+%+;%7#+%*&%?"(?*#$-"(%$"-;%I&#$$+3

S(+%;&#;"*":-+%2&<&)-:/&;-7#+%+$;%*&%2=<&$+%Tp∨ ¬pU3^PgTp∧ ¬pU%+$;%#(+%?"(;<&)-?;-"(%+,+/2*&-<+3

PP3 !"#$%&'"($%)9@H%<+(?"(;<9%*+$%;&#;"*":-+$%+;%*+$%?"(;<&)-?;-"($%)&($%*+$%?"*"((+$%P%+;%Pv%)#%;&C*+&#%)+$%Pv%?"((+?;+#<$

C-(&-<+$%2"$$-C*+$%1?I3 23lq63 [**+$%?"<<+$2"()+(;%H%)+$%T I"(?;-"($%)+%'9<-;9 U%1T ;<#;=FI#(?;-"($ U6%)&($%*+%/D/+%$+($%7#8#(+

I"(?;-"(%?"($;&(;+%2+#;%D;<+%&22+*9+%T #(+%I"(?;-"( U3 z-+(%(+%("#$%+/2D?=+%)8-(;<")#-<+%)+$%?"((+?;+#<$%T"U%+;%T⊥U%&'+?%*+$

;&C*+$%)+%'9<-;9%$#-'&(;+$ R

p q p"q

V V V

V F V

F V V

F F V

p q p⊥q

V V F

V F F

F V F

F F F

E"//+%*+$%'&*+#<$%)+%'9<-;9%)+%Tp"qU%+;%)+%Tp⊥qU%(+%)92+()+(;%2&$%)+$%'&*+#<$%)+%'9<-;9%)+%TpU%+;%)+%TqU> #(+%;+**+%$;-2#*&;-"(

&%2+#%)8-(;9<D;3

Pg3 E"/2&<+{%?+;;+%2=<&$+%&'+?%T _"#;+%2=<&$+!φ∨ ¬φ"+$;%#(+%;&#;"*":-+3 U%]&($%T S(+%;&#;"*":-+%2&<&)-:/&;-7#+%+$;%*&

*6? 8(/)&#2&-,-0%(/)(&),(/)5-.&'#G%5&%-./ B7

d+*"(%*+$%?"($-)9<&;-"($%2<9?9)+(;+$> "(%'"-;%7#+%*+$%-(I9<+(?+$

q p∨ ¬p

p∧ ¬p q

$"(;%'&*-)+$> 7#+**+%7#+%$"-;%*&%2=<&$+%)9$-:(9+%2&<%TqU R "(%2+#;%-(I9<+<%#(+%;&#;"*":-+%)+%(8-/2"<;+

7#+**+%2=<&$+%+;%"(%2+#;%-(I9<+<%(8-/2"<;+%7#+**+%2=<&$+%)8#(+%?"(;<&)-?;-"(3 B#-$7#8#(+%;&#;"*":-+

$8+($#-;%)+%(8-/2"<;+%7#+**+%2<9/-$$+> "(%2+#;%)-<+%)+%*&%/&(-.<+%$#-'&(;+%7#+%Tp∨ ¬pU%+$;%#(+%;&#;"F

*":-+ R

|kp∨ ¬p

E+?-%$8&??"<)+%&'+?%(";<+%+,2*-?&;-"(%)+%*&%?"($97#+(?+%*":-7#+ R *&%2=<&$+%Tφ |k ψU%+$;%'<&-+%$-%+;

$+#*+/+(;%$8-*%+$;%'<&-%2"#<%(8-/2"<;+%7#+*$φ+;ψ7#+ R $-φ+$;%'<&-+> &*"<$ψ*8+$;%&#$$-3d8-*%+$;%-/2"$$-C*+

.(). - 5(),'7#+ψ$"-;%I&#$$+> &*"<$%?+;;+%-/2*-?&;-"(%+$;%'<&-+%/D/+%$-φ+$;%I&#,3 B"#<%)-<+%7#+%Tp∧¬pU +$;%#(+%?"(;<&)-?;-"(> "(%2+#;%&N</+< R

|k¬(p∧ ¬p)

d-%)+#,%2=<&$+$%?"/2*+,+$%"(;%*&%/D/+%;&C*+%)+%'9<-;9> -*%(8L%&%&#?#(+%<&-$"(%*":-7#+%)+%*+$%)-$;-(F :#+< R +(%?+%7#-%?"(?+<(+%*&%*":-7#+> +**+$%)-$+(;%*&%/D/+%?="$+3 [(;<+%*+$%)+#,> -*%$8&:-;%)847)*?$+&!5"

+(0*7)"3 V&%<+*&;-"(%+(;<+%*&%(";-"(%)8%T 97#-'&*+(?+%*":-7#+ U%)#%/9;&*&(:&:+%+;%*897#-'&*+(?+%/&;9<-+**+

)#%*&(:&:+F"C@+;%+$;%*&%/D/+%7#+%?+**+%+(;<+%*&%(";-"(%)+%T ?"($97#+(?+%*":-7#+ U%+;%*8-/2*-?&;-"(%/&F

;9<-+**+3 ]-<+%7#+p→q> <+'-+(;%H%)-<+%7#8-*%(8+$;%2&$%*+%?&$%7#+%TpU%+$;%'<&-+%+;%TqU%I&#$$+3 ]-<+%7#+

ψ+$;%#(+%?"($97#+(?+%*":-7#+%)+φ<+'-+(;%H%)-<+%7#8-*%(8L%&%&#?#(%?&$%1&#?#(+%2"$$-C-*-;9%*":-7#+6%"t φ+$;%'<&-+%+;ψI&#$$+3 ]-<+%7#+p ↔q> <+'-+(;%H%)-<+%7#+%*+$%)+#,%2=<&$+$%TpU%+;%TqU%$"(;%$"-;%*+$

)+#,%'<&-+$%$"-;%*+$%)+#,%I&#$$+$3 ]-<+%7#+φ+$;%*":-7#+/+(;%97#-'&*+(;+%Hψ> A(&*+/+(;> <+'-+(;%H%)-<+

7#8+**+$%<+0"-'+(;%*+$%/D/+$%'&*+#<$%)+%'9<-;9%)&($%;"#$%*+$%?&$%2"$$-C*+$> ?8+$;FHF)-<+%7#+%*+#<$%;&C*+$

)+%'9<-;9%$"(;%*+$%/D/+$3^P4

Q(%)-;%$"#'+(;%)8#(+%?"(;<&)-?;-"(%7#8+**+%+$;%?"(;<&)-?;"-<+%&'+?%+**+F/D/+%"#%7#8+**+%$+%?"(;<+)-;

+**+F/D/+3 !"#$%&'"($%-?-%#(+%<+*&;-"(%)#%/D/+%(-'+&#%7#+%*&%?"($97#+(?+%*":-7#+ R *&%<+*&;-"(%)+

?"(;<&)-?;-"(%&22&<;-+(;%&#$$-%&#%/9;&*&(:&:+3 ]+#,%2=<&$+$%$"(;5(!.,$8*5.(*,&% $-%+**+$%(+%2+#'+(;

2&$%D;<+%'<&-+$%+($+/C*+%+;%(+%2+#'+(;%2&$%D;<+%I&#$$+$%+($+/C*+ W #(+%$+#*+%)8+(;<+%+**+$%)"-;%D;<+

'<&-+> 2#-$7#+%*&%'9<-;9%)+%*&%2<+/-.<+%+(;<&h(+%*&%I&#$$+;9%)+%*&%)+#,-./+%+;%*&%I&#$$+;9%)+%*&%)+#,-./+

+(;<&h(+%*&%'9<-;9%)+%*&%2<+/-.<+3^Pl

V+%)+<(-+<%?"(@"-(;%+$;%-/2"<;&(; R D;<+%?"(;<&)-?;"-<+%(8+$;%2&$%*&%$+#*+%/&(-.<+%)8D;<+%-(?"/2&;-C*+

2"#<%)+$%2=<&$+$3 E"/2&<"($%*+$%)+#,%2&-<+$%)+%2=<&$+$%$#-'&(;+$ R

2=<&$+%Tp∨ ¬pU U> "(%2&<*+%)8#(+%2=<&$+%2<9?-$+> 2&<%+,+/2*+%)+%T -*%2*+#;%"#%-*%(+%2*+#;%2&$ U3 ]&($%T _"#;+%2=<&$+!φ∨ ¬φ"+$;

#(+%;&#;"*":-+ U%"(%2&<*+%)+%;"#;+$%*+$%2=<&$+$%7#-%"(;%#(+%?+<;&-(+%I"</+> ?8+$;FHF)-<+%)+%?+**+$%7#-%$"(;%?"/2"$9+$%)8#(+%2=<&$+

$-/2*+> )8#(+%+,2<+$$-"(%2"#<%*&%)-$@"(?;-"(%+;%)+%*&%(9:&;-"(%)+%?+;;+%2=<&$+%$-/2*+3 E8+$;%*&%<&-$"(%2"#<%*&7#+**+%"(%#;-*-$+%*+$

)+/-F?<"?=+;$%)+%x#-(+%)&($%?+%?&$3

P43 E8+$;%?+;;+%(";-"(%)8%T 97#-'&*+(?+%*":-7#+ U%7#-%("#$%2+</+;%)+%)-<+%7#+%Tp∨ ¬pU%+$;%*&%&)+";&#;"*":-+> +;%7#+%Tp∧ ¬pU +$;%*&%&)+"?"(;<&)-?;-"(3 Q(%L%&<<-'+%2&<%)+$%;<&($I"</&;-"($%)+%I"</#*+$3 E"($-)9<"($%#(+%;&#;"*":-+%?"/2*+,+8%?"//+

T((p→q)∧(p→ ¬q))↔ ¬pU3 B#-$7#8-*%$8&:-;%)8#(+%;&#;"*":-+> +**+%+$;%'<&-+%)&($%*+$%7#&;<+%/&(-.<+$%)-Z9<+(;+$%)8&;;<-C#+<

)+$%TV U%+;%)+$%TFU%H%TpU%+;%TqU3 [**+%+$;%)"(?%97#-'&*+(;+%H%T(p∧q)∨(p∧ ¬q)∨(¬p∧q)∨(¬p∧ ¬q)U> I"</#*+%7#-

?"/C-(+%12&<%*&%)-$@"(?;-"(6%*+$%7#&;<+%-(;+<2<9;&;-"($%2"$$-C*+$%)+%TpU%+;%)+%TqU3 [(%&22*-7#&(;%#(+%)+$%*"-$%)+%)-$;<-C#;-"(

1!(φ∨(ψ∧χ))↔((φ∨ψ)∧(φ∨χ))"+;!(φ∧(ψ∨χ))↔((φ∧ψ)∨(φ∧χ))"6> "(%"C;-+(;%T(p∧(q∨¬q))∨(¬p∧(q∨¬q))U3 B#-$7#+%*+$%?"(@"-(;$%;&#;"*":-7#+$%T(q∨ ¬q)U%(8&;;<-C#+(;%<-+(%&#,%?"()-;-"($%)+%'9<-;9%)+%*&%)-$@"(?;-"(> "(%2+#;%*+$%"/+;;<+>

+;%&-($-%&<<-'+<%H%Tp∨ ¬pU3

Pl3 r8#;-*-$+%T +(;<&h(+ U%-?-%2"#<%)9$-:(+<%*&%<+*&;-"(%)+%?"($97#+(?+%*":-7#+> 9:&*+/+(;%)9$-:(9+%2&<%T|k U3

B= *6 +(,#&%-./),-0%12(/)(&)%.34'(.5(/),-0%12(/

1!7=6 T V&%*":-7#+%/+%<+()%=+#<+#$+3 U%+;%T V&%*":-7#+%(+%/+%<+()%2&$%=+#<+#$+3 U 1!7*6 T V&%*":-7#+%/+%<+()%=+#<+#$+3 U%+;%T V&%*":-7#+%/+%<+()%/&*=+#<+#$+3 U

]&($%*+$%)+#,%?&$> -*%+$;%-/2"$$-C*+%7#+%*+$%)+#,%2=<&$+$%$"-+(;%'<&-+$%1+(%/D/+%;+/2$> 2"#<%*&%/D/+

2+<$"((+63 O&-$%-*%L%&%#(+%)-Z9<+(?+ R

P3 ]&($%*+%2<+/-+<%?&$ 1!7=6> "(%2+#;%?"(?*#<+%*&%'9<-;9%)+%*&%)+#,-./+%2=<&$+%2&<%*&%I&#$$+;9%)+%*&

2<+/-.<+3

g3 ]&($%*+%)+#,-./+%?&$ 1!7*6> "(%(+%*+%2+#;%2&$ R *+$%)+#,%2=<&$+$%2"#<<&-+(;%D;<+%I&#$$+$> 2&<

+,+/2*+%)&($%*+%?&$%"t%*&%*":-7#+%/+%*&-$$+%-()-Z9<+(;+3

V+$%2=<&$+$%)+%*&%2<+/-.<+%2&-<+%(+%2+#'+(;%(-%D;<+%'<&-+$%+($+/C*+%(-%D;<+%I&#$$+$%+($+/C*+ W *+$%2=<&$+$

)+%*&%)+#,-./+%2&-<+%(+%2+#'+(;%2&$%D;<+%'<&-+$%+($+/C*+> /&-$%+**+$%2+#'+(;%D;<+%I&#$$+$%+($+/C*+3 d-%)+#,%2=<&$+$%$"(;%<+*-9+$%)+%*&%/D/+%/&(-.<+%7#+%*&%2<+/-.<+%2&-<+> ?8+$;FHF)-<+%)+%;+**+%/&(-.<+

7#8"(%2#-$$+%?"(?*#<+%*&%'9<-;9%)+%*8#(+%2&<%*&%I&#$$+;9%)+%*8&#;<+&'*&%I&#$$+;9%)+%*8&#;<+%2&<%*&%'9<-;9%)+

*&%2<+/-.<+> "(%*+$%&22+**+; 5(!.,$8*5.(*,&% <3 d-%*+$%)+#,%2=<&$+$%$"(;%<+*-9+$%)+%*&%/D/+%/&(-.<+%7#+%*&

)+#,-./+%2&-<+> ?8+$;FHF)-<+%)+%;+**+%/&(-.<+%7#8"(%(+%2#-$$+%?"(?*#<+%7#+%*&%I&#$$+;9%)+%*8#(+%H%2&<;-<

)+%*&%'9<-;9%)+%*8&#;<+%1+;%)"(?%*&%I&#$$+;9%)+%*&%)+#,-./+%H%2&<;-<%)+%*&%'9<-;9%)+%*&%2<+/-.<+6%/&-$%2&$

(9?+$$&-<+/+(;%*8-('+<$+> "(%*+$%&22+**+; 5(!.,$*,&% <3 ]8&#;<+$%+,+/2*+$%)+%2=<&$+$%?"(;<&-<+$%1/&-$%2&$

?"(;<&)-?;"-<+$6%$"(;%*+$%2&-<+$%$#-'&(;+$ R

1J76 T O"(%*-'<+%+$;%1#(-I"</9/+(;6%<"#:+3 U> T O"(%*-'<+%+$;%1#(-I"</9/+(;6%C*+#3 U 1J=6 T r+%$#-$%H%|+(.'+3 U> T r+%$#-$%H%B&<-$3 U

1J*6 T J+(@&/-(%+$;%?9*-C&;&-<+3 U> T J+(@&/-(%+$;%/&<-93 U

O"(%*-'<+%2"#<<&-;%&'"-<%)8&#;<+$%?"#*+#<$%7#+%*+%<"#:+%+;%*+%C*+# W @+%2"#<<&-$%D;<+%H%VL"(%+;%J+(@&/-(%+$;

2+#;FD;<+%#(%+(I&(;%)+%;<"-$%&($3 Q(%'"-;%-?-%7#8-*%I&#;%)-$;-(:#+<%*&%2"$$-C-*-;9%+;%*8-/2"$$-C-*-;9+(0*7)"

)8&#;<+$%I"</+$%)+%2"$$-C-*-;9$%+;%)8-/2"$$-C-*-;9$3 V+%I&-;%7#+%)+#,%2=<&$+$%(+%2#-$$+(;%2&$%D;<+%'<&-+$

+($+/C*+%17#8+**+$%$"(;%?"(;<&-<+$6%2+#;%&'"-<%)-Z9<+(;+$%<&-$"($ R *+%/"()+ 1J76> *&%/9;&2=L$-7#+

1J=6> *&%*&(:#+ 1J*6 +;?3

O-$%H%2&<;%*+$%<+*&;-"($%)+%?"(;<&)-?;-"(%+;%)+%?"(;<&<-9;9> *&%;<&)-;-"(%&%<+?"((#%#(%;<"-$-./+%;L2+

)8"22"$-;-"(%7#-%+$;%*&%<+*&;-"(%)+%)215(!.,$,*4.A3 ]+#,%2=<&$+$%$"(;%$#CF?"(;<&-<+$%$-%+;%$+#*+/+(;%$8-*

(8+$;%2&$%2"$$-C*+%7#+%*+$%)+#,%$"-+(;%I&#$$+$%+($+/C*+> /D/+%$8-*%+$;%2"$$-C*+%7#8+**+$%$"-+(;%'<&-+$

+($+/C*+3 V+$%)+#,%2=<&$+$%T -*%L%&%#(+%ID;+%:<&;#-;+ U%+;%T -*%L%&%#(+%ID;+%7#-%(8+$;%2&$%:<&;#-;+ U> 2&<

+,+/2*+> 2+#'+(;%D;<+%'<&-+$%+($+/C*+%1$8-*%L%&%+;%)+$%ID;+$%:<&;#-;+$%+;%)+$%ID;+$%2&L&(;+$6> /&-$%+**+$

(+%2+#'+(;%2&$%D;<+%I&#$$+$%+($+/C*+ R -*%(8+$;%2&$%2"$$-C*+%7#+%T -*%L%&%#(+%ID;+%:<&;#-;+ U%$"-;%I&#$$+%1+;

)"(?%7#8-*%(8L%&-;%7#+%)+$%ID;+$%2&L&(;+$6%+;%7#+%T -*%L%&%#(+%ID;+%7#-%(8+$;%2&$%:<&;#-;+ U%$"-;%&#$$-%I&#$$+

1+;%)"(?%7#8-*%(8L%&-;%2&$%)+%ID;+$%7#-%(+%$"(;%2&$%:<&;#-;+$63^Pb

*6> 8()5#''4)G(/)-$$-/%&%-./

S(+%/&(-.<+%)+%2<9$+(;+<%*+$%<+*&;-"($%$9/&(;-7#+$%2&</-%)+$%2=<&$+$%+$;%?+%7#8"(%&22+**+%#(%T ?&<<9 )+$%"22"$-;-"($ U3 V+%2*#$%&(?-+(%)+%?+$%?&<<9$> *-9%&#%("/%)8^22#*9+%1(9%}uF%+(%Pgb%&'3 r3E36%$+%I&-;%)&($

*&%*":-7#+%$L**":-$;-7#+%?"//+%$#-; R^Pv

Pb3 Y*%I&#;%2<9$#22"$+<> 2"#<%2"#'"-<%/"(;<+<%7#+%*+$%)+#,%2=<&$+$%(+%2+#'+(;%2&$%D;<+%I&#$$+$%+($+/C*+> 7#8-*%L%&-;%)+$%ID;+$3 E+?-%?"<<+$2"()%H%*&%2<9$#22"$-;-"(%7#+%*+%)"/&-(+%)+%7#&(;-A?&;-"(%(+%$"-;%2&$%'-)+3 Q(%<+'-+()<&%$#<%?+$%2<"C*./+$%H%*&%2&:+

23gg43

Pv3 !"#$%<+'-+()<"($%$#<%?+%?&<<9%)&($%*+%?"(;+,;+%)+%*&%*":-7#+%)+$%2<9)-?&;$> H%*&%23Plb)&($%*+%?=&2-;<+q3

*6> 8()5#''4)G(/)-$$-/%&%-./ B*

"/(-$%~;"#$• "/(-$%("(%1k%(#**#$6%~&#?#(•

("(%"/(-$%("(

1k%&*-7#-$%k%("((#**#$6

~7#+*7#8#(•

("(%"/(-$%1k%&*-7#-$%("(6

~2&$%;"#$•

! !

""""""""""

##

##

##

##

##

?"(;<&-<+

$"#$F?"(;<&-<+

$#C&*;+<(+ $#C&*;+<(+

?"(;<&)-?;"-<+

?"(;<&)-?;"-<+

V&%<+*&;-"(%)+%?"(;<&)-?;-"(%7#-%;-<+%)+$%)-&:"(&*+$%+(;<+%*+$%?"-($%)+%?+%?&<<9%$-:(-A+%7#+%*8#(%+$;%*&

(9:&;-"(%)+%*8&#;<+3 V+$%2=<&$+$%?"(;<&-<+$> ?+2+()&(;> $+%)-$;-(:#+(;%2&<%#(+%(9:&;-"(%-(;+<(+ R +**+$

(+%2+#'+(;%2&$%;"#;+$%)+#,%D;<+%'<&-+$> /&-$%+**+$%2+#'+(;%;"#;+$%)+#,%D;<+%I&#$$+$ R -*%(8+$;%2&$%2"$$-C*+

7#+%;"#;+$%*+$%?="$+$%$"-+(;F +;%7#+%;"#;+$%*+$%?="$+$%(+%$"-+(;%2&$F 1&#%/"-($%$8-*%(8+$;%2&$%*+%?&$

7#8-*%(8L%&-;%<-+(%)#%;"#;6> /&-$%-*%+$;%2"$$-C*+%7#8-*%L%&-;%)+$F1+;%7#+%)"(?%T ;"#;+$%*+$%?="$+$%(+%$"(;%2&$

FU%$"-;%I&#,6%+;%)+$%("(FF 1+;%7#+%)"(?%T ;"#;+$%*+$%?="$+$%$"(;FU%$"-;%9:&*+/+(;%I&#,63 V&%<+*&;-"(

)+%$#C&*;+<(&;-"(%+$;%*&%<+*&;-"(%)+%?"($97#+(?+%*":-7#+ R $-%;"#;+$%*+$%?="$+$%$"(;F1+;%$8-*%L%&%7#+*7#+

?="$+6> &*"<$%-*%(8+$;%2&$%'<&-%7#+%;"#;+$%*+$%?="$+$%(+%$"(;%2&$FW $-%;"#;+$%*+$%?="$+$%(+%$"(;%2&$F 1+;%$8-*%L%&%)+$%?="$+$%7#-%2+#'+(;%D;<+F6> &*"<$%-*%(8+$;%2&$%*+%?&$%7#+%;"#;+$%*+$%?="$+$%$"(;F3 V&%$#CF

?"(;<&<-9;9%?"<<+$2"()%H%*&%'9<-;9%*":-7#+%1k%'&*-)-;96%)+%*&%)-$@"(?;-"(3 d8-*%L%&%)+$%?="$+$%+;%7#+%("#$

+(%?="-$-$$"($%#(+%&22+*9+%TaU> &*"<$%$"-;a+$;F> $"-;a(8+$;%2&$F3 d-a+$;F> &*"<$%-*%(8+$;%2&$%'<&- 7#+%;"#;+$%*+$%?="$+$%(+%$"(;%2&$FW $-a(8+$;%2&$F> &*"<$%-*%(8+$;%2&$%'<&-%7#+%;"#;+$%*+$%?="$+$%$"(;

F3 ^*"<$%&#%/"-($%#(+%)+$%)+#,%2=<&$+$%2<9A,9+$%2&<%T ("(%"/(-$%("( U%+;%2&<%T ("(%"/(-$ U%+$;%'<&-+3 V&%?"(;<&<-9;9%'+#;%)-<+%T 2&$%*+$%)+#,%'<&-+$ U W *&%$#CF?"(;<&<-9;9%)-;%T 2&$%*+$%)+#,%I&#$$+$ U3

Q(%2+#;%&)&2;+<%*+%?&<<9%)+$%"22"$-;-"($%)8^22#*9+%H%*&%*":-7#+%2<"2"$-;-"((+**+%?"//+%$#-; R

p∧q ¬p∧ ¬q

p∨q p|q> *&%C&<<+%)+%d=+Z+<









p q p|q

V V F

V F V

F V V

F F V









> ?I3 235P

! !

""""""""""

##

##

##

##

##

?"(;<&-<+

$"#$F?"(;<&-<+

$#C&*;+<(+ $#C&*;+<(+

?"(;<&)-?;"-<+

?"(;<&)-?;"-<+

Q(%'9<-A+%?+%?&<<9%)8"22"$-;-"($%H%*8&-)+%)+$%;&C*+$%)+%'9<-;9 R

!-.&'#'%4&4 K -*%(8L%&%2&$%)8-(;+<2<9;&;-"(%7#-%<+()+%Tp∧qU%+;%T¬p∧ ¬qU%'<&-+$3 L2:95-.&'#'%4&4 K -*%(8L%&%2&$%)8-(;+<2<9;&;-"(%7#-%<+()+%Tp∨qU%+;%Tp|qU%I&#$$+$3 L2:#,&('.#&%-. K ;"#;+%-(;+<2<9;&;-"(%7#-%<+()%Tp∧qU%'<&-+> <+()%Tp∨qU%'<&-+3 L2:#,&('.#&%-. K ;"#;+%-(;+<2<9;&;-"(%7#-%<+()%T¬p∧ ¬qU%'<&-+> <+()%Tp|qU%'<&-+3

!-.&'#G%5&%-. K #(+%-(;+<2<9;&;-"(%<+()%Tp∧qU%'<&-+%$-%+;%$+#*+/+(;%$-%+**+%<+()%Tp|qU%I&#$$+3

!-.&'#G%5&%-. K #(+%-(;+<2<9;&;-"(%<+()%Tp∨qU%'<&-+%$$-3 +**+%<+()%T¬p∧ ¬qU%I&#$$+3

V+$%?-(7%<+*&;-"($%$9/&(;-7#+$%+(;<+%2=<&$+$%?"<<+$2"()+(;%&#%?&<&?;.<+%;&#;"*":-7#+%)8#(+%?+<;&-(+

2=<&$+%?"/2*+,+ R

B? *6 +(,#&%-./),-0%12(/)(&)%.34'(.5(/),-0%12(/

ψ+$;%#(+%?"($97#+(?+%*":-7#+%)+φ ψ'<&-+%$-φ+$;%'<&-+ !φ→ ¬ψ";&#;"*":-+

φ+;ψ$"(;%*":-7#+/+(;%97#-'&*+(;+$ '<&-+$%"#%I&#$$+$%+($+/C*+$ !φ↔ψ";&#;"*":-+

φ+;ψ$"(;%?"(;<&)-?;"-<+$ (-%'<&-+$%(-%I&#$$+$%+($+/C*+$ !¬(φ↔ψ)";&#;"*":-+

φ+;ψ$"(;%?"(;<&-<+$ 2&$%'<&-+$%+($+/C*+$ !¬(φ∧ψ)";&#;"*":-+

φ+;ψ$"(;%$#CF?"(;<&-<+$ 2&$%I&#$$+$%+($+/C*+$ !φ∨ψ";&#;"*":-+

*6B M<$,%5#&%-.)F/6 5-./412(.5(

V&%<+*&;-"(%+(;<+%)+$%2=<&$+$%7#+%("#$%'+("($%)+%<+C&2;-$+<%2&<%*+%("/%C&<C&<+%)+%T $#C&*;+<(&;-"( U +$;%*&%<+*&;-"(%)+%?"($97#+(?+%1*":-7#+63 !"#$%&'"($%'#%7#+%TqU%+$;%#(+%?"($97#+(?+%*":-7#+%)+%TpU

$-%+;%$+#*+/+(;%$-%Tp→qU%+$;%#(+%;&#;"*":-+3 T|k U%&22&<;-+(;%&#%/9;&*&(:&:+%+;%T→U%&22&<;-+(;%&#

*&(:&:+F"C@+;3

V8-/2"<;&(?+%)8#(+%)-$;-(?;-"(%+(;<+%*+$%)+#,%<+*&;-"($%+$;%-**#$;<9+%2&<%#(%2&<&)",+%7#8&%$"#*+'9%2"#<

*&%2<+/-.<+%I"-$%V+e-$%E&<<"**> *8&#;+#<%)+B+*5&-$)-#$C%-8&%-/&,?&*9&%> )&($%#(%&<;-?*+%)+%)+#,%2&:+$

1E&<<"** Pqyb63 ^?=-**+> *+%2+<$"((&:+%)+%*8=-$;"-<+> '+#;%?"('&-(?<+%*&%;"<;#+%)+%*&%'9<-;9%)+%TqU3 Y*

2<")#-;%&*"<$%#(%&<:#/+(;%)#%;L2+D(8)%-E(!&!%> )"(;%*&%;"<;#+%&??+2;+%*&%'9<-;9%)+$%2<9/-$$+$ R p→p q

q

V&%;"<;#+> ?+2+()&(;> <92*-7#+%7#+%?+;%&<:#/+(;%+$;%#(&!.=C/F/"> 7#8-*%L%/&(7#+%#(+%2<9/-$$+> H

$&'"-<%7#+%TqU%$8+($#-;%)+%TpU%+;%)+%Tp→qU3 [(%<92"($+> ^?=-**+%+$;%)8&??"<)%)8&@"#;+<%?+*&%?"//+

2<9/-$$+%$#22*9/+(;&-<+%H%*8-(I9<+(?+%7#-%)+'-+(;%&*"<$ R p→p q

(p∧(p→q))→q q

O&-$%*&%;"<;#+%(8+$;%;"#@"#<$%2&$%?"('&-(?#+%7#+q3 [**+%+$;%)8&??"<)%7#8-*%$8+($#-;%)+$%;<"-$%2<9/-$$+$%M T(p∧(p→q))→qU> Tp→qU%+;%TpU%M%7#+q> /&-$%+**+%-($-$;+%2"#<%7#8"(%*8&@"#;+%?"//+%2<9/-$$+3

^?=-**+%*&%*#-%&??"<)+%+;%$+%;<"#'+%)"(?%)&($%?+%7#8"(%&22+**+%#(+%T <9:<+$$-"(%H%*8-(A(- U W -*%(8&<<-'+<&

@&/&-$%H%?"('&-(?<+%*&%;"<;#+%7#+qR

p→p q q

p→p q (p∧p→q)→q

q

p→p q (p∧(p→q))→q

(p∧(p→q)∧((p∧(p→q))→q))→q

q . . .

V&%;"<;#+%&%2#%<-)-?#*-$+<%^?=-**+%:<X?+%H%*8&C$+(?+%)+%)-$;-(?;-"(%+(;<+%*&%<+*&;-"(%)+%?"($97#+(?+

*":-7#+> 7#-%@#$;-A+%*&%'&*-)-;9%)#%$?=9/&%)8-(I9<+(?+%7#8"(%&22+**+%T /")#$%2"(+($ U> +;%*&%<+*&;-"(

)8-/2*-?&;-"(%/&;9<-+**+3

^2<.$%*8&'"-<%?*&-<+/+(;%)-$;-(:#9+%)+%*8-/2*-?&;-"(%/&;9<-+**+> ("#$%2"#'"($%/&-(;+(&(;%(";+<%2*#F

$-+#<$%2<"2<-9;9$%)+%*&%<+*&;-"(%)+%?"($97#+(?+%*":-7#+%7#8"(%&%&22+*9+%T|k U3^P5

!"#$%<+/&<7#"($> ;"#;%)8&C"<)> 7#+%*8"<)<+%)+$%2<9/-$$+$%(8+$;%2&$%2+<;-(+(;%2"#<%9'&*#+<%#(%&<:#/+(;

?"//+%'&*-)+%"#%("(%'&*-)+ R

P53 B"#<%I&?-*-;+<%*8+,2"$-;-"(> ("#$%(+%?"($-)9<"($%-?-%7#+%)+$%&<:#/+(;$%7#-%(8"(;%7#8#(%("/C<+%A(-%)+%2<9/-$$+$3 O&-$

*+$%2<"2<-9;9$%)+%*&%'&*-)-;9%+(%7#+$;-"(%'&*+(;%&#$$-%2"#<%)+$%&<:#/+(;$%7#-%+(%"(;%#(%("/C<+%-(A(-3 !"#$%<+'-+()<"($%H%?+$

2<"2<-9;9$%)+%<+*&;-"($%H%*&%234vv)&($%*8&22+()-?+3