What do you understand by 'Logic' and 'Propositional Logic'?

Prove the following relation:
(P ^ Q) v (P ^ ~Q) = P

State the law represented by the following proposition and prove it with the help of a truth table:
P v P = P

How will you distinguish a proposition from a compound proposition?