Derive the conclusion of argument


Complete tyhe below:

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)

Q1. Nikon will introduce a new lens but not both Minolta will extend its warranty and Olympus will introduce a smaller model.

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

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

Q4. 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!

Q5. 1. B v ~A
2. ~B v C
3. C > (A * D) /A=C

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

Solution Preview :

Prepared by a verified Expert
Basic Computer Science: Derive the conclusion of argument
Reference No:- TGS01887979

Now Priced at $25 (50% Discount)

Recommended (97%)

Rated (4.9/5)