logic problem about deduction

Printable View