P ∨ Q

P/ ∴ -Q 

틀린 논증 아닌가요??