Reading material

Pages 30-39.

Additional material

Question

How can you exploit tautology/wang and the deduction theorem when someone asks you "Can you prove that Q can be inferred from P?"