 Clause (iv) entails that update with a conditional is defined via the equivalence A → B ≡ ¬ (A ∧ ¬ B) (provided that the subordinate clause precedes the main clause). To see how this will work, let’s consider the following example: