Hello,

I am new to logic and I could realy use some help.

is there anyone who can prove the following examples for me in Fitch style?

proof -(P v -(-Q v P)) without premisses.

proof -(P & Q) v (P V Q) without premisses.

proof -R v Q v -P v S from the premisses (-P v Q) & (-R v S).

Any help will be much apreciated!