QUESTION 11 Fill in the blanks to complete the following proof Some of the blank

Question

QUESTION 11 Fill in the blanks to complete the following proof Some of the blanks may be conclusions. In that case place one of our ASCIl-alternate propositional logic symbols (some of which are more than one keyboard stroke) in each blank, and do not add any space before, after, or between your keyboard strokes. Use the following symbols . tilde: dot:. (that's a period) wedge: v (that's a lowercase vee "v") horseshoe: (that's a dash followed by a right corner bracket) . triple bar: B) 3. (A-> B) v C 1 4. C 2, 3

Explanation / Answer

Please note: The rule names from the book are not given. Please use the corresponding rule name in place of the ones given below:

1. C v (A -> B)

2. ~ (A -> B)

3. (A -> B) v C 1, C

Commutative law

4. C 2,3 DS

Disjunctive syllogism.

Related Questions

Navigate

• Browse (All)
• Browse Q
• Subjects

---