Added Logic.v
Prop.v: add forgotten Qed.
Logic.v exercises