Learning and practicing the lawgic stuff. I promise this is the last one for tonight (its 1:30 am).
Given:
If Wong is appointed arbitrator, a decision will be reached promptly. Since it would be absurd to appoint anyone other than Wong as arbitrator, a prompt decision can reasonably be expected.
I did:
Wong -> Prompt
/Wong -> Absurd
[assumption] /Absurd
--------------------
Wong
--------------------
Prompt
In other words, there is like an intermediate assumption and subconclusion or something happening. We have "if Wong is not chosen as arbitrator, it would be absurd" [assumption] "we are not absurd", therefore, Wong is implicitly chosen. And since Wong -> Prompt, therefore, Prompt!
I have just not seen the lecturer or anyone do a notation yet for this assumption or intermediate conclusion stuff yet. Is there a defined way to do this I should follow?

