Replacement Rules

Part I: True or False. Are the follow examples a proper application of the rule cited:

1. ~X v B
2. ~X ~B DeMorgan's (DeM)

1. ~X Y
2. ~~X v Y Conditional Exchange (CE)

1. ~(A C) v B
2. (A C) B Conditional Exchange (CE)

1. ~(A C) B
2. (~A v ~C) B DeMorgan's (DeM)

Part II: Cite the rule that used in the following inferences:

1. ~X ~A
2. ~(X v A)

1. ~(A v ~B) C
2. (~A ~~B) C

1. (A B) ~C
2. ~(A B) ~C

Part III: Construct a proof for the following arguments:

1. ~(A v B) Pr. /
   

\f\f