18.7k views
5 votes
Select the conclusion that follows in a single step

Given the following premises:
1. R ⊃ (∼B ⊃ F)
2.∼U ⊃ B
3.∼B
A. F 1, 3, MP
B. (R ⊃ ∼B) ⊃ F 1, Assoc
C. R ⊃ (∼F ⊃ ∼∼B) 1, Trans
D. U 2, 3, MT
E. ∼B ⊃ U 2, Trans

User Iamcool
by
7.5k points

1 Answer

4 votes

Final answer:

The conclusion that follows in a single step is F.

Step-by-step explanation:

The conclusion that follows in a single step is option A. F (1, 3, MP).

To arrive at this conclusion, we can use the following steps:

  1. Using Modus Ponens (MP), we can infer (∼B ⊃ F) from R ⊃ (∼B ⊃ F) and R. So, we have (∼B ⊃ F) as the first intermediate conclusion.
  2. Using Modus Ponens (MP) again, we can infer F from (∼B ⊃ F) and ∼B. So, F is the final conclusion.

User Korbbit
by
8.1k points