Derivation and counterexample :an introduction to philosophical logic