SOLUTION: I. Evaluate the following arguments: 1. 1. ∼B ⊃ [(A ⊃ K ) ⊃ (B v ∼K )] 2. ∼J ⊃ K 3. A ⊃ ∼J 4. ∼B           /~A 2. 1. (R ⊃ F) ⊃ [(R ⊃ ∼G)

Algebra ->  Proofs -> SOLUTION: I. Evaluate the following arguments: 1. 1. ∼B ⊃ [(A ⊃ K ) ⊃ (B v ∼K )] 2. ∼J ⊃ K 3. A ⊃ ∼J 4. ∼B           /~A 2. 1. (R ⊃ F) ⊃ [(R ⊃ ∼G)       Log On


   

Question 1187551: I. Evaluate the following arguments:
1.
1. ∼B ⊃ [(A ⊃ K ) ⊃ (B v ∼K )] 2. ∼J ⊃ K 3. A ⊃ ∼J 4. ∼B           /~A
2.
1. (R ⊃ F) ⊃ [(R ⊃ ∼G) ⊃ (S ⊃ Q)]
2. (Q ⊃ F ) ⊃ (R ⊃ Q)
3. ∼G ⊃ F
4. Q ⊃ ∼G       / S ⊃ F
II. The following symbolized arguments are missing a premise. Write the premise
needed to derive the conclusion (last line ), and supply the justification for
the conclusion. Try to construct the simplest premise needed to derive the
conclusion.
1.
1. C v L
2. L ⊃ T
3. ______
4. L ____
2.
1. E ⊃ N
2. T v ∼E
3. S ⊃ E
4. ______
5. E ____
3.
1. ∼R ⊃ D 2. ∼J ⊃ ∼R 3. N v ∼R 4. ______
5. ∼F ⊃ ∼R
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!
I. Evaluate the following arguments:
1.
1. ∼B ⊃ [(A ⊃ K) ⊃ (B v ∼K)]
2. ∼J ⊃ K
3. A ⊃ ∼J
4. ∼B           /~A

5. (A ⊃ K) ⊃ (B v ∼K)        1,4 Modus Ponens
6. A ⊃ K                     3,2 Hypothetical Syllogism
7. B v ~K                     5,6 Modus Ponens
8. ~K                         7,4 Disjunctive Syllogism
9. ~K ⊃ ~~J                    2, Transposition
10. ~K ⊃ J                     9, Double negation
11.  J                      10,8, Modus ponens
12. ~~J ⊃ ~A                   3, Transposition
13. J ⊃ ~A                    12, Double negation
14. ~A                       13,11, Modus Ponens




II.
1. (R ⊃ F) ⊃ [(R ⊃ ∼G) ⊃ (S ⊃ Q)]
2. (Q ⊃ F ) ⊃ (R ⊃ Q)
3. ∼G ⊃ F
4. Q ⊃ ∼G                        / S ⊃ F

5. Q ⊃ F                     4,3, Hypothetical syllogism
6. R ⊃ Q                     2,5, Modus ponens
7. R ⊃ F                     5,6, Hypothetical syllogism
8. (R ⊃ ∼G) ⊃ (S ⊃ Q)       1,7, Modus ponens
9. R ⊃ ∼G                    6,4, Hypothetyical syllogism
10. S ⊃ Q                    8,9, Modus ponens
11. S ⊃ F                    10,5, Hypothetical syllogism
II. The following symbolized arguments are missing a premise. Write the premise
needed to derive the conclusion (last line ), and supply the justification for
the conclusion. Try to construct the simplest premise needed to derive the
conclusion.
This is crazy because the simplest premise is just to copy the
conclusion itself as the simplest premise.

Edwin