I'm a bit confused by the use of /\ and \/ weakening, I've the following exercise.
Now I can go about the lefthand part as follows:
Seems fair enough, but where I distributed the over and , I could've applied -weakening, which would've given a totally different outcome:
which is a false statement.
This all seems a bit ambiguous to me, and I was under the impression we used a formal language in the hopes of getting rid of just that
Any tips on the subject? Are there more rules I should adhere to? Do I have to prioritize distribution over weakening for example?
When is using weakening more appropriate? Some (links to) good examples would be excellent