★10. [∼(P • ∼Q) • ∼Q] ⊃ ∼P Use conditional proof or indirect proof and the eighteen rules of inference to establish the truth of the following tautologies.