How do I use the rules of inference to derive conclusions of these symbolized arguments?

  • Thread starter Thread starter Jason
  • Start date Start date
J

Jason

Guest
(1.)

1. (N כ B) * (O כ C)
2. Q כ (N v O)
3. Q / B v C

(2.)
1. (U v W) כ (T כ R)
2. U * H
3. ~R * ~J / U * ~T

(3.)

1. (B v F) כ (A כ G)
2. (B v E) כ (G כ K)
3. B * ~H / A כ K

(4.)

1. (P כ R) כ (M כ P)
2. (P V M) כ (P כ R)
3. P v M / R v P

(5.)

1. F כ (~T * A)
2. (~T v G) כ (H כ T)
3. F * O / ~H * ~ T

Note: I am using * in-place of the . (dot) logical operator as my keyboard would not type the dot.

This is not math!! This is philosophy, symbolic reasoning. If you do not know the difference leave. Thanks
 
Back
Top