1. (F $ \lor $ G) ≡ H
2. H • ∼G
3. F ≡ I
-Which of the following propositions is an immediate (one-step) consequence in PL of the given premises?
A) F ≡ H
B) H ≡ (F $ \lor $ G)
C) ∼F ≡ I
D) I ≡ ∼F
E) ∼(F $ \lor $ G) ≡ H

Question

Quizplus · Accepted Answer

B is correct because it is simply a restatement of the first premise, (F $ \lor $ G) ≡ H, which is a given.

1 (F ∨ \lor ∨ G) ≡ H 2 ∨ \lor ∨

1 (F $\lor$ G) ≡ H
2 $\lor$