به حاصل $ \frac{x}{|y|} $ در دو حالت توجه کنید:
$1)if y>0 \Rightarrow ±\frac{x}{|y|}=± \frac{x}{y}= \frac{x}{y} \vee -\frac{a}{y} $
$2)if y<0 \Rightarrow ± \frac{x}{|y|} =± \frac{x}{-y}=-\frac{x}{y} \vee \frac{x}{y} $
می بینید که فقط ترتیب گزاره های نتیجه فرق میکند و نتیجه یکی است چون ترکیب گزاره های فصلی و عطفی مهم نیست.
$ \Box $