Ex 3a + fixed typo in Ex7

Ex 3a might be wrong, as we have to consider 2 propositions a and b and
I only consider a single proposition a in the proof.