Welcome to our community

Be a part of something great, join today!

Find Proofs for the following 5 propositional logic statements

josephmary

New member
Dec 9, 2019
1
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)
 

HallsofIvy

Well-known member
MHB Math Helper
Jan 29, 2012
1,151
Can you state the axioms you are allowed to use?