*23 +#)0-,#4&%56()/()7#)7.8%56()$'.$.0%&%.44(77(

!"#$%&'()*

+#),-&"./()/(0)#'1'(0

*23 +#)0-,#4&%56()/()7#)7.8%56()$'.$.0%&%.44(77(

!"#$%&'"($%)(*+",#)*%,&($%-&%-./"(0#(.%12*3",.%4#+.1.(*%$5(*&6)7#.%4"#+%8&)+.%,.$%4+.#'.$9 -&:

7#.--.%("#$%&%4.+1)$%,.%,2,#)+.%,.$%43+&$.$%;%4&+*)+%,.%7#.-7#.$%&6)"1.$%,<#(%=&-=#-> ?-%("#$%8&--&)*

8&)+.%&@$*+&=*)"(%("(%$.#-.1.(*%,.$%$)A()B=&*)"($%,.%=.$%43+&$.$9 1&)$%&#$$)%,.%-.#+$%'&-.#+$%,.%'2+)*2>

C).(%7#.%("#$%(<&5"($%&#=#(.1.(*%#*)-)$2%=.%8&)*9 -.$%43+&$.$%&)($)%4+"#'2.$%2*&).(*%,.$%*&#*"-"A).$

D=.%7#.%-<"(%4.#*%&)$21.(*%4+"#'.+%4&+%,.$%*&@-.$%,.%'2+)*2E> F(%4.#*%,"(=%$.%,.1&(,.+%7#.--.%.$*%-&

+.-&*)"(%.(*+.%-&%12*3",.%,.$%*&@-.$%,.%'2+)*2%7#)%("#$%4.+1.*%,.%'2+)B.+%$)%#(.%43+&$.%,"((2.%.$*

#(.%*&#*"-"A).%.*%-&%12*3",.%,.$%=&-=#-$%&6)"1&*)7#.$%7#)%("#$%4.+1.*%,.%,2+)'.+9 ;%-<&),.%,.HK9 ,.$

*32"+G1.$%;%4&+*)+%,.$%&6)"1.$93;93:> H"#+%4"#'")+%+24"(,+.%;%=.**.%7#.$*)"(9 ("#$%,.'"($%)(*+":

,#)+.%#(.%$21&(*)7#.%+)A"#+.#$.%4"#+%-.%-&(A&A.L,.%-&%-"A)7#.%4+"4"$)*)"((.--.9 ,"(*%"(%&%,2B()%-&

$5(*&6.%,&($%-&%-./"(0D=8> 4>IJE>

K"11.%-&%-"A)7#.%4+"4"$)*)"((.--.%"@2)*%&#%4+)(=)4.%,.%'2+)8"(=*)"((&-)*2%D=8> 4>LIE9 $&%$21&(*)7#.

("#$%4.+1.*%,<&**+)@#.+%,.$%'&-.#+$%,.%'2+)*29;DM '+&) NE%"#<DM 8&#6 NE9 ;%,.$%8"+1#-.$%="14-.6.$%$#+%-&

@&$.%,.$%'&-.#+$%,.%'2+)*2%,.$%43+&$.$%&*"1)7#.$%,"(*%.--.$%$"(*%="14"$2.$>^O

=->4%&%.4 3?D?(*.+4+2*&*)"(%4+"4"$)*)"((.--.%&*"1)7#.E2 !"# $ %"&#'(')&*&%+" $ ('+(+,%&%+""#-# $ *&+.

/%012I^∗#,& $ 1"# $ 3+"4&%+" $ 01% $ *,,%5"# $ 6 $ &+1&# $ (7'*,# $ *&+/%01# $ 8pi9:i∈N: ;<1"# $ =#, $ >*;#1', $ =# $ >)'%&?; +1<@ A" $ 3+'/1;#, BI^∗:{8pi9|i∈N} → {;,<}

P&%,2B()*)"(OQ(.%="#'+.%7#.%-.%=&$%,.$%43+&$.$%&*"1)7#.$> P&%,2B()*)"(%A2(2+&-.%("#$%1"(*+.%="1:

1.(*%2*.(,+.9 4&+%,.$%=-&#$.$%+2=#+$)'.$9 #(.%*.--.%)(*.+4+2*&*)"(%4+"4"$)*)"((.--.%&*"1)7#.%;%#(.

)(*.+4+2*&*)"(%D&**+)@#*)"(%,.%'&-.#+$%,.%'2+)*2E%,.%*"#*.$%-.$%8"+1#-.$%,.%("*+.%-&(A&A. R

=->4%&%.4 3@ D?(*.+4+2*&*)"( % 4+"4"$)*)"((.--.E2 C&*"& $ =+"") $ 1"# $ %"&#'(')&*&%+" $ ('+(+,%&%+""#-2

*&+/%012I^∗: "+1, $ =)D"%,,+", $ 1"# $ %"&#'(')&*&%+" $ ('+(+,%&%+""#-2IE01% $ #,& $ 1"# $ 3+"4&%+" $ *,,+4%*"& $ 6 $ &+1&2 3+'/1;# $ ('+(+,%&%+""#-# $ 1"# $ #& $ 1"# $ ,#1;# $ >*;#1' $ =# $ >)'%&? F #" $ ,G/H+;#, BI : Ahg(L) → {;,<}I$(*'$=#, 4;*1,#,$')41',%>#, B

O> S<#*)-)$.%M;N%.*%M<N%4"#+%)(,)7#.+%7#<"(%*+&)*.%)=)%-.$%'&-.#+$%,.%'2+)*2%="11.%,.$%T"@U.*$%-"A)7#.$<9 =<.$*:;:,)+.%,.$%=3"$.$

7#)%4.#'.(*%V*+.%'&-.#+$%,.%8"(=*)"($> H&+%="(*+.9 -<#*)-)$&*)"(%,.%MVN%.*%MFN%,&($%-.$%*&@-.$%,.%'2+)*2%4"#++&)*%V*+.%4&+&43+&$2.

,.%1&()G+.%;%(.%4&$%+2)B.+%D*+&)*.+%="11.%"@U.*$E%-.$%'&-.#+$%,.%'2+)*2%D=8> (>I;%-&%4>LWE> X#%-).#%,.%,)+.9 4&+%.6.14-.9 7#.

Mp→qN%+./")*%MFN%="11.%'&-.#+%,.%'2+)*2%,&($%-&%,.#6)G1.%-)A(.%,.%-&%*&@-.%,.%'2+)*2%4"#+%=.**.%43+&$.%="14-.6.%D43+&$.%7#) 1<.(A&A.%;%-<.6)$*.(=.%,.%'&-.#+$%,.%'2+)*2E9 "(%4"#++&)*%,)+.%7#.%-&%43+&$.%.$*%8&#$$.%$)%$"(%&(*2=2,.(*%.$*%'+&)%.*%$"(%="($27#.(*

8&#6>

AA *2 +#),-&"./()/(0)#'1'(0

B3 J%φ#,& $ 1"# $ (7'*,# $ *&+/%01# $ 8p9:I(φ) :=I^∗(8p9) B? I(¬φ) :=!

; ,%I(φ) =<

< ,%I(φ) =; B@ I(φ∧ψ) :=!

; ,%I(φ) =; #K I(ψ) =;

< ,%I(φ) =< +1 I(ψ) =<

BC I(φ∨ψ) :=!

; ,%I(φ) =; +1I(ψ) =;

< ,%I(φ) =< #K I(ψ) =<

B* I(φ→ψ) :=!

; ,%I(φ) =< +1I(ψ) =;

< ,%I(φ) =; #K I(ψ) =<

B: I(φ↔ψ) :=!

; ,%I(φ) =I(ψ)

< ,%I(φ)&=I(ψ)

F(%+.="((&Y*9 ,&($%-&%$42=)B=&*)"(%,.%=.**.%8"(=*)"(I9 -.%1V1.%+&)$"((.1.(*%7#)%("#$%&%4.+1)$%,.

,2B()+%-.$%="((.=*.#+$%4&+%,.$%*&@-.$%,.%'2+)*2> P.$%)(*.+4+2*&*)"($%="++.$4"(,.(*%&#6%4"$$)@)-)*2$

-"A)7#.$9 &#6%-)A(.$%,&($%#(.%*&@-.%,.%'2+)*2> Z(.%)(*.+4+2*&*)"(%&*"1)7#.I^∗7#)%&**+)@#.;;%MpN9 ; MqN%.*%;%MrN%.*<;%MsN%.*%;%MtN%DI^∗(MpN) =I^∗(MqN) =I^∗(MrN) =;[I^∗(MsN) =I^∗(MtN) =<E9 4&+

.6.14-.9 ("#$%,"((.+&%#(.%)(*.+4+2*&*)"(I7#)%&**+)@#.+&;;%Mp∧qN9 ;%Mp∨sN%.*=> .*<;%Mp→sN9 ; Mt∨sN%.*=> \--.%="++.$4"(,%;%#(.%4"$$)@)-)*2%-"A)7#.%,&($%-&7#.--.%MpN9 MqN%.*%MrN%$"(*%'+&).$%.*%MsN%.*

MtN%8&#$$.$> \--.%="++.$4"(,%&#$$)%;%-&%7#&*+)G1.%-)A(.%,&($%-&%*&@-.%,.%'2+)*2%,.%=.$%=)(7%43+&$.$%D7#)

="14"+*.9 &#%*"*&-9 LQ%-)A(.$E RV:V:V:F:F>

])%#(.%43+&$.%MpN%+./")*%-&%'&-.#+;$"#$%#(.%)(*.+4+2*&*)"(I9 ("#$%4"#'"($%,)+.%7#.%=.**.%)(*.+4+2*&:

*)"(,*&%,3*%K-&%43+&$. R .--.%("#$%1"(*+.%="11.(*%-.%1"(,.%4"#++&)*%V*+.%$)%MpN%2*&)*%'+&).>

=->4%&%.4 3CD]&*)$8&)$&@)-)*2E2 !"# $ 3+'/1;# $ ('+(+,%&%+""#-2φ#,& $ ,*&%,3*%,*H;# $ ,% $ #& $ ,#1;#/#"& $ ,% $ #-2

#,&$>'*%#$,+1,$*1$/+%",$1"#$%"&#'(')&*&%+"$=#$,#,$4+",&%&1*"&,$,%/(;#,@

])%#(.%43+&$.φ+./")*%-&%'&-.#+;$"#$%#(.%)(*.+4+2*&*)"(I9 ("#$%4"#'"($%,)+.%7#.%=.**.%)(*.+4+2*&*)"(

("#$%1"(*+.%="11.(*%="($*+#)+.%#(/+=L;2,.%=.**.%43+&$. R #(%1",G-.%4"#+φ.$*%#(.%$*+#=*#+.

D("+1&-.1.(*%1&*321&*)7#.E%,"(*φ9 $"#$%#(.%=.+*&)(.%)(*.+4+2*&*)"(%,.%$.$%="($*)*#&(*$%$)14-.$9 .$*%#(.%,.$=+)4*)"(%="++.=*.> P&&7)+'%# $ =#, $ /+=L;#,.$*%=.**.%@+&(=3.%,.%-&%$21&(*)7#.%8"+1.--.%7#) 2*#,).%-.$%)(*.+4+2*&*)"($%,.$%$5$*G1.$%8"+1.-$%4&+%,.$%$*+#=*#+.$%1&*321&*)7#.$9 $"#'.(*%="($*+#)*.$

;%-<&),.%,.%-&%*32"+).%,.$%.($.1@-.$>

!"#$%4"#'"($%1&)(*.(&(*%,"((.+%#(.%,2B()*)"(%+)A"#+.#$.%,.%-&%+.-&*)"(%,.%="($27#.(=.%-"A)7#.>

=->4%&%.4 3*DK"($27#.(=.%-"A)7#.E2 !"# $ 3+'/1;# $ ('+(+,%&%+""#-2ψ#,& $ 1"# $ 4+",)01#"4# $ ;+5%012

= <1"# $ 3+'/1;# $ ('+(+,%&%+""#-2φE)4'%K B 8φ |^ ψ9I $ ,% $ #& $ ,#1;#/#"& $ ,% $ &+1&# $ %"&#'(')&*&%+" $ 01% $ ,*&%,3*%Kφ ,*&%,3*%& $ )5*;#/#"Kψ@

])%&#=#(.%)(*.+4+2*&*)"(%7#)%&$$)A(.;;φ(<&$$)A(.<;ψ9 &-"+$%)-%(<5%&%7#.%,.$%MV N%,&($%-&%*&@-.%,.

'2+)*2%4"#+!φ→ψ"_%)-%$<&A)*%,<#(.%)14-)=&*)"(%8"+1.--.>

H#)$7#<#(.%)(*.+4+2*&*)"(%="++.$4"(,%;%#(.%4"$$)@)-)*2%-"A)7#.%.*%+2=)4+"7#.1.(*9 ("#$%4"#'"($%,"(:

(.+%#(.%,2B()*)"(%,.%=.%7#.%$"(*%#(.%*&#*"-"A).%.*%#(.%="(*+&,)=*)"(%.(%*.+1.$%,<%M )(*.+4+2*&*)"( N R

=->4%&%.4 3:D`&#*"-"A).E2 !"# $ 3+'/1;# $ ('+(+,%&%+""#-2φ#,& $ 1"# $ &*1&+;+5%# $ ,% $ #& $ ,#1;#/#"& $ ,% $ #-# $ #,K M'*%#$,+1,$&+1&#,$;#,$%"&#'(')&*&%+",@φ#,& $ 1"# $ 4+"&'*=%4&%+" $ ,% $ #& $ ,#1;#/#"& $ ,% $ #-# $ "<#,& $ >'*%# $ ,+1, $ *141"2

%"&#'(')&*&%+"$E#-#$#,&$=+"4$3*1,,#$,+1,$&+1&#,$;#,$%"&#'(')&*&%+",I@

*23 +#)0-,#4&%56()/()7#)7.8%56()$'.$.0%&%.44(77( AD

!"#$%#*)-)$"($%-.%$)A(.%M|^ N%,.%-&%="($27#.(=.%-"A)7#.%4"#+%,)+.%7#<#(.%43+&$.%.$*%#(.%*&#*"-"A). R M|^φN '.#*%,)+.%7#.φ.$*%#(.%="($27#.(=.%-"A)7#.%,.%(<)14"+*.%7#.--.%43+&$.%"#9 ,.%1&()G+.%27#)'&-.(*.9 7#.φ.$*%#(.%*&#*"-"A).>

Z*)-)$&(*%M∃. . .(· · ·. . .· · ·)N%4"#+%,)+.%M )-%5%&%#(. . . 7#)· · · N%.*%M∀. . .(· · ·. . .· · ·)N%4"#+%,)+.%M *"#$%-.$

. . . $"(*· · · N9 ("#$%4"#'"($%2=+)+.%-.$%*+")$%,.+()G+.$%,2B()*)"($%="11.%$#)* R φ.$*%$&*)$8&)$&@-. :⇐⇒ ∃I(I(φ) =;) DOE

φ.$*%#(.%*&#*"-"A). :⇐⇒ ∀I(I(φ) =;) DQE

φ.$*%#(.%="(*+&,)=*)"( :⇐⇒ ∀I(I(φ) =<) DLE

φ.$*%#(.%="($27#.(=.%-"A)7#.%,.ψ :⇐⇒ ∀I(I(φ) =;⇒I(ψ) =;) D0E

C).(%7#.%*"#*.%*&#*"-"A).%D&)($)%7#.%*"#*.%8"+1#-.%,.%("*+.%-&(A&A.E%$")*%="14"$2.%,<#(%("1@+.%B() ,.%43+&$.$%$)14-.$9 )-%5%&%("(%$.#-.1.(*%#(.%)(B()*2%,.%8"+1#-.$%@).(%8"+12.$9 1&)$%2A&-.1.(*%#(.

)(B()*2%,.%*&#*"-"A).$>^QH#)$7#<.--.$%$"(*%,.%A+&(,.%#*)-)*2%4"#+%8&=)-)*.+%-.$%4+.#'.$9 )-%="(').(*%*"#*

,.%1V1.%,<.(%1.(*)"((.+%7#.-7#.$:#(.$%.(%4&+*)=#-).+ R

E3 |^ !(φ↔ψ)↔((φ→ψ)∧(ψ→φ))" &(&-5$.%,.%M↔N

E? |^ !(φ→ψ)↔(¬φ∨ψ)" &(&-5$.%,.%M→N

E@ |^ !(φ→ψ)↔ ¬(φ∧ ¬ψ)" &(&-5$.%,.%M→N

EC |^ !¬(φ∧ψ)↔(¬φ∨ ¬ψ)" ,.%a"+A&(

E* |^ !¬(φ∨ψ)↔(¬φ∧ ¬ψ)" ,.%a"+A&(

E: |^ !(φ∧(ψ∨χ))↔((φ∧ψ)∨(φ∧χ))" ,)$*+)@#*)')*2

EF |^ !(φ∨(ψ∧χ))↔((φ∨ψ)∧(φ∨χ))" ,)$*+)@#*)')*2

EA |^ !(φ→ψ)↔(¬ψ→ ¬φ)" ="('.+$)"(

ED |^ !((φ→ψ)∧(φ→ ¬ψ))↔ ¬φ" +2,#=*)"(%;%-<&@$#+,.

E3G |^ !(φ→ ¬φ)↔ ¬φ" +2,#=*)"(%;%-<&@$#+,.

E33 |^ !(¬φ→φ)↔φ" T="($27#.(=.%1)+&=#-.#$.<

E3? |^ !ψ→(φ→ψ)" '.+#1%$.7#)*#+%&,%7#",-)@.*

E3@ |^ !¬φ→(φ→ψ)" .6%8&-$"%$.7#)*#+%7#",-)@.*

E3C |^ !((φ→ψ)∧φ)→ψ" 1",#$%4"(.(,"%4"(.($

E3* |^ !((φ→ψ)∧ ¬ψ)→ ¬φ" 1",#$%*"--.(,"%*"--.($

E3: |^ !(¬(φ∧ψ)∧φ)→ ¬ψ" 1",#$%4"(.(,"%*"--.($

E3F |^ !((φ∨ψ)∧ ¬φ)→ψ" 1",#$%*"--.(,"%4"(.($

E3A |^ !((φ→ψ)∧(ψ→χ))→(φ→χ)" *+&($)*)')*2%,.%-<)14-)=&*)"(

E3D |^ !φ→φ" T),.(*)*2<

E?G |^ !φ∨ ¬φ" *).+$%.6=-#

E?3 |^ !¬(φ∧ ¬φ)" ("(:="(*+&,)=*)"(

b#.-7#.$:#(.$%,.%=.$%*&#*"-"A).$%"(*%#(.%*+G$%-"(A#.%3)$*")+.>^L

c&($%-.%=&$%"d%#(.%27#)'&-.(=.%1&*2+).--.%.$*%*&#*"-"A)7#.9 "(%4&+-.%,<%M 27#)'&-.(=.%-"A)7#. N> c.#6 8"+1#-.$%7#)%$"(*%-"A)7#.1.(*%27#)'&-.(*.$%4.#'.(*%V*+.%$#@$*)*#2.$%-<#(.%;%-<&#*+.%,&($%(<)14"+*.

Q> H"#+%="14+.(,+.%=.-&9 )-%$#e*%,.%+.1&+7#.+%7#.!(φ∨ ¬φ)∨ψ".$*%#(.%*&#*"-"A).%4"#+%(<)14"+*.%7#.--.%8"+1#-.ψ>

L> !"*&11.(*%-&%+2,#=*)"(%;%-<&@$#+,. R M ])%*#%$&)$%7#.%*#%.$%1"+*9 &-"+$%*#%.$%1"+*%D=&+%"(%(.%4.#*%$&'")+%#(.%=3"$.%8&#$$.E f

$)%*#%$&)$%7#.%*#%.$%1"+*9 &-"+$%*#%(<.$%4&$%1"+*%D=&+%#(%1"+*%(.%$&)*%+).(E f ,"(=9 *#%(.%$&)$%4&$%7#.%*#%.$%1"+*> N%D#(%$*"g=).(9 +&44"+*2%4&+%F+)AG(. f ,<&4+G$C-&(=32DOhhiR IJ_IOEE> P&%T="($27#.(=.%1)+&=#-.#$.<%DM ="($.7#.(*)&%1)+&@)-)$ NE%$.%*+"#'.%,2U;

=3.j%X+)$*"*. R M ]")*%("#$%,.'+)"($%43)-"$"43.+%$")*%("#$%(.%-.%,.'+)"($%4&$> ])%("#$%-.%,.'+)"($9 ("#$%-.%,.'+)"($> ])%("#$%(.%-.

,.'+)"($%4&$9 ("#$%-.%,.'+)"($%k&B(%,.%U#$*)B.+%=.**.%"4)()"(l> c"(=%,&($%*"#$%-.$%=&$9 ("#$%,.'+)"($%43)-"$"43.+>N%DN'+&')(&%012E D=)*2%,<&4+G$m(.&-.%.*%m(.&-. OhiQR hIE9 =8> &#$$)m(.&-.DOhnIE%.*C-&(=32DOhhiR IOE>

DG *2 +#),-&"./()/(0)#'1'(0

7#.--.%8"+1#-.%$&($%&o.=*.+%$&%*&@-.%,.%'2+)*2> !"#$%="($*&*"($%&)($)%7#.%-&%,2B()*)"(%,.%-<27#)'&-.(=.

1&*2+).--.%.(%*.+1.%,<)14-)=&*)"(%1&*2+).--.%.*%-&%,2B()*)"(%,.%-<)14-)=&*)"(%1&*2+).--.%.(%*.+1.%,.

(2A&*)"(%.*%,)$U"(=*)"(9 "#%,.%(2A&*)"(%.*%="(U"(=*)"(9 $"(*4+''#4&#,R -.$%*&#*"-"A).$E39E?.*E@

("#$%&$$#+.(*%7#.%("#$%4"#'"($%#()'.+$.--.1.(*%$#@$*)*#.+%-.=#D"%#"=1O&#=#D"%#",Dp &((#-&(*q &)($) ("*+.%,2B()*)"(E> c.%1V1.9EC.*E*("#$%&$$#+.(*%,.%-&%="++.=*)"(%,.$%-")$%,.%a"+A&(9 &)($)%7#.E:

.*EF,.%-&%="++.=*)"(%,.$%-")$%,.%,)$*+)@#*)')*2>⁰

P.$%)14-)=&*)"($%1&*2+).--.$%*&#*"-"A)7#.$%$"(*%,.$%)14-)=&*)"($%8"+1.--.$9 =<.$*:;:,)+.%,.$%+.-&*)"($%,.

="($27#.(=.%-"A)7#.> \--.$%("#$%A&+&(*)$$.(*%-&%="++.=*)"(%,.$%+GA-.$%,<)(82+.(=. R -.%8&)*%7#.!((φ→ ψ)∧φ)→ψ"$")*%#(.%*&#*"-"A).%DE3CE9 4&+%.6.14-.9 ("#$%1"(*+.%7#.%-&%+GA-./+=1,$(+"#",DHKE9 ; 4&+*)+%,.%'2+)*2$9 (.%4+",#)*%7#.%,.$%'2+)*2$%_%7#.%-.%=&$%7#.%-.$%4+21)$$.$%,.%=.%$=321&%,<)(82+.(=.

$").(*%'+&).$%.*%-&%="(=-#$)"(%8&#$$.%(.%4.#*%4&$%&++)'.+%.*9 4&+%="($27#.(*9 7#.%-.%$=321&%,<)(82+.(=.%.$*

'&-),.> c.%1V1.9 -.$%&#*+.$%)14-)=&*)"($%8"+1.--.$%("#$%&$$#+.(*%,.%-&%="++.=*)"(%,.$%+GA-.$%,<)(82+.(=.

,2+)'2.$%DM ,2+)'2.$ N%4&+=.%7#<.--.$%(<2*&).(*%4&$%1.(*)"((2.$%,&($%("*+.%,2B()*)"(%)()*)&-.%,#%=&-=#-E>

K<.$*%A+r=.%;%DEAE9 4&+%.6.14-.9 7#.%("#$%4"#'"($%4&$$.+%,.!φ → ψ";!¬ψ → ¬φ"9 =.%7#.%("#$

4"#'"($%&,"4*.+%="11.%-&%+GA-.%,<)(82+.(=.%,2+)'2.%&44.-2.%M ="('.+$)"( N%D>KE Rⁿ

DnE !φ→ψ"

!¬ψ→ ¬φ" KH

c.%*.--.$%+GA-.$%,<)(82+.(=.%,2+)'2.$%8&=)-)*.(*%-.$%4+.#'.$%,&($%-.%=&-=#-%4&+=.%7#<.--.$%24&+A(.(*%-&

42()@-.%*r=3.%7#)%="($)$*.%;%=3.+=3.+%-.$%$#@$*)*#*)"($%&,27#&*.$%,&($%-.$%&6)"1.$>

C).(%7#.9 4&+%.6.14-.9 -&%*&#*"-"A).E3C.*%-&%+GA-.HKD.*EA.*>KE%$").(*%)(*)1.1.(*%-)2.$%D,&($%-&

1.$#+.%"d%-&%4+.1)G+.%("#$%&$$#+.%,.%-&%="++.=*)"(%,.%-&%,.#6)G1.E9 )-%8&#*%*"#*%,.%1V1.%-.$%,)$*)(A#.+>

P.$%*&#*"-"A).$%$"(*%,.$%43+&$.$%,#%-&(A&A.:"@U.*%7#)%D7#")7#.%,2(#2.$%,.%="(*.(#%,<&4+G$%=.+*&)($

43)-"$"43.$E%4&+-.(*%,.$%"@U.*$%D,&($%-.%$.($%,&($%-.7#.-%M ]")*%]"=+&*.%.$*%1"+*9 $")*%)-%(.%-<.$*%4&$ N%4&+-.

,.%]"=+&*.E> P.$%+GA-.$9 .(%+.'&(=3.9 $"(*%,.$%2("(=2$%12*&-)(A#)$*)7#.$9 4&+-&(*%,.%*"#*.$%-.$%43+&$.$

&5&(*%#(.%=.+*&)(.%8"+1.%$5(*&6)7#. RHK("#$%,)*9 4&+%.6.14-.9 7#.%,.%,.#6%8"+1#-.$!φ→ψ".*φ ("#$%4"#'"($%)(82+.+%#(.%*+")$)G1.9 ;%$&'")+ψ>

?-%&%2*2%,)*%7#.%-.$%)14-)=&*)"($%8"+1.--.$%("#$%4.+1.**.(*%,.%8&=)-)*.+%-.$%4+.#'.$%;%-<&),.%,.%+GA-.$

,<)(82+.(=.%,2+)'2.$> a&)$%.$*:=.%'+&)1.(*%-.%=&$ s b#<.$*:=.%7#)%("#$%&$$#+.%7#.%("*+.%12*3",.%4#+.:

1.(*%$5(*&6)7#.%+.$4.=*.%-.$%+.-&*)"($%$21&(*)7#.$ s XB(%,.%+24"(,+.%;%=.$%7#.$*)"($9 )-%8&#*%*+&)*.+

,.%-&%+.-&*)"(%.(*+.%M+N%.*%M|^ N%4-#$%.(%,2*&)->

*2? +(0)'(7#&%.40)(4&'()H.40-56(4H()7.8%56()(&)/-/6H&%1%7%&-

!"#$%&'"($%'#%7#.%-&%-"A)7#.%*+&)*.%,.%-&%+.-&*)"(%,.%="($27#.(=.%.*%=3.+=3.%;%,2*.+1)(.+%7#.--.$

43+&$.$%$<.($#)'.(*%,.%7#.--.$%&#*+.$> !"#$%&'"($%,2'.-"442%,.$%("*)"($%4+2=)$.$%,.%="($27#.(=.%-":

A)7#.%D|^E%.*%,.%,2,#=*)@)-)*2%$5(*&6)7#.%D+E> a&)(*.(&(*9 ("#$%,.'"($%("#$%,.1&(,.+%7#.--.$%$"(*%-.$

+.-&*)"($%.(*+.%=.$%,.#6%T*54.$<%,.%T="($27#.(=.<> b#.-%.$*%-.%+&44"+*%.(*+.%Mφ|^ψN%DMψ.$*%#(.%="($2:

7#.(=.%-"A)7#.%,.φNE%.*%Mφ+ψN%DMψ4.#*%V*+.%,2+)'2%,.φ,&($%#(%=.+*&)(%=&-=#- NE s

H"#+%("*+.%=&-=#-C>9 ,.#6%*32"+G1.$%)14"+*&(*$%.(%12*&1&*321&*)7#.$%D,.$%4+.#'.$,1'-.%=&-=#-E ("#$%&$$#+.(*%7#.%-.$%,.#6%("*)"($%$"(*%27#)'&-.(*.$> c<#(.%4&+*9C>.$*%="++.=* RC>(.%4+"#'.%7#.

0> !"#$%4&+-"($%)=)%,.%M ="++.=*)"( N%,&($%-.%$.($%7#<#(.%43+&$.%"#%+GA-.%,<)(82+.(=.%.$*%M ="++.=*. N%$$)> .--.%.$*%"#%="++.$4"(,

;%#(.%*&#*"-"A).> F(%+.').(,+&%$#+%=.**.%("*)"(%=):,.$$"#$9 =8> 4>OQh>

n> P&%="('.+$)"(%.$*%2A&-.1.(*%,2U;%="((#.%4&+%X+)$*"*.9 =8> X(%4+%))9 0%nI@O> \--.%.$*%@).(%)--#$*+2.%,&($%#(.%=3&($"(%,<.(8&(* R M a"(%=3&4.&#%&%*+")$%="+(.$9 .*%=.%7#)%(<&%4&$%*+")$%="+(.$%(<.$*%4&$%1"(%=3&4.&#> N

*2? +(0)'(7#&%.40)(4&'()H.40-56(4H()7.8%56()(&)/-/6H&%1%7%&- D3

,.$%*&#*"-"A).$ f ,<&#*+.%4&+*9C>.$*%&#$$)%="14-.* RC>4+"#'.%*"#*.$%-.$%*&#*"-"A).$ R

&"-.'I,()/()H.''(H&%.4 J C>.$*%="++.=* R *"#*%*32"+G1.%.$*%#(.%*&#*"-"A).>

&"-.'I,()/()H.,$7-&6/( J C>.$*%="14-.* R *"#*.%*&#*"-"A).%.$*%#(%*32"+G1.>

!"#$%&'"($%,"(=%-&%+.-&*)"(%$#)'&(*.%D4"#+%(<)14"+*.%7#.--.%8"+1#-.%4+"4"$)*)"((.--.φE R C> + φ ⇐⇒ C>|^φ

P&%,)+.=*)"(%M

= ⇒

=<.$*:;:,)+.%(.%4+"#'.%4&$%4-#$%7#.%-.$%'2+)*2$%-"A)7#.$> P&%,)+.=*)"(%)('.+$.9 M

⇐ =

*32"+G1.%,.%="14-2*#,. RC>4+"#'.%&$$.j%_%.(%,<&#*+.$%*.+1.$9 )-%(<5%&%4&$%,.%'2+)*2$%-"A)7#.$%7#)%(.

$").(*%4&$%4+"#'&@-.$%,&($C>>

H+)$%.($.1@-.9 -.$%*32"+G1.$%,.%="++.=*)"(%.*%,.%="14-2*#,.%("#$%&$$#+.(*%7#.%("*+.%&6)"1&*)$&*)"(

,.%-&%-"A)7#.%4+"4"$)*)"((.--.%4&+%-.%=&-=#-C>.$**=)01*&2R "(%&%+2#$$)> ;%4+"#'.+%*"#*.$%-.$%43+&$.$%7#.

-<"(%'"#-&)*9 .*%4&$%4-#$> ?-$%("#$%1"(*+.(*%7#.%-.%=&-=#-%$5(*&6)7#.%.$*%.(%3&+1"().%&'.=%$&%$21&(*)7#.>

E"-.'I,( 3FDK"++.=*)"(%,.C>E2 J+%#"KOc1"# $ &7)+'%# $ #Kφ1"# $ 3+'/1;# $ ('+(+,%&%+""#-2 B C>∪Oc+φ ^⇒ Oc|^φ

DiE

Htuvwu H&+%)(,#=*)"(%$#+%*"#$%-.$%("1@+.$%(&*#+.-$n9ⁱ("#$%4+"#'"($%7#. R D9BE C>

∪

+

= ⇒

| =

D)E ])n= 09 &-"+$%$")*φ.$*%#(%&6)"1.%,.C>9 $")*%#(%2-21.(*%,.Oc>^IH&+%-.$%*&@-.$%,.%'2+)*29 ("#$

4+"#'"($%7#.%*"#$%-.$%&6)"1.$93;93:$"(*%,.$%*&#*"-"A).$> c&($%-.%=&$%"dφ.$*%#(%2-21.(*%,.

OcDφ∈OcE9 )-%.$*%2'),.(*%7#.Oc|^φ>

D))E x54"*3G$.%,<)(,#=*)"( R ]#44"$"($%7#.C>∪Oc+ⁿφ.*%7#. D9BE .$*%'+&).%4"#+%*"#$%-.$%("1@+.$

(&*#+.-$n^" < n> ])φ.$*%#(%&6)"1.%"#%#(%*32"+G1.9 )-%.$*%'+&)%7#.Oc|^φD4&+%D)EE> P&%$.#-.%&#*+.

4"$$)@)-)*2%.$*%7#.%-<"(%&)*%"@*.(#φ4&+%-<&44-)=&*)"(%,.HK;%,.#6%&#*+.$%*32"+G1.$> c&($%=.%=&$9 )-%5%&%#(.%8"+1#-.ψ.*%,.$%("1@+.$%(&*#+.-$n^".*n^""D-.$%,.#6< nE%*.-$%7#. R

C>∪Oc+^n! ψ→φ DOE

C>∪Oc+^n!!ψ DQE

C>∪Oc+ⁿφ DLE

H&+%-<354"*3G$.%,<)(,#=*)"(9 ("#$%$&'"($%7#.%-<&e+1&*)"( D9BE .$*%'+&).%4"#+%-.$%-)A(.$ DOE .* DQE>

!"#$%&'"($ R Oc|^ψ→φ Oc|^ψ

i> Z(.%4+.#'.%4&+%)(,#=*)"(%$#+%-.$%("1@+.$%(&*#+.-$%1"(*+.%7#<#(.%=.+*&)(.%43+&$.%.$*%'+&).%,.%J%DM @&$.%,.%-<)(,#=*)"( NE .*%7#.9 $)%.--.%.$*%'+&).%4"#+nDM 354"*3G$.%,<)(,#=*)"( NE9 &-"+$%.--.%.$*%&#$$)%'+&).%4"#+n+ 1D=.**.%,.#6)G1.%2*&4.%$<&44.--.

-.%M 4&$%,.%-<)(,#=*)"( NE> \(%1"(*+&(*%&)($)%7#.%-&%43+&$.%.$*%'+&).%,.%J%.*%7#<.--.%.$*%32+)*2.%4&+%*"#$%-.$%$#==.$$.#+$%,.%J9 ("#$

,21"(*+"($%7#.%-&%43+&$.%.$*%'+&).%,.%*"#$%-.$%("1@+.$%D=8> 4>WJE>

I> K.=)%$<.($#)*%,.%-&%("*)"(%1V1.%,.%4+.#'.%,&($C>>

D? *2 +#),-&"./()/(0)#'1'(0

H#)$7#.%("#$%$&'"($%7#.HK.$*%#(.%+GA-.%,<)(82+.(=.%'&-),.9 ("#$%4"#'"($%)(82+.+%;%4&+*)+%,. DLE R Oc|^φ

! H"#+%#(.%4+.#'.%,.%="++.=*)"(9 )-%$#e*%,.%4+"#'.+%7#.%-.$%&6)"1.$%$"(*%,.$%*&#*"-"A).$%.*%7#.%-.$

+GA-.$%,<)(82+.(=.%$"(*%'&-),.$> H&+%-&%,2B()*)"(%,.%-&%'&-),)*29 )-%$<.($#)*%7#.%*"#$%-.$%*32"+G1.$%$"(*

,.$%*&#*"-"A).$>

P&%="14-2*#,.%,<#(%=&-=#-%.$*9 .(%A2(2+&-9 @.&#="#4%4-#$%,)e=)-.%;%4+"#'.+%7#.%$&%="++.=*)"(> !"#$

("#$%-)1)*"($%,"(=%)=)%;%2("(=.+%-.%*32"+G1. R^W

E"-.'I,( 3ADK"14-2*#,.%,.C>E2 J+%#"KOc1"# $ &7)+'%# $ #Kφ1"# $ 3+'/1;# $ ('+(+,%&%+""#-2 B Oc|^φ ^⇒ C>∪Oc+φ

DIE

P.$%*&#*"-"A).$%$"(*%-.$%8"+1#-.$%4+"4"$)*)"((.--.$%-"A)7#.1.(*%'&-),.$%,.%-&%-"A)7#.%4+"4"$)*)"((.--.>

\*&(*%,"((2%7#.%*"#*.%)(*.+4+2*&*)"(%&$$)A(.%$")*;$")*<;%#(.%43+&$.%,"((2.9 #(.%="(*+&,)=*)"(%.$*

#(.%43+&$.%,"(*%-&%(2A&*)"(%.$*%#(.%*&#*"-"A).%D.*%')=.%'.+$&E>

P&%4-#$%A+&(,.%4&+*).%,.%("$%8"+1#-.$%4+"4"$)*)"((.--.$%.*%*"#*.$%-.$%43+&$.$%D*+&)*2.$%="11.E%$)14-.$

(.%$"(*%()%,.$%="(*+&,)=*)"($%()%,.$%*&#*"-"A).$> Z(.%*&#*"-"A).%2*&(*%#(.")4#,,%&? -"A)7#.%.*%#(.

="(*+&,)=*)"(%2*&(*%#(.%/(+,,%H%;%&?-"A)7#.9 )-%$<&A)*%,"(=%,.%43+&$.$4+"&%"5#"&#,9 '+&).$%$"#$%7#.-7#.$

)(*.+4+2*&*)"($%D.*%,&($%7#.-7#.$%1"(,.$%4"$$)@-.$E9 1&)$%8&#$$.$%$"#$%,<&#*+.$>

P.$%*32"+G1.$%,.%="++.=*)"(%.*%,.%="14-2*#,.%("#$%1"(*+.(*%7#.%=.$%("*)"($%$21&(*)7#.$%,.%M *&#*":

-"A). N9 M ="(*+&,)=*)"( N%.*%M $&*)$8&)$&@)-)*2 N%"(*%,.$%="(*+.4&+*).$%4#+.1.(*%$5(*&6)7#.$> c&($%-.%=&-=#- C>9 ("#$%4"#'"($%,)+.%7#<#(.%43+&$.%.$*%4+"#'&@-.%$)%.--.%4.#*%V*+.%,2+)'2.%,.$%&6)"1.$%;%-<&),.%,.%-&

+GA-.%,<)(82+.(=.HK> P.%*32"+G1.%,.%="++.=*)"(%-)1)*.%=.%7#.%("#$%4"#'"($%4+"#'.+%4&+%-.%=&-=#- R .--.

$)A()B.%7#.%$.#-.$%-.$%*&#*"-"A).$%4.#'.(*%V*+.%4+"#'2.$9 7#.%-.%=&-=#-%(.%4+"#'.%4&$%*+"4> P<)('.+$.9

=.4.(,&(*9 .$*%2A&-.1.(*%'+&) R ="11.%("#$%&--"($%'")+%,&($%-&%-./"(ID4>OLiE9 -.%=&-=#-C>4+"#'.

&$$.j R 4"#+%*"#*.%*&#*"-"A).9 )-%("#$%4.+1.*%,.%,2,#)+.%#(.%="(*+&,)=*)"(%;%4&+*)+%,.%-&%(2A&*)"(%,.

=.**.%*&#*"-"A).>

!"#$%4"#'"($%8"+1#-.+%=.$%"@$.+'&*)"($%,.%-&%1&()G+.%$#)'&(*. R ,)$"($%7#.%-&8 4;P&1'# $ =)=14&%>2 9 ,<#(.%8"+1#-.%4+"4"$)*)"((.--.φ.$*%-<.($.1@-.%,.%*"#*.$%-.$%8"+1#-.$%7#)%4.#'.(*%V*+.%,2,#)*.$%,.φ

;%-<&),.%,.$%&6)"1.$%.*%-&%+GA-.%,<)(82+.(=.%,.C>R^h

=->4%&%.4 3DDK-y*#+.%,2,#=*)'.E2 Q* $ 4;P&1'# $ =)=14&%># $ =<1"# $ 3+'/1;# $ ('+(+,%&%+""#-2φ+1 $ =<1" $ #".

,#/H;# $ =# $ 3+'/1;#, $ ('+(+,%&%+""#-#,Σ#,& $ ;<#",#/H;# $ =#, $ 3+'/1;#, $ 01% $ #" $ (#1>#"& $ R&'# $ =)=1%&#, B^gj(Σ) :=

{ψ| ∃φ∈Σ :φ+ψ}@

P&%=-y*#+.%,2,#=*)'.%,<#(.%*32"+).%$.+&%&-"+$%$"(%p 4"*.(*).-%-"A)7#.%)14-)=)*.%q R &44&+*).(*%;%-&%=-y*#+.

,.φ*"#*.%43+&$.%7#.%("#$%4"#'"($%"@*.()+%;%4&+*)+%,.φ;%-<&),.%,<#(.%12*3",.%$5(*&6)7#.>^OJ X -<&),.%,.%=.**.%("#'.--.%("*)"(9 ("#$%4"#'"($%1&)(*.(&(*%,2B()+%#(.%p ="(*+.4&+*).%$5(*&6)7#.%q ;%-&

("*)"(%$21&(*)7#.%,.%="(*+&,)=*)"(> K.**.%("*)"(%.$*%4#+.1.(*%$5(*&6)7#.%4&+=.%7#<.--.%(.%="(=.+(.

7#.%-&%8"+1.%,.$%43+&$.$ R

W> !"#$%,"((.+"($%#(.%4+.#'.%,.%-&%="14-2*#,.%,.C>,&($%-&%-./"(ID=8> 4>OLiE> P&%12*3",.%,.$%&+@+.$%7#.%("#$%)(*+":

,#)+"($%4&+%-&%$#)*.%("#$%8&=)-)*.+&%=.**.%*r=3.>

h> !"#$%&'"($%,2U;%#*)-)$2%=.**.%("*)"(%,&($%-&%(>Q;%-&%4>IO>

OJ> !"#$%+.1&+7#"($%7#.%*"#*.%=-y*#+.%,2,#=*)'.%$.+&%#(%.($.1@-.%)(B()%,.%43+&$.$ Rφ#φ9φ#!φ∨ψ"9φ#!φ∨χ".*=>

*2? +(0)'(7#&%.40)(4&'()H.40-56(4H()7.8%56()(&)/-/6H&%1%7%&- D@

=->4%&%.4 ?GDK"($)$*&(=.E2 !"# $ 3+'/1;# $ ('+(+,%&%+""#-2φ#& $ 1" $ #",#/H;# $ =# $ 3+'/1;#, $ ('+(+,%&%+".

"#-#,Σ,+"&$4+",%,&*"&,$,%$#&$,#1;#/#"&$,%$;#1',$4;P&1'#,$=)=14&%>#,$"#$4+"&%#""#"&$(*,$=#1S$(7'*,#,$=#,$3+'/#, ψ#K!¬ψ"'#,(#4&%>#/#"&@

K"11.%*"#*.%43+&$.%8&)*%4&+*).%,.%$&%=-y*#+.%,2,#=*)'.%.*%4&+=.%7#.9 $)!φ∧ψ"&44&+*).(*%;%#(.%=-y*#+.

,2,#=*)'.9 &-"+$φ.*ψ5%&44&+*).((.(*%2A&-.1.(*9 #(.%="(*+&,)=*)"(%$.+&%)(="($)$*&(*.%,<&4+G$%("*+.

,2B()*)"(> H&+=.%7#.HK(.%("#$%4.+1.*%4&$%,.%,2,#)+.%#(.%="(*+&,)=*)"(%;%4&+*)+%,<#(.%43+&$.%7#) (<.$*%4&$%.--.:1V1.%-"A)7#.1.(*%27#)'&-.(*.%;%#(.%="(*+&,)=*)"(9,#1;#/#"K,.$%="(*+&,)=*)"($%$.+"(*

)(="($)$*&(*.$>

!"#$%4"#'"($%8&=)-.1.(*%2*.(,+.%("*+.%,2B()*)"(%;%,.$%.($.1@-.$%,.%43+&$.$ R -&%=-y*#+.%,2,#=*)'.

,<#(%.($.1@-.%,.%43+&$.$%.$*%-<.($.1@-.%,.%*"#*.$%-.$%43+&$.$%7#)%4.#'.(*%.(%V*+.%,2,#)*.$ f #(%.(:

$.1@-.%,.%43+&$.$%.$*%="($)$*&(*%$)%.*%$.#-.1.(*%$)%$&%=-y*#+.%,2,#=*)'.%(.%="(*).(*%4&$%#(.%43+&$.%.*

$&%(2A&*)"(> P&%=-y*#+.%,2,#=*)'.%,.$%&6)"1.$%,.C>.$*%-<.($.1@-.%,.$%*32"+G1.$> Z(.%="(*+&,)=*)"(9 ("#$%-<&'"($%'#9 ("#$%4.+1.*%,.%,2,#)+.%(<)14"+*.%7#.--.%43+&$. R!(φ∧ ¬φ)→ψ".$*%#(%*32"+G1.

4"#+%(<)14"+*.%7#.--.%8"+1#-.ψ> X#%-).#%,.%,2B()+%#(.%43+&$.%)(="($)$*&(*.%="11.%43+&$.%,"(*%-&

=-y*#+.%,2,#=*)'.%="(*).(*%#(.%43+&$.%.*%$&%(2A&*)"(9 ("#$%&#+)"($%&#$$)%4#%-&%,2B()+%="11.%43+&$.

,"(*%-&%=-y*#+.%,2,#=*)'.%.$*&'%>%*;29 =<.$*:;:,)+.%="(*).(*%*"#*.%43+&$.>^OO

z+r=.%&#6%*32"+G1.$%,.%="++.=*)"(%.*%,.%="14-2*#,.9 -&%("*)"(%4#+.1.(*%$5(*&6)7#.%,.%="($)$*&(=.

="++.$4"(,%;%#(.%("*)"(%$21&(*)7#. R ,)+.%7#<#(.%8"+1#-.%4+"4"$)*)"((.--.%.$*%="($)$*&(*.%D("*)"(

$5(*&6)7#.E%+.').(*%;%,)+.%7#<.--.%(<.$*%4&$%#(.%="(*+&,)=*)"(%D("*)"(%$21&(*)7#.E%.*%,"(=%$&*)$8&)$&@-.

D=8> -&%,28>O0;%-&%4>WWE f ,)+.%7#.%,.#6%8"+1#-.$%$"(*%="($)$*&(*.$%+.').(*%;%,)+.%7#<.--.$%(.%$"(*%4&$

="(*+&)+.$9 =<.$*:;:,)+.%7#<.--.$%4.#'.(*%V*+.%'+&).$%.($.1@-.> P&%("*)"(%$5(*&6)7#.%,.%="($)$*&(=.%="+:

+.$4"(,%,"(=%;%-&%("*)"(%$21&(*)7#.%,.%$&*)$8&)$&@)-)*2 R

E"-.'I,( ?3DX,27#&*)"(E2 !"# $ &7)+'%2Oc#,& $ 4+",%,&*"&# $ ,% $ #& $ ,#1;#/#"& $ ,<%; $ G $ * $ 1"# $ %"&#'(')&*&%+T 01%$'#"=$>'*%#,$&+1&#,$;#,$3+'/1;#,$('+(+,%&%+""#-#,φ∈Oc@ U1&'#/#"&: #-# $ #,& $ %"4+",%,&*"&# $ E4<#,&.6.=%'# $ #-2

#,& $ %"4+",%,&*"&# $ ,% $ #& $ ,#1;#/#"& $ ,% $ *141"# $ %"&#'(')&*&%+" $ "# $ '#"= $ >'*%#, $ &+1&#, $ ;#, $ 3+'/1;#, $ ('+(+,%&%+""#-#, φ∈OcI@

P&%="($)$*&(=.%.$*%#(.%+.-&*)"(%.(*+.%,.$%D.($.1@-.$%,.E%43+&$.$ R "(%,)*%7#<#(.%43+&$.φ.$*%="($)$*&(*.

&'.=%,.#6%&#*+.$%43+&$.$9ψ.* χ9 $)%.*%$.#-.1.(*%$<)-%5%&%#(.%)(*.+4+2*&*)"(%7#)%+.(,%'+&).$%-.$%*+")$

43+&$.$φ9ψ.*χ> P&%="($)$*&(=.%.$*%)(*)1.1.(*%-)2.%;%-&%+.-&*)"(%,.%="($27#.(=.%-"A)7#. R #(.%43+&$.

φ.$*%#(.%="($27#.(=.%-"A)7#.%,<#(.%*32"+).Oc$)%.*%$.#-.1.(*%$)%$&%(2A&*)"(!¬φ".$*%)(="($)$*&(*.

&'.=Oc> c&($%=.%=&$9 *"#*.%)(*.+4+2*&*)"(%7#)%+.(,%'+&).!¬φ"D.*%7#)%,"(=%+.(,%8&#$$.φE9 ,")*%&#$$) +.(,+.%8&#$$.%&#%1")($%#(.%,.$%4+21)$$.$%,&($Oc>

=->4%&%.4 ??DK"($27#.(=.%-"A)7#.%,<#(.%*32"+).E2 !"# $ 3+'/1;# $ ('+(+,%&%+""#-2φ#,& $ 1"# $ 4+",).

01#"4# $ E;+5%01#I $ =<1"# $ &7)+'%2OcE)4'%K B 8Oc|^φ9I$,%$#&$,#1;#/#"&$,%$&+1&#$%"&#'(')&*&%+"$01%$'#"=$>'*%#,

&+1&#,$;#,$3+'/1;#,$('+(+,%&%+""#-#,$=*",Oc'#"=$>'*%φ@^OQ

OO> P.$%,)&-2*3.)$*.$9 7#)%&==.4*.(*%,.$%="(*+&,)=*)"($%'+&).$9 +.14-&=.(*%-.%4+)(=)4.%,.%("(:="(*+&,)=*)"(%4&+%#(%4+)(=)4.%,.

("(:*+)')&-)*2 R &#%-).#%,.%,)+.%7#<#(.%43+&$.%.$*%4+"#'&@-.%$)%.*%$.#-.1.(*%$)%-&%=-y*#+.%,2,#=*)'.%,.%$&%(2A&*)"(%.$*%)(="($)$*&(*.9 )-$%,)$.(*%7#<.--.%-<.$*%$)%.*%$.#-.1.(*%$)%-&%=-y*#+.%,2,#=*)'.%,.%$&%(2A&*)"(%.$*%("(:*+)')&-.%_%=<.$*:;:,)+.%-.$%,.#6%="(,)*)"($%(.

="g(=),.(*%4&$%,&($%#(.%-"A)7#.%7#)%(<&==.4*.%4&$%-.%4+)(=)4.%,.%-<#S(;+,%+" $ =)=14&%>2D"# R#S$3*;,+$01+=;%H#KE%7#)%,)*%7#.%(<)14"+*.

7#.--.%8"+1#-.%$<.($#)*%,<#(.%="(*+&,)=*)"(>

OQ> H"#+%-<2=+)+.%8"+1.--.1.(* R

Oc|^φ :⇐⇒ ∀I∀ψ∈Oc (I(ψ) =; → I(φ) =;) DWE

DC *2 +#),-&"./()/(0)#'1'(0

])φ.$*%#(.%="($27#.(=.%,.%-&%*32"+).%'),.%DOc = ∅E%.*%$<.($#)*%,"(=%$.#-.1.(*%,.$%&6)"1.$%,<#(

=.+*&)(%=&-=#-9 ("#$%2=+)'"($%M|^φN%&#%-).#%,.%M∅ |^φN> M|^φN%'.#*%,"(=%,)+.%7#.%*"#*.%)(*.+4+2*&*)"(

+.(,%'+&).φ9 =<.$*:;:,)+.%7#.φ.$*%'&-),.%"#%.$*%#(.%*&#*"-"A).>

\*&(*%,"((2%7#.%-&%("*)"(%,.%="($)$*&(=.%$<&44-)7#.%;%#(.%43+&$.%$)%.*%$.#-.1.(*%$)%-&%(2A&*)"(%,.%=.**.

43+&$.%(<.$*%4&$%#(.%*&#*"-"A).9 ("#$%&'"($%-.$%+.-&*)"($%$#)'&(*.$ R

H.''(H&%.4 *"#*%*32"+G1.%.$*%#(.%*&#*"-"A). *"#*.%43+&$.%$&*)$8&)$&@-.%.$*%="($)$*&(*.

H.,$7-&6/( *"#*.%*&#*"-"A).%.$*%#(%*32"+G1. *"#*.%43+&$.%="($)$*&(*.%.$*%$&*)$8&)$&@-.

?-%$<&A)*%)=)%,<#(.%&44-)=&*)"(%12*&-"A)7#.%,.%-&%+GA-.%,<)(82+.(=.%,.%="('.+$)"( R $)%*"#*%*32"+G1.%.$*

#(.%*&#*"-"A).9 *"#*%=.%7#)%(<.$*%4&$%'+&)%$"#$%*"#*.$%-.$%)(*.+4+2*&*)"($%D(<.$*%4&$%#(.%*&#*"-"A).9 ,"(=

&%#(.%(2A&*)"(%$&*)$8&)$&@-.E%(.%4.#*%4&$%V*+.%4+"#'2%D(<.$*%4&$%#(%*32"+G1.9 ,"(=%&%#(.%(2A&*)"(

="($)$*&(*.E f $)%*"#*.%*&#*"-"A).%.$*%#(%*32"+G1.9 *"#*%=.%7#)%(.%4.#*%4&$%V*+.%4+"#'2%D&%#(.%(2A&*)"(

="($)$*&(*.E%(<.$*%'+&)%$"#$%&#=#(.%)(*.+4+2*&*)"(%D&%#(.%(2A&*)"(%$&*)$8&)$&@-.E>

P<3&+1"().%.(*+.%-&%$5(*&6.%.*%-&%$21&(*)7#.%,.%-&%-"A)7#.%4+"4"$)*)"((.--.%("#$%,"((.%#(.%="++.$4"(:

,&(=.%4&+8&)*.%.(*+.%-.$%("*)"($%$21&(*)7#.$%.*%$5(*&6)7#.$ R

φ$<.($#)*%,.Oc ^⇒ φ.$*%#(.%="($27#.(=.%$5(*&6)7#.%,.Oc φ.$*%$&*)$8&)$&@-. ^⇒ φ.$*%="($)$*&(*

φ.$*%#(.%="(*+&,)=*)"( ^⇒ φ.$*%)(="($)$*&(*

φ.$*%#(.%*&#*"-"A). ^⇒ !¬φ".$*%)(="($)$*&(*

!φ,"(=ψ".$*%#(%&+A#1.(*%'&-),. ^⇒ !φ∧ ¬ψ".$*%)(="($)$*&(*

*2@ +#)4#&6'()/()7#)7.8%56(

!"#$%&'"($%)(*+",#)*%-&%(2A&*)"(%M¬N%4&+%-&%*&@-.%,.%'2+)*2%$#)'&(*. R p ¬p

V F

F V

K.**.%*&@-.%,.%'2+)*2%1"(*+.%7#.%-&%'&-.#+%,.%'2+)*2%,<#(.%43+&$.%8"+12.%,<#(.%(2A&*)"(%D="11.

="((.=*.#+%4+)(=)4&-E%.*%,<#(.%&#*+.%43+&$.%4-#$%$)14-.%.$*%-<)('.+$.%,.%-&%'&-.#+%,.%'2+)*2%,.%=.**.

&#*+.%43+&$.> ].-"(%-.%4+)(=)4.%,.%'2+)8"(=*)"((&-)*2%D=8> 4>LIE9 =.**.%*&@-.%,.%'2+)*2%,2*.+1)(.%="14-G:

*.1.(*%-&%$)A()B=&*)"(%,.%M¬N> ?-%5%&9 =.4.(,&(*9 #(.%&#*+.%1&()G+.%,.%$42=)B.+%=.**.%$)A()B=&*)"(9 7#.

=.#6%7#)%(.%4.($.(*%4&$%7#.%-&%-"A)7#.%.$*%-<2*#,.%,.%7#.-7#.$%'2+)*2$%D-.$%'2+)*2$%-"A)7#.$E9 1&)$%4-#*y*

7#<.--.%.$*%-<2*#,.%,.$%)(82+.(=.$%'&-),.$9 4+28G+.(*> ].-"(%.#69 #(.%-"A)7#.%(<.$*%4&$%=&+&=*2+)$2.%4&+%$.$

*&#*"-"A).$9 1&)$%4&+%-&%+.-&*)"(%,.%="($27#.(=.%7#)%+.(,%'&-),.$%=.+*&)(.$%)(82+.(=.$> P.$%="((.=*.#+$

4+"4"$)*)"((.-$%(.%$"(*%4&$%=&+&=*2+)$2$%4&+%-.#+$%*&@-.$%,.%'2+)*29 1&)$%4&+%-.$%+GA-.$%,<)(*+",#=*)"(%.*

,<2-)1)(&*)"(%7#)%A"#'.+(.(*%-.#+%="14"+*.1.(*%)(82+.(*).->

H&+1)%-.$%43)-"$"43.$%7#)%$.%$"(*%)(*.++"A2$%$#+%-&%(&*#+.%,.%-&%-"A)7#.9 "(%4.#*%.(%.o.*%,)$*)(A#.+

,.#6%="#+&(*$ R $.-"(%#(%4+.1).+%="#+&(*9 -&%-"A)7#.%.$$&).%,.%*+"#'.+9 ,<.64-)7#.+%.*%,.%$5$*21&*)$.+

-.$%*&#*"-"A).$ R^OL$.-"(%#(%$.="(,%="#+&(*9 .--.%.$$&).%,.%8"+1&-)$.+%-.$%)(82+.(=.$%'&-),.$>^O0P.%4+.1).+

OL> X)($)%C-&(=329 ,&($%$"(%)(*+",#=*)"(%;%-&%-"A)7#.9 ,)*%7#.%-&%-"A)7#.%D4+"4"$)*)"((.--.E%.$*%-&%+.=3.+=3.%,.$%*&#*"-"A).$

DC-&(=32 OhhiR inE> P.$%BA#+.$%-.$%4-#$%=2-G@+.$%,.%=.%A+"#4.%$"(*%b#)(.9 `&+${)%.*%|)**A.($*.)(>

O0> H"#+%=.%=&14%-;9 ("#$%("#$%,.'"($%$#+*"#*%,.%("11.+%-.%-"A)=).(%&--.1&(,%z.+3&+,%z.(*j.(>

*2C +#)4.',#&%;%&-)/()7#)7.8%56( D*

=&14%1&)(*).(*%$"#'.(*9 &'.=%|)**A.($*.)(9 7#.%-.$%'2+)*2$%-"A)7#.$%$"(*%,2(#2.$%,.%="(*.(#%D8 ,%"".

;+, 9E9 1&)$%7#<.--.$%(.%$"(*%4&$%,2(#2.$%,.%$.($%D.--.$%(.%$"(*%4&$8 1",%""%5 9E R 7#")7#<.--.$%(.%("#$

)(8"+1.(*%4&$%$#+%-.%1"(,.%D=&+%.--.$%(<.6=-#.(*%&#=#(.%4"$$)@)-)*2E9 .--.$%8"(*9 .(%*&(*%7#.%=&$%-)1)*.$9 4&+*).%,#%-&(A&A.%$.($2%_%M \--.$%8"(*%4&+*).%,#%8"+1&-)$1.> N%D|)**A.($*.)( OhQOR }0>0iOOE>

P&%4+.1)G+.%&44+"=3.%="($)$*.%,&($%-<2-&@"+&*)"(%,<#(%=&-=#-%7#)%&6)"1&*)$.%#(%=.+*&)(%("1@+.%,.

43+&$.$9 &44.-2.$%M *32"+G1.$ N> P&%$.="(,.%&44+"=3.%8"+1&-)$.%=.+*&)(.$%)(82+.(=.$9 ,.$%*+&($)*)"($

,.%7#.-7#.$%43+&$.$%;%,<&#*+.$> P&%4+.1)G+.%&44+"=3.%+2#$$)*%$)%.*%$.#-.1.(*%$)%-.$%*32"+G1.$%D-.$

43+&$.$%&6)"1&*)$2.$E%$"(*%,.$%*&#*"-"A).$%D.*%)-%(.%+.$*.%&#=#(.%*&#*"-"A).%7#)%(.%$")*%4&$%&6)"1&*)$2.

4&+%-.%=&-=#-E9 =<.$*:;:,)+.%$)%-.%=&-=#-%.$*%="14-.*%.*%="++.=* f -&%$.="(,.%&44+"=3.%+2#$$)*%$)%.*%$.#-.1.(*

$)%-.$%)(82+.(=.$%8"+1&-)$2.$%$"(*%'&-),.$%.*%$#e$.(*%4"#+%=&4*#+.+%*"#*%-.%+&)$"((.1.(*%T-"A)7#.<%.(

7#.$*)"(>

P.$%,.#6%4+"U.*$%,.%+.=3.+=3.%4.#'.(*%V*+.%.(*+.4+)$%,.%1&()G+.%$21&(*)7#.%"#%,.%1&()G+.%$5(*&6)7#.>

])%-<"(%$<)(*2+.$$.%4+)(=)4&-.1.(*%&#6%'2+)*2$%-"A)7#.$9 "(%=3.+=3.+&%;%-.$%&6)"1&*)$.+%;%-<&),.%,<#(%=&-=#- .*%;%4+"#'.+%7#.%=.%=&-=#-%.$*%="++.=*%.*%="14-.*%D.(%@+.8 R &,27#&*E%4&+%+&44"+*%;%-<.($.1@-.%,.$

43+&$.$%7#.%-<"(%'"#-&)*%&6)"1&*)$.+>^On c&($%-&%$.="(,.%4.+$4.=*)'.9 7#)%$<)(*2+.$$.%;%-&%'&-),)*2%,.$

&+A#1.(*$%D.*%;%-&%="++.=*)"(%,.$%)(82+.(=.$E%4-#*y*%7#<&#6%'2+)*2$%-"A)7#.$%D@).(%7#.%-.$%,.#6%7#.$*)"($

$").(*%2*+")*.1.(*%-)2$E9 "(%.$$&).%,.%,2'.-"44.+%#(.%12*3",.%$5(*&6)7#.%.*%$*+#=*#+.--.%,.%,2,#=*)"(>

K<.$*%-&%12*3",.%,.%-&%,2,#=*)"(%(&*#+.--.9 7#.%-<"(%&@"+,.+&%,&($%-&%-./"(i> Z(.%&#*+.%12*3",.%.$*

=.--.%,.$%*&@-.&#6%&(&-5*)7#.$9 2A&-.1.(*%&44.-2.%-&%M 12*3",.%,.$%&+@+.$ N> K.$%,.#6%12*3",.$%$"(*

$5(*&6)7#.$ R -&%,)o2+.(=.%4+)(=)4&-.%.(*+.%=.$%,.#6%*.=3()7#.$%.*%-.%=&-=#-%&6)"1&*)7#.%=<.$*%7#<.--.$

="14"+*.(*%,.%("1@+.#$.$%+GA-.$%,<)(82+.(=.9 *&(,)$%7#.%-.%=&-=#-%3)-@.+*).(%(<&%("+1&-.1.(*%7#<#(.

$.#-.%+GA-.%,<)(82+.(=.%D-.%4-#$%$"#'.(*/+=1,$(+"#",E9 1&)$%,.%("1@+.#6%&6)"1.$>

P&%12*3",.%,.%-&%,2,#=*)"(%(&*#+.--.%&%2*2%)(*+",#)*.9 ,<#(.%4&+*%4&+S&${"~${)DOhL0E%.*%,<&#*+.%4&+*

4&+z.(*j.(DOhL0E> ])1#-*&(21.(*9 z.(*j.(%&%,2B()%#(%=&-=#-%,.$%$27#.(*$> •)(A*%&($%4-#$%*&+,9C.*3 DOhnnE%&%8"+1#-2%$&%12*3",.%,.$%*&@-.&#6%&(&-5*)7#.$%.*x)(*){{&DOhnnE%&%4+"4"$2%-&%12*3",.%,.$%.(:

$.1@-.$%,.%'2+)*2%DM *+#*3%$.*$ NE%7#)9 ,&($%-&%$5$*21&*)$&*)"(%,.]1#--5&(DOhiWE9 .$*%,.'.(#.%-&%12*3",.

,.$%&+@+.$%7#.%("#$%4+2$.(*.+"($%;%-&%1&()G+.%,.P.4&A.DOhhOE> K.%(<.$*%7#.%+2=.11.(*%7#<)-%&%2*2 4+"#'2%7#.%-.%=&-=#-%,.$%*&@-.&#6%&(&-5*)7#.$%.*%-.%=&-=#-%,.$%$27#.(*$%$"(*%27#)'&-.(*$9 =<.$*:;:,)+.%7#.

*"#*%=.%7#)%4.#*%V*+.%4+"#'2%4&+%-<#(.%,.$%12*3",.$%4.#*%V*+.%2A&-.1.(*%4+"#'2%4&+%-<&#*+.%.*%')=.

'.+$&>

*2C +#)4.',#&%;%&-)/()7#)7.8%56(

P.$%,.#6%="#+&(*$%$.%,)$*)(A#.(*%&#$$)%4&+%-.#+$%4"$)*)"($%')$:;:')$%-&%7#.$*)"(%,.%-&"+'/*&%>%&) $ =# $ ;*

;+5%012> K"11.(*%,.'"($:("#$%)(*.+4+2*.+%#(%$=321&%,<)(82+.(=.%'&-),. s

*2* +#),-&"./()/(0)#'1'(0

P&%12*3",.%,.$%&+@+.$%.$*%#(.%12*3",.%$5(*&6)7#.%4"#+%4+"#'.+%=.+*&)(.$%43+&$.$> \--.%.$*%=.4.(:

,&(*%T1")($<%$5(*&6)7#.%7#.%-&%12*3",.%,.$%=&-=#-$%&6)"1&*)7#.$%4&+=.%7#<.--.%#*)-)$.%,.$%+GA-.$%7#)%$.

4+V*.(*%;%#(.%)(*.+4+2*&*)"(%.(%*.+1.$%,.%*&@-.$%,.%'2+)*2> c.%1&()G+.%)(*#)*)'.9 #(%&+@+.%+.4+2$.(*.%-.$

,)o2+.(*.$%1&()G+.$%="11.(*%#(.%43+&$.%,"((2.%4.#*%V*+.%'+&). R #(.%,)$U"(=*)"(9 4&+%.6.14-.9 4.#*

V*+.%'+&).%$")*%.(%'.+*#%,#%4+.1).+9 $")*%.(%'.+*#%,#%,.#6)G1.%,)$U")(*> Z(.%="(U"(=*)"(9 4&+%="(*+.9

On> !"#$%4&+-.+"($%,.%-&%="++.=*)"(%.*%-&%="14-2*#,.%,.$%=&-=#-$%.(%A2(2+&-%,&($%-&%-./"(I>

D: *2 +#),-&"./()/(0)#'1'(0

(.%4.#*%V*+.%'+&).%,<#(.%$.#-.%1&()G+. R 4"#+%7#<.--.%$")*%'+&).9 )-%8&#*%7#.%.*%-.%4+.1).+%.*%-.%,.#6)G1.

="(U")(*%$")*%'+&).> H-#$%4+2=)$21.(*9 -<)(*.+4+2*&*)"(%$21&(*)7#.%,.%-&%12*3",.%$5(*&6)7#.%,.$%&+@+.$

.$*%@&$2.%$#+%-.$%(.#8%8&)*$%$21&(*)7#.$%$#)'&(*$ R K3 ])%#(.%(2A&*)"(!¬φ".$*%8&#$$.9 &-"+$φ.$*%'+&).>

K? ])%#(.%="(U"(=*)"(!φ∧ψ".$*%'+&).9 &-"+$φ.*ψ$"(*%'+&).$>

K@ ])%#(.%="(U"(=*)"(!φ∧ψ".$*%8&#$$.9 &-"+$%$")*φ$")*ψ.$*%8&#$$.>

KC ])%#(.%,)$U"(=*)"(!φ∨ψ".$*%'+&).9 &-"+$%$")*φ9 $")*ψ.$*%'+&).>

K* ])%#(.%,)$U"(=*)"(!φ∨ψ".$*%8&#$$.9 &-"+$φ.*ψ$"(*%8&#$$.$>

K: ])%#(.%)14-)=&*)"(!φ→ψ".$*%'+&).9 &-"+$%$")*φ.$*%8&#$$.%$")*ψ.$*%'+&).>

KF ])%#(.%)14-)=&*)"(!φ→ψ".$*%8&#$$.9 &-"+$φ.$*%'+&).%.*ψ.$*%8&#$$.>

KA ])%#(.%27#)'&-.(=.!φ↔ψ".$*%'+&).9 &-"+$%$")*φ.*ψ$"(*%'+&).$9 $")*φ.*ψ$"(*%8&#$$.$>

KD ])%#(.%27#)'&-.(=.!φ↔ ψ".$*%8&#$$.9 &-"+$%$")*φ.$*%'+&).%.*ψ8&#$$.9 $")*φ.$*%8&#$$.%.*ψ '+&).>

c.%=.$%(.#8%8&)*$9 ("#$%,2+)'"($%,.$%+GA-.$%4"#+%="($*+#)+.%,.$%&+@+.$>K?9 4&+%.6.14-.9 ("#$%,)*%7#.

("#$%4"#'"($%,2="14"$.+!φ∧ψ" .(φ.*%.(ψ.*%-.$%4-&=.+%$#+%-&%1V1.%@+&(=3. R $)!φ∧ψ" $.

*+"#'.%$#+%#(%=3.1)(%,.%-<&+@+.9 &-"+$φ.*ψ,.'+"(*%$.%*+"#'.+%$#+%=.%1V1.%=3.1)(9 =&+%$)!φ∧ψ"

.$*%'+&).9φ.*ψ-.%$"(*%&#$$)K@("#$%,)*%7#.%$)!¬(φ∧ψ)"$.%*+"#'.%$#+%#(%=3.1)(9 &-"+$%$")*!¬φ"

$")*!¬ψ",.'+&)*%$.%*+"#'.+%$#+%-.%1V1.%=3.1)(> K"($*+#)+.%#(%&+@+.%="++.$4"(,&(*%;%#(.%.64+.$$)"(

="14-.6.%="($)$*.+&%;%="($*+#)+.%,.$%=3.1)($%;%4&+*)+%,.%-<.64+.$$)"(%)()*)&-.%.(%#*)-)$&(*%-.$%+GA-.$%,.

="($*+#=*)"(%,<&+@+.$> P.$%=3.1)($%&)($)%"@*.(#$%,&($%-<&+@+.%D="($),2+2$%,.%@&$%.(%3&#*E%$.+"(*%&44.-2$

,.$%M =3.1)($%,.%'2+)*2 N R )-$%+.4+2$.(*.(*%,.$%1&()G+.$%,"(*%-.$%43+&$.$%)()*)&-.$%4.#'.(*%V*+.%'+&).$

.($.1@-.> P&%12*3",.%,.$%&+@+.$%("#$%8"#+()*%&)($)%#(%*.$*%,.%="($)$*&(=.9 +.$4.=*&(*%-&%="14"$)*)"(

,<#(.%43+&$.%="14-.6.%;%4&+*)+%,.%$.$%="($*)*#&(*.$%$)14-.$> P.$%(.#8%8&)*$K3;KD1.(*)"((2$%("#$

&$$#+.(*%-&%="++.=*)"(%,.%7#.-7#.$%+GA-.$%,<)(82+.(=.> ?-$%="++.$4"(,.(*%;%(.#8%+GA-.$%,.%="($*+#=*)"(

,<&+@+.$ R

!¬¬φ"

φ

!φ∧ψ"

φ ψ

!¬(φ∧ψ)"

!¬φ" !¬ψ"

!!

!!

"

"

"

"

!φ∨ψ"

φ ψ

!!

!!

"

"

"

"

!¬(φ∨ψ)"

!¬φ"

!¬ψ"

!φ→ψ"

!¬φ" ψ

!!

!!

"

"

"

"

!¬(φ→ψ)"

!¬φψ"

*2: +()/-;(7.$$(,(4&)0L4&#M%56()/()7#),-&"./()/(0)#'1'(0 DF

!φ↔ψ"

φ

ψ !¬φ"

!¬ψ"

!!

!!

"

"

"

"

!¬(φ↔ψ)"

!¬φψ" !¬φ"

ψ

!!

!!

"

"

"

"

!"#$%&44-)7#"($%=.$%+GA-.$%,.%1&()G+.%)*2+&*)'.9 U#$7#<;%=.%7#<&#=#(.%,.$%+GA-.$%(.%$")*%&44-)=&@-.%_%=.-&

(<.$*%-.%=&$%7#.%$)%-.$%$.#-.$%43+&$.$%("(:*+&)*2.$%$"(*%,.$%43+&$.$%$)14-.$%"#%,.$%(2A&*)"($%,.%43+&$.$

$)14-.$> !"#$%4"#'"($%8.+1.+%#(.%@+&(=3.%$)%.*%$.#-.1.(*%$)%.--.%="(*).(*%(<)14"+*.%7#.--.%8"+1#-.

4+"4"$)*)"((.--.9 4&+%.6.14-.%MpN%D"#%Mp∧(q∨r)NE9#K$&%(2A&*)"(%M¬pN%D"#%M¬(p∧(q∨r))NE>^Oi H"#+%-.%8&)+.9 )-%(<.$*%4&$%(2=.$$&)+.%7#.%-<&+@+.%$")*%.(*)G+.1.(*%,2'.-"442 R ,G$%7#.%("#$%*+"#'"($%#(.

43+&$.%.*%$&%(2A&*)"(%$#+%#(.%1V1.%@+&(=3.9 ("#$%4"#'"($%-&%8.+1.+>

*2: +()/-;(7.$$(,(4&)0L4&#M%56()/()7#),-&"./()/(0)#'1'(0

K"11.(*%)(*.+4+2*.+%=.$%&+@+.$ s P.#+$%+GA-.$%,.%="($*+#=*)"(%="++.$4"(,.(*%;%,.$%+GA-.$%,<)(82+.(=.>

c&($%("*+.%("#'.&#%=&-=#-9 -&%+GA-.%,<)(82+.(=.HK9 4&+%.6.14-.9 ="++.$4"(,+&%;%-<&+@+.%$#)'&(* R p→q

p

¬p

! q

!!

!!

"

"

"

"

?-%.$*%&)$2%,<)(*.+4+2*.+%=.*%&+@+.%,.%1&()G+.%$21&(*)7#. R Z(.%)14-)=&*)"(%4.#*%V*+.%'+&).%,.%,.#6 1&()G+.$ R 4&+=.%7#.%$"(%&(*2=2,.(*%.$*%8&#6%"#%4&+=.%7#.%$"(%="($27#.(*%.$*%'+&)> \(%4+2$.(=.%,.

MpN9 =.4.(,&(*9 ("#$%4"#'"($%.6=-#+.%-&%4+.1)G+.%4"$$)@)-)*2%_%=.%7#.%("#$%8&)$"($%.(%8.+1&(*%-&

@+&(=3.%A&#=3.> P.%$.#-%=3.1)(%,.%'2+)*2%7#)%+.$*.%="(*).(,+&%MqN R MqN%,")*%V*+.%'+&).%$)%Mp→qN%.*

MpN%-.%$"(*>

•")=)%#(%&#*+.%.6.14-.> !"#$%="11.(/"($%4&+%#(.%="(U"(=*)"(%,.%*+")$%43+&$.$%="14-.6.$9 &44-):

7#"($%-&%+GA-.%,.%="(U"(=*)"(%.*%,2'.-"44"($%.($#)*.%-&%,)$U"(=*)"(%7#)%.$*%-.%,.#6)G1.%="(U")(* R

# (p→q)∧(p∨r)∧(s∧ ¬q)

p→q

# p∨r

s∧ ¬q

p r

!!

!!

"

"

"

"

Oi> ].#-.$%-.$%4&)+.$%,.%43+&$.$%,.%-&%8"+1.(φ,!¬φ")="14*.(*%="11.%="(*+&,)=*")+.$> ?-%(.%$.+&)*%4&$%4.+1)$9 4&+%.6.14-.9 ,.%="($),2+.+%M¬p∨(¬q∧ ¬r)N%="11.%(2A&*)"(%,.%Mp∧(q∨r)N9 1V1.%$)%-&%8"+1#-.%.$*%-"A)7#.1.(*%27#)'&-.(*.%;%=.**.

(2A&*)"(> c&($%#(%=&-=#-%$5(*&6)7#.9 *.-%7#.%-<.$*%-&%12*3",.%,.$%&+@+.$9 $.#-.%-&3+'/2D$5(*&6)7#.E%,.$%43+&$.$%4.#*%.(*+.+%.(

="($),2+&*)"(>

DA *2 +#),-&"./()/(0)#'1'(0

X4+G$%&'")+%&44-)7#2%#(.%+GA-.%;%#(.%8"+1#-.%,&($%#(.%@+&(=3.9 ("#$%-&%1&+7#"($%4&+%-.%$)A(.%M#N>

X4+G$%=3&7#.%&44-)=&*)"(%,.%+GA-.9 ("#$%,2*.+1)("($%$)%("#$%4"#'"($%,2U;%8.+1.+%#(.%@+&(=3.> ?=) ("#$%(.%4"#'"($%4&$%.(="+.%-.%8&)+.>

\(%'")=)%#(.%)(*.+4+2*&*)"(%$21&(*)7#. R !"#$%&'"($%="11.(=2%&'.=%*+")$%8"+1#-.$%7#)%2*&).(*%4.#*:

V*+.%*"#*.$%'+&).$> K.%7#.%("*+.%&+@+.%("#$%&44+.(,9 =<.$*%7#.%-.$%*+")$%8"+1#-.$%4"#++&).(*%V*+.%'+&).$

,.%,.#6%1&()G+.$ R -&%4+.1)G+.%$.+&)*%7#.%Mp→qN9 Ms∧ ¬qN%.*%MpN%$").(*%'+&)$9 .*%-&%,.#6)G1.%7#.

Mp→qN9 Ms∧ ¬qN%.*%MrN%$").(*%'+&).$>

!"#$%4"#'"($%,"((.+%#(.%1"*)'&*)"(%T,)&-"A)7#.<%;%=.**.%)(*.+4+2*&*)"( R #(%&+@+.%+.4+2$.(*.%-.$%=3")6 ,)&-"A)7#.$%,<#(%,28.($.#+%,.%-&%43+&$.%)()*)&-.> \(%,28.(,&(*%-&%'2+)*2%,<#(.%,)$U"(=*)"(9 4&+%.6.14-.9 U.%4.#6%1.%="(*.(*.+%,.%(.%,28.(,+.%7#.%-<#(%,.$%,)$U")(*$ f 4"#+%,28.(,+.%#(.%="(U"(=*)"(9 =.4.(,&(*9 )-%8&#*%,28.(,+.%-.$%,.#6%="(U")(*$%.*=> c)+.%7#<#(.%@+&(=3.%$.%8.+1.%+.').(*%;%,)+.%7#.%-<&+A#1.(*%7#)

&%4+)$%-.%=3.1)(%,.%'2+)*2%="++.$4"(,&(*%&%2=3"#2 R -&%,28.($.%(<&%4&$%4#%1"(*+.+%7#.%-&%43+&$.%)()*)&-.

4"#'&)*%V*+.%'+&).>

!"#$%,)$*+)@#"($%1&)(*.(&(*%-&%="(U"(=*)"(%Ms∧ ¬qN%$#+%-.$%@+&(=3.$%D.*%1&+7#"($%-&%*+")$)G1.%8"+:

1#-.%="11.%*+&)*2.E R

# (p→q)∧(p∨r)∧(s∧ ¬q)

p→q

# p∨r

# s∧ ¬q

ps

¬q

rs

¬q

!!

!!

"

"

"

"

\*&(*%,"((2%7#.%-&%+GA-.%,.%="(U"(=*)"(%("#$%,)*%,.%="(*)(#.+%&'.=%-.$%,.#6%="(U")(*$9 )-%("#$%8&#*

&U"#*.+%MsN%.*%M¬qN%,&($%=3&=#(.%,.$%,.#6%@+&(=3.$>

!"#$%'2+)B"($%;%("#'.&#%$)%("#$%4"#'"($%8.+1.+%#(.%@+&(=3. R ("#$%(.%-.%4"#'"($%4&$> !"#$%&44-):

7#"($%1&)(*.(&(*%-&%+GA-.%,.%-<)14-)=&*)"(%;%-&%4+.1)G+.%,.%("$%*+")$%8"+1#-.$%)()*)&-.$%D-<)14-)=&*)"(

.$*%-&%$.#-.%8"+1#-.%="14-.6.%7#)%("#$%+.$*.9 .*%,"(=%-&%$.#-.%;%-&7#.--.%("#$%4"#'"($%&44-)7#.+%#(.

+GA-.%4"#+%,2'.-"44.+%,&'&(*&A.%-<&+@+.E> K.**.%+GA-.%,<)14-)=&*)"(%("#$%,)*%,<"#'+)+%,.#6%("#'.--.$

@+&(=3.$ R -<#(.%&'.=%-&%(2A&*)"(%,.%-<&(*2=2,.(*%.*%-<&#*+.%&'.=%-.%="($27#.(*> !"#$%"@*.("($%,"(= R

# (p→q)∧(p∨r)∧(s∧ ¬q)

# p→q

# p∨r

# s∧ ¬q

p

¬sq

r

¬sq

!!

!!

"

"

"

"

##

##

$$

$$

¬p q

##

##

$$

$$

¬p q

*2: +()/-;(7.$$(,(4&)0L4&#M%56()/()7#),-&"./()/(0)#'1'(0 DD

K.**.%8")$9 ("#$%4"#'"($%8.+1.+%7#.-7#.$:#(.$%,.%("$%7#&*+.%@+&(=3.$> K.--.%,.%A&#=3.%="(*).(*%M¬pN .*%MpN9 -&%,.#6)G1.%.(%4&+*&(*%,.%-&%A&#=3.%MqN%.*%M¬qN9 .*%=.--.%7#)%$.%*+"#'.%*"#*%;%,+")*.%="(*).(*

2A&-.1.(*%MqN%.*%M¬qN> !"#$%)(,)7#"($%-.%8&)*%7#<#(.%@+&(=3.%&)*%2*2%8.+12.%4&+%-.%$)A(.%M$N R

# (p→q)∧(p∨r)∧(s∧ ¬q)

# p→q

# p∨r

# s∧ ¬q

p

¬sq

r

¬sq

!!

!!

"

"

"

"

##

##

$$

$$

¬p q

##

##

$$

$$

¬p q

! ! !

X =.%$*&,.9 ("#$%(.%4"#'"($%4-#$%,2'.-"44.+%-.%*&@-.&#9 4#)$7#.%*"#*.$%-.$%8"+1#-.$%("(:4+2=2,2.$%,#

$)A(.%M#N%$"(*%$")*%,.$%43+&$.$%$)14-.$9 $")*%,.$%(2A&*)"($%,.%43+&$.$%$)14-.$9 .*%7#.%-.$%+GA-.$%,"(*

("#$%,)$4"$"($%(.%$<&44-)7#.(*%7#<;%,.$%43+&$.$%="14-.6.$> ?-%(.%("#$%+.$*.%,"(=%4-#$%+).(%;%8&)+.>

?-%.$*%)14"+*&(*%,.%$.%+&44.-.+%7#.%-&%12*3",.%,.$%&+@+.$%.$*%#(.%12*3",.%$5(*&6)7#. R -&%4+.#'.%,<#(.

43+&$.%4&+%-&%12*3",.%,.$%&+@+.$%.$*%#(.%&44-)=&*)"(%12=&()7#.%,.$%+GA-.$%,.%="($*+#=*)"(%,<&+@+.$%.*

,.%8.+1.*#+.%,.$%@+&(=3.$%7#)%="(*).((.(*%#(.%8"+1#-.%4+"4"$)*)"((.--.%$)14-.%&'.=%$&%(2A&*)"(> P&

12*3",.%,.$%&+@+.$%("#$%8"#+()*%,"(=%#(&#,& $ =# $ 4+",%,&*"42R -&%43+&$.%)()*)&-.%.$*%)(="($)$*&(*.%$)%.*

$.#-.1.(*%$)%=3&7#.%@+&(=3.%,.%-<&+@+.%$.%8.+1.>

z+r=.%;%-&%="14-2*#,.%.*%-&%="++.=*)"(%,.%-&%12*3",.%,.$%&+@+.$9 -.%*.$*%,.%="($)$*&(=.%7#<.--.%("#$

8"#+()*%.$*%2A&-.1.(*%#(%*.$*.%,.%$&*)$8&)$&@)-)*2> H+2$#44"$&(*%7#.%-&%12*3",.%,.$%&+@+.$%.$*%#(.

12*3",.%="++.=*.%.*%="14-G*.%D=.%7#.%("#$%(.%,21"(*+"($%7#.%,&($%-.%=3>IE9 ("#$%4"#'"($%,"(=

+2$#1.+%-<#*)-)*2%,.%-&%12*3",.%,.$%&+@+.$%="11.%$#)* R

O> Z(.%@+&(=3.%.(*)G+.1.(*%,2'.-"442.%="++.$4"(,%;%#(%p =3.1)(%,.%'2+)*2q R .--.%1"(*+.9 $"#$

7#.--.%)(*.+4+2*&*)"(%,.%$.$%="14"$&(*.$%$)14-.$%-&%43+&$.%;%-<"+)A)(.%,.%-<&+@+.%.$*%'+&).>

Q> !"#$%4"#'"($%2A&-.1.(*%="(=.'")+%#(.%@+&(=3.%="11.%#(.%$*+&*2A).%,<&+A#1.(*&*)"(%4"#+

,28.(,+.%-&%'2+)*2%,.%-&%43+&$.%;%-<"+)A)(.>

L> ])%*"#*.$%-.$%@+&(=3.$%,<#(%&+@+.%$.%8.+1.(*9 )-%.$*%-"A)7#.1.(*%)14"$$)@-.%7#.%-&%8"+1#-.%;

-<"+)A)(.%$")*%'+&). R )-%$<&A)*%,<#(.%="(*+&,)=*)"(> c&($%=.%=&$%D.*%$.#-.1.(*%,&($%=.%=&$E9 $&%(2A&:

*)"(%.$*%#(.%*&#*"-"A).>

0> H&+%=.%8&)*9 -&%12*3",.%,.$%&+@+.$%.$*%#(.%12*3",.%,.%+2,#=*)"(%;%-<&@$#+,. R .(%8.+1&(*%*"#*.$

-.$%@+&(=3.$%,.%$"(%&+@+.9 ("#$%1"(*+"($%7#<#(.%8"+1#-.%.$*%-"A)7#.1.(*%8&#$$.>

H"#+%4+"#'.+%#(.%8"+1#-.%;%-<&),.%,.%-&%12*3",.%,.$%&+@+.$9"+1,$3+'/+",$,*$")5*&%+T9 ,2'.-"44"($%-<&+@+.

,.%=.**.%(2A&*)"(%.*%1"(*+"($%7#.%*"#*.$%$.$%@+&(=3.$%$.%8.+1.(*> ]")*φ#(.%8"+1#-.%7#.-="(7#. R O> ])%*"#*.$%-.$%@+&(=3.$%,.%-<&+@+.%4"#+!¬φ"$.%8.+1.(*9 &-"+$φ.$*%#(.%*&#*"-"A).>

Q> ])%#(.%@+&(=3.%,.%-<&+@+.%.(*)G+.1.(*%,2'.-"442%4"#+!¬φ" +.$*.%"#'.+*.9 ("#$%&'"($%*+"#'2

=.%7#.%("#$%&44.-"($%#(%M 1",G-. N%4"#+!¬φ"9 =<.$*:;:,)+.%#(.%)(*.+4+2*&*)"(%,.$%="14"$&(*.$

$)14-.$%,.φ7#)%+.(,!¬φ"'+&)%.*φ8&#6 fφ(<.$*%&-"+$%4&$%#(.%*&#*"-"A).>

3GG *2 +#),-&"./()/(0)#'1'(0

])%-<&+@+.%$.%8.+1.9 -&%8"+1#-.%;%-<"+)A)(.%.$*%)($&*)$8&)$&@-. f $<)-%+.$*.%"#'.+*9 .--.%.$*%$&*)$8&)$&@-.>

*2F +N%4&('$'-&#&%.4)0-,#4&%56()/()7#),-&"./()/(0)#'1'(0

C).(%7#.%-&%12*3",.%,.$%&+@+.$%$")*%#(4*;41;9 ,"(=%#(.%12*3",.%4#+.1.(*%$5(*&6)7#.%,.%4+"#'.+

,.$%*32"+G1.$9 $"(%&'&(*&A.%4+)(=)4&-%+2$),.%,&($%-.%8&)*%7#.%$"(%)(*.+4+2*&*)"(%$21&(*)7#.%.$*%8&:

=)-.%.*%(&*#+.--.> H&+%-<&,27#&*)"(%.(*+.%-&%$5(*&6.%.*%-&%$21&(*)7#.%,.%-&%-"A)7#.%4+"4"$)*)"((.--.9 -.$

*32"+G1.$%,.%="++.=*)"(%.*%,.%="14-2*#,.%,.%-&%12*3",.%,.$%&+@+.$%("#$%4.+1.**.(*%,.%,"((.+%#(.

)(*.+4+2*&*)"(%$21&(*)7#.%&#6%+GA-.$%,.%="($*+#=*)"(%,<&+@+.$>^OI

\(%.o.*9 -.%8&)*%7#.%("#$%&5"($%8.+12%*+")$%,.$%7#&*+.%@+&(=3.$%,.%-<&+@+.%4+2=2,.(*%$)A()B.%7#.%=.$

@+&(=3.$%(.%+.4+2$.(*.(*%4&$%,.$%1&()G+.$%,"(*%-.$%8"+1#-.$%)()*)&-.$%4"#++&).(*%V*+.%'+&).$%.($.1@-.>

\--.$%(.%="++.$4"(,.(*%4&$%;%,.$%)(*.+4+2*&*)"($%7#)%+.(,.(*%'+&).%-&%8"+1#-.%)()*)&-.>

P.%*&@-.&#%("#$%1"(*+.%,"(=%7#<)-%(<5%&%7#<#(.%$.#-.%1&()G+.%4"#+%-.$%8"+1#-.$%)()*)&-.$%,<V*+.%'+&).$

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

7#.%MrN9 MsN9 M¬qN%.*%M¬pN%$").(*%*"#*.$%'+&).$> c&($%#(.%*&@-.%,.%'2+)*29 =.**.%4"$$)@)-)*2%-"A)7#.

="++.$4"(,+&)*%;%-&%-)A(.F:F:V:V ,#%*&@-.&#> K.**.%-)A(.%+.4+2$.(*.%-&%4"$$)@)-)*2%-"A)7#.%$"#$%-&7#.--.

-&%8"+1#-.%)()*)&-.%.$*%'+&).%_%.--.%,2=+)*%-.%1",G-.%,&($%-.7#.-%.--.%.$*%'+&).>

])%("#$%&')"($%8.+12%*"#*.$%-.$%@+&(=3.$9 ("#$%$&#+)"($%7#.%-&%"#%-.$%8"+1#-.D$E%)()*)&-.D$E%(.%4"#'&)D.(E*

4&$%V*+.%'+&).D$E R )-%$<&A)+&)*%,<#(.%="(*+&,)=*)"(%D,&($%-.%=&$%,<#(.%$.#-.%43+&$.E%"#%,<#(%.($.1@-.%,.

43+&$.$%)($&*)$8&)$&@-.$>

!"#$%'"5"($%&)($)%7#.%-&%12*3",.%,.$%&+@+.$%4.#*%("#$%$.+')+%,.%*.$*%,.,*&%,3*%,*H%;%&?R $)%#(.%,.$

@+&(=3.$%+.$*.%"#'.+*.9 )-%5%&%#(.%4"$$)@)-)*2%-"A)7#.%4"#+%-.$%43+&$.$%)()*)&-.$%,<V*+.%'+&).$%.($.1@-.

.*%.--.$%8"+1.(*%,"(=%#(%.($.1@-.%$&*)$8&)$&@-.%D4+2$#44"$&(*%-&%="14-2*#,.%.*%-&%="++.=*)"(%,.%-&

12*3",.%,.$%&+@+.$E> H#)$7#<#(.%43+&$.%.$*%#(.%="(*+&,)=*)"(%$)%.*%$.#-.1.(*%$)%$&%(2A&*)"(%.$*%#(.

*&#*"-"A).9 -&%12*3",.%,.$%&+@+.$%("#$%$.+*%2A&-.1.(*%,.%*.$*%4"#+%$&'")+%$)%"#%("(%#(.%43+&$.%.$*%#(.

*&#*"-"A).> ])%*"#*.$%-.$%@+&(=3.$%,.%-<&+@+.=# $ ,* $ ")5*&%+T$.%8.+1.(*9 &-"+$%.--.%.$*%#(.%*&#*"-"A).> ])

&#%1")($%#(.%@+&(=3.%+.$*.%"#'.+*.9 )-%5%&%#(.%4"$$)@)-)*2%4"#+%$&%(2A&*)"(%,<V*+.%'+&).9 .*%,"(=%#(.

4"$$)@)-)*2%4"#+%.--.%,<V*+.%8&#$$.> c&($%=.%=&$:-;9 .--.%(<.$*%4&$%#(.%*&#*"-"A).>

P.$%&+@+.$%("#$%4.+1.**.(*%,"(=%,.%')$#&-)$.+%-.$%="(,)*)"($%,.%'2+)*2%,<#(.%43+&$.%="14-.6.> \6&1):

("($%#(%,.#6)G1.%.6.14-. R

# ¬(p∨(q∧ ¬r))

¬p

# ¬(q∧ ¬r)

!!

!!

"

"

"

"

¬q #¬¬r r

P<&44-)=&*)"(%,.$%+GA-.$%("#$%4.+1.*%,<)(*.+4+2*.+%=.*%&+@+.%,.%-&%8&/"(%$#)'&(*. R M¬(p∨(q∧ ¬r))N

OI> P.$%*32"+G1.$%,.%="++.=*)"(%.*%,.%="14-2*#,.%,")'.(*%V*+.%2*&@-)%4"#+%=3&7#.%=&-=#-%$5(*&6)7#.%$24&+21.(*>!"#$%(<&'"($

1"(*+2%-&%="++.=*)"(%7#.%4"#+C>D4>hOE%.*%&'"($%$.#-.1.(*%4+2$#44"$2%-&%="14-2*#,.> !"#$%&--"($%4+"#'.+%-&%="++.=*)"(%,.%-&

12*3",.%,.$%&+@+.$%.*%,.%-&%="14-2*#,.%,.$%,.#6%$5$*G1.$%,&($%-&%-./"(I>

*2F +N%4&('$'-&#&%.4)0-,#4&%56()/()7#),-&"./()/(0)#'1'(0 3G3

.$*%'+&).%$)%.*%$.#-.1.(*%$)9 $")*%M¬pN%.*%M¬qN%$"(*%'+&).$%D-&%@+&(=3.%;%A&#=3.E9 $")*%M¬pN%.*%MrN%$"(*

'+&).$%D-&%@+&(=3.%;%,+")*.E> ?-%5%&%,"(=%,.#6%=3.1)($%,.%'2+)*2%="14-.*$%,&($%=.*%&+@+.9 ,.#6%1&()G+.$

4"#+%-&%43+&$.%="14-.6.%,<V*+.%'+&).>

K"($),2+"($%-<&+@+.%$#)'&(* R # p∨q

¬p

¬q

!!

!!

"

"

"

"

p q

! !

c&($%=.*%&+@+.9 &#=#(%=3.1)(%(.%+.$*.%"#'.+* R -&%*.(*&*)'.%,.%*+"#'.+%#(.%1&()G+.%,"(*%-.$%43+&$.$

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

,)$U"(=*)"(%.6=-#*%-&%8&#$$.*2%,.%$.$%,.#6%,)$U")(*$>

Z(.%="(*+&,)=*)"(%.$*%=&+&=*2+)$2.%4&+%-.%8&)*%7#.%=3&=#(%,.$%=3.1)($%,.%$"(%&+@+.%="(*).(*%#(.%43+&$.

.*%&#$$)%$&%(2A&*)"(> X#*+.1.(*%,)*9 *"#*.$%$.$%@+&(=3.$%$.%8.+1.(* R

# ¬(¬(p∧q)∨(p∧q))

# ¬¬(p∧q)

# ¬(p∧q)

# p∧q

p q

!!

!!

"

"

"

"

¬p ¬q

! !

Z(%,.$%=3.1)($%,.%=.*%&+@+.%="(*).(*%MpN%.*%M¬pN9 -<&#*+.%MqN%.*%M¬qN>^OW

\(%*&(*%7#.%12*3",.%$5(*&6)7#.9 -&%12*3",.%,.$%&+@+.$%("#$%4.+1.*%,.('+1>#',.$%43+&$.$ R "(%4+"#'.

#(.%43+&$.%.(%1"(*+&(*%7#<#(%&+@+.%="14-.*%D.(*)G+.1.(*%,2'.-"442E(+1'$,*$")5*&%+T(.%="(*).(*%7#.

,.$%@+&(=3.$%8.+12.$> ?(*.+4+2*2%$21&(*)7#.1.(*9 -.%8&)*%7#.%*"#*.$%-.$%@+&(=3.$%$.%8.+1.(*%$)A()B.

7#<)-%(<5%&%&#=#(.%4"$$)@)-)*2%4"#+%-&%43+&$.%)()*)&-.%,<V*+.%'+&).9 =<.$*:;:,)+.%7#<)-%$<&A)*%,<#(.%="(*+&,)=:

*)"(> H#)$7#<#(.%43+&$.%.$*%#(.%="(*+&,)=*)"(%$)%.*%$.#-.1.(*%$)%$&%(2A&*)"(%.$*%#(.%*&#*"-"A).9 ("#$

&'"($%#(.%12*3",.%4"#+%*.$*.+%-.%=&+&=*G+.%*&#*"-"A)7#.%,<#(.%43+&$.> ?-%$#e*%,.%8&)+.%-<&+@+.=# $ ,*

")5*&%+T.*%,.%'")+%$)%*"#*.$%-.$%@+&(=3.$%$.%8.+1.(*> ])%=<.$*%-.%=&$9 -&%43+&$.%)()*)&-.%.$*%#(.%*&#*"-"A). f

$)("(9 .--.%(.%-<.$*%4&$>^Oh

Z(%&+@+.%,"(*%*"#*.$%-.$%@+&(=3.$%$.%8.+1.(*%.$*%&44.-2%M 8.+12 N> Z(.%43+&$.%.$*%,"(=%#(.%*&#*"-"A).

$)%.*%$.#-.1.(*%$)%$&%(2A&*)"(%&%#(%&+@+.%8.+12> K"($),2+"($%#(%&#*+.%.6.14-.> H"#+%4+"#'.+%7#.

OW> ].-"(%-<)(*.+4+2*&*)"(%p ,)&-"A)7#.q ,.%-&%12*3",.%,.$%&+@+.$%D=8> 4>hWE9 -&%8.+1.*#+.%,<#(.%@+&(=3.%+.4+2$.(*.%-.%=#-:,.:$&=

,&($%-.7#.-%.$*%*"1@2%#(%)(*.+-"=#*.#+%7#)%&%=3")$)%=.**.%$*+&*2A).%4"#+%,28.(,+.%$&%*3G$.%)()*)&-.> ]<)-%(<5%&%7#.%,.$%=#-$:,.:$&=9 -&%*3G$.%(.%4.#*%4&$%V*+.%,28.(,#.>

Oh> S<.64-)7#.%)=)%#(.%12*3",.%$5(*&6)7#.%.(%*.+1.$%$21&(*)7#.$9 4+2$#44"$&(*%,2U;%7#.%-&%12*3",.%,.$%&+@+.$%.$*%="++.=*.

.*%="14-G*.%4&+%+&44"+*%;%-&%$21&(*)7#.%,.%-&%-"A)7#.%4+"4"$)*)"((.--.> !"#$%(<2*&@-)+"($%=.%+2$#-*&*%7#.%4-#$%*&+,9 ,&($%-&%-./"(

I>

3G? *2 +#),-&"./()/(0)#'1'(0

M(p∧(q↔r)∧¬p∨(q→ ¬r))→(p→ ¬r)N9 =<.$*:;:,)+.%4"#+%1"(*+.+%7#.%=.**.%43+&$.%="14-.6.%.$*

#(%*32"+G1.%,.%-&%12*3",.%,.$%&+@+.$9 ("#$%="($*+#)$"($%#(%&+@+.%4"#+%$&%(2A&*)"(> !"#$%&44-)7#"($

-.$%+GA-.$%4"#+%-<)14-)=&*)"(%()2.%.*%4"#+%-&%="(U"(=*)"(9 .*%="(*)(#"($%&'.=%-.$%&#*+.$%+GA-.$%="11.

$#)* R

# p∧(q↔r)

# ¬p∨(q→ ¬r)

# ¬(p→ ¬r)

#¬¬rp

r

!!

!!

"

"

"

"

#q→ ¬r ¬p

# !

###

$$

$$

¬q ¬r

#q↔r !

##

##

$$

$$ q

r ¬q

¬r

! !

P.$%&+@+.$%4.#'.(*%,"(=%("#$%$.+')+%,.%=+)*G+.%-"+$%,.%-&%,2*.+1)(&*)"(%,#%=&+&=*G+.%*&#*"-"A)7#.%"#

("(:*&#*"-"A)7#.%,<#(.%43+&$.> Z(.%)(82+.(=.%.$*%'&-),.%$)%.*%$.#-.1.(*%$)%-<)14-)=&*)"(%1&*2+).--.%,.

$&%="(=-#$)"(%4&+%D-&%="(U"(=*)"(%,.E%$.$%4+21)$$.$%.$*%#(.%*&#*"-"A).> !"#$%4"#'"($%,"(=%2A&-.1.(*

#*)-)$.+%-&%12*3",.%,.$%&+@+.$%4"#+%*.$*.+%-&%'&-),)*2%,.$%)(82+.(=.$> H&+%.6.14-.9 4"#+%*.$*.+%-&%'&-),)*2 ,.%-<&+A#1.(*%Mp→qfq →rf ,"(=p→rN%D'2+)B.+%$)%M{p→q, q→ r} |^ p→ rN%.$*%'+&).E9 ("#$

,2*.+1)("($%$)%-&%(2A&*)"(%,.%$&%="(=-#$)"(%.$*%="($)$*&(*.%&'.=%$.$%4+21)$$.$%_%$<)-%.6)$*.%#(.%4"$$):

@)-)*2%-"A)7#.%7#.%-.$%4+21)$$.$%$").(*%'+&).$%.*%-&%="(=-#$)"(%8&#$$.> ])%*"#*.$%-.$%@+&(=3.$%,.%-<&+@+.

="++.$4"(,&(*%;%=.**.%)14-)=&*)"(%$"(*%8.+12.$9 )-%(<5%&%&#=#(.%)(*.+4+2*&*)"(%7#)%+.(,.%'+&).$%;%-&%8")$

*"#*.$%-.$%4+21)$$.$%.*%-&%(2A&*)"(%,.%-&%="(=-#$)"(%=&+%-&%(2A&*)"(%,.%-&%="(=-#$)"(%.$*%)(="($)$*&(*.

&'.=%-.$%4+21)$$.$> \(%,<&#*+.$%*.+1.$9 *"#*.%)(*.+4+2*&*)"(%7#)%+.(,%'+&).%-<.($.1@-.%,.$%4+21)$$.$

+.(,%'+&).%-&%="(=-#$)"(> H&+%="($27#.(*9 -<)(82+.(=.%.$*%'&-),.> !"#$%="($*+#)$"($%-<&+@+.%$#)'&(* R

# p→q

# q→r

# ¬(p→r)

p

¬r

!!

!!

"

"

"

"

¬q r

# !

###

$$

$$

¬p q

! !