Derivation Strategies (L1 & L2 ) [Logic: 1 Rabern]

• Try to reason out the argument for yourself.

• Begin with a sketch of an outline of a derivation, and then fill in the details.
• Write down obvious consequences.
• When no other strategy is obvious, try indirect derivation.

To Derive: Try this:

2∧# Derive each conjunct, and adjoin them with adj

2∨# (1) Derive either disjunct and use add, or

(2) Assume ¬(2 ∨ #) for indirect derivation and immediately use dm, or
(3) Derive ¬2 → # and use cdj.

2→# Use conditional derivation cd. Assume 2, show #.

2↔# Derive both conditionals and use cb.

¬(2 ∧ #) Assume 2 ∧ # for indirect derivation.

¬(2 ∨ #) Derive ¬2 ∧ ¬# and use dm.

¬(2 ↔ #) Derive 2 ↔ ¬# and use nb.

If Available: Try this:

2∧# Simplify and use the conjuncts singly.

2∨# (1) Derive the negation of one of the disjuncts, and use mtp, or
(2) Set things up to use sc, by deriving the two conditionals 2 → 4 and # → 4.

2→# Derive the antecedent to set up mp, or derive the negation of the consequent, to set up mt.

2↔# Infer both conditionals and use them with mp, mt, and so on.

¬(2 ∧ #) Use dm to turn this into ¬2 ∨ ¬#, then simplify and use the conjuncts singly.

¬(2 ∨ #) Use dm to turn this into ¬2 ∧ ¬#, then simplify and use the conjuncts singly.

¬(2 ↔ #) Use nb to turn this into 2 ↔ ¬#, and use bc to get the corresponding conditionals.