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!