Use natural deduction to derive the conclusion of each argument.

----------------------------------------------
DIRECTIONS FOR TRANSLATIONS
Translate the following statements into symbolic form.  Use the letters O, C, M, P, R, N, and L as needed. Use (> for horseshoe) (* for dot)(v wedge)(=tripple bar)(~tilde)
-----------------------------------------------
1. Nikon will introduce a new lens but not both Minolta will extend its warranty and Olympus will introduce a smaller model.

2. Pentax will promote its auto flash provided that either Cannon advertises its auto focus or Ricoh increases sales.

3. Either Nikon’s introducing a new lens or Leica’s modernizing its factory is a sufficient condition for Ricoh to increase sales.

4. Ricoh will increase sales; however, if Leica modernizes its factory, then Pentax’s promoting its auto flash is a sufficient and necessary condition for Cannon to advertise its auto focus.
--------------------------------------------------------
DIRECTIONS FOR THE TRUTH TABLES
Use natural deduction to derive the conclusion of each argument. Do not use conditional proof or indirect proof!
-----------------------------------------------------
5.
1. B v ~A
2. ~B v C
3. C > (A * D)     /A=C

6.

1.  ~A > (~B > C)
2.  B > A
3.  ~C / A