INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following argument:
1. H v (~T > R) 2. Hv (E > F) 3. ~T v E 4. ~H & D / R v F
INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following argument:
1. N > R 2. O <> R 3. (O > R) > L / (N > O) & L
INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following argument:
1. C 2. (C & T) > ~T 3. (C & ~T) > T / T < > ~T
Construct a regular proof to derive the conclusion of the following argument:
1. X >Y 2. (Y v ~X) > (Y > Z) / ~Z > ~X
INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following argument:
1. (A & U) < > ~R 2. ~(~R v ~A) / ~U
INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. Use indirect proof:
1. (R ? S) ? (H • ~G)
2. (K ? R) ? (G ? ~H) / ~R
INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. Use conditional proof:
1. N ? (F • A)
2. B ? (R • F) / (N ? B) ? (A ? R)