- Thread starter
- #1

#### josephmary

##### New member

- Dec 9, 2019

- 1

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)

- Thread starter josephmary
- Start date

- Thread starter
- #1

- Dec 9, 2019

- 1

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)

- Jan 29, 2012

- 1,151

Can you state the *axioms* you are allowed to use?