Recent content by josephmary

i came acroos the below while studying propositional Logic, can anyone find the proofs 1) P ⊢ P 2) P → Q, Q→R ⊢ P → R 3) P → Q, Q→R, ¬R ⊢ ¬P 4) Q→R ⊢ (PvQ) → (PvR) 5) P →Q ⊢ (P&R) → (Q&R)