SOLUTION:
Given the following premises:
1. (~H · ~J) > K
2. ~(~H · ~J)
3. (~H · N) v (~H · ~J)
What would be the conclusion that would result from a single step?
Algebra ->
Proofs
-> SOLUTION:
Given the following premises:
1. (~H · ~J) > K
2. ~(~H · ~J)
3. (~H · N) v (~H · ~J)
What would be the conclusion that would result from a single step?
Log On
1. (~H · ~J) > K
2. ~(~H · ~J)
3. (~H · N) v (~H · ~J)
4. ~H · N 3,2, disjunctive syllogism
[Note that we cannot get ~K just because of 1 and 2,
because something else might imply K besides (~H · ~J)]
Edwin
