8/11/2019 09 Validity and Soundness

1/38

!" $%&"'"( )*" )%+,$- %. &/0,(,)1 /2( -%32(2"-- ,2 +'"-"2)/4%2 567 8%9,$/0 :)'"29)*7

/2( ;" '")3'2 )% )*"-" 2%4%2- /9/,2< =2 )*" 2">) +'"-"2)/4%2 ;" ;,00 0%%? /) /

-+"$,@$ A")*%( .%' '"$%92,B,29 &/0,( /2( ,2&/0,( /'93A"2) .%'A- ,2 $/)"9%',$/0 0%9,$/A+0"- %. -)'%29 /2( ;"/? /'93A"2)-"A+0,@"- "/$* %. )*" -,2- /2( )*"2

A3'("'- )*" ,2(,&,(3/0 ,2 -%A" A/22"' )*/) ,- '"0/)"( )% )*",' n-,2

8/11/2019 09 Validity and Soundness

10/38

:%A" /'93A"2)- /'" &/0,( /2( */&" /00 )'3" +'%+%-,4%2-< [*" /'93A"2) /G%&" ,- /2

">$"00"2) ">/A+0"< i%3 $/2 )"00 )*/) ,)`- / &/0,( /'93A"2) G"$/3-" ,. )*" +'"A,-"- /'"

)'3"7 )*"2 )*" $%2$03-,%2 A3-) G" )'3"< !*/) ,- A%'"7 )*" +'"A,-"- /'" ,2 ./$) )'3"

$/3-,29 )*" $%2$03-,%2 )% G" )'3" /- ;"00/A+0"- %. /'93A"2)- )*/) */&" &/0,( .%'A- /2( /00 )'3"

+'%+%-,4%2-< [*" /'93A"2) /G%3) )*" M/)',%)- .'%A )*" +'"&,%3- -0,(" ;/- /

$/)"9%',$/0 -100%9,-A7 )*"-" /'93A"2)- /'" 2%)< K21 ("(3$4&" /'93A"2) W;*")*"' ,2

$/)"9%',$/0 0%9,$ %' 2%)X $/2 G" &/0,( ;,)* /00 )'3" +'%+%-,4%2-7 ,. )*" +'"A,-"- /'"

)'3" /2( '"0"&/2) )% )*" $%2$03-,%2/A+0" %. /2 /'93A"2) )*/) ,- ,2&/0,( ("-+,)" */&,29 /00 )'3" +'%+%-,4%2-/A+0" %. /2 ,2&/0,( /'93A"2) )*/) */- )'3" +'"A,-"- /2( / ./0-"

$%2$03-,%2< [*,- ;,00 2"&"' */++"2 ,2 / &/0,( /'93A"2)< =2 / &/0,( /'93A"2)7 ,. )*"

+'"A,-"- /'" )'3"s"&"'1G%(1 -,29 /0%29o H%)* %. )*" +'"A,-"- %. )*,- /'93A"2) /'"

)'3"7 G3) )*"1 /'" 2%) '"0/)"( )% )*,- $%2$03-,%2< =2 ./$) )*"1 /'" '"0/)"( )% /2 "24'"01

(,a"'"2) $%2$03-,%2 WK00 M/)',%)- /'" /)*0")"-X< :%7 )*" )'3)* %. )*" +'"A,-"- ,2 2% ;/1

"a"$)- )*" )'3)* %. )*" $%2$03-,%2< j%4$" /9/,27 )*/) ,) ,- 2%) 9%%( "2%39* -,A+01 )%+'"-"2) )'3" "&,("2$"< [*" "&,("2$" A3-) G" '"0/)"( )% )*" $%2$03-,%27 %)*"';,-"7 ,)

-,A+01 (%"- 2%) A/L"' ;*")*"' )*" +'"A,-"- /'" )'3" %' 2%)/A+0"- %. /'93A"2)- )*/) /'" ,2&/0,( ;,)* )'3" +'"A,-"- /2( /

./0-" $%2$03-,%2< H%)* %. )*"-" /'93A"2)- /'" ,2&/0,( G"$/3-" )*" )'3)* %. )*"

+'"A,-"- (%"- 2%) .%'$" )*" $%2$03-,%2 )% G" )'3"