Finish the following natural deduction proofs SolutionThe tw

Finish the following natural deduction proofs:

Solution

The two sets L and K are such that G is a subset of LUK

As~O is a subset of G, it follows that ~O is a sub set of LvK

Again it follows that any element not in O is in either L or K

which implies If an element is in L or K it necessarily is not in O

Or O/~x is a subset of X