- #1

- 9

- 0

A1: p→~y

A2: ~r→q

A3: p→~z

A4: x→ q or z

A5: r→x or y

Do I have to take the contrapositive of some of the axioms to begin this proof?

- Thread starter LCharette
- Start date

- #1

- 9

- 0

A1: p→~y

A2: ~r→q

A3: p→~z

A4: x→ q or z

A5: r→x or y

Do I have to take the contrapositive of some of the axioms to begin this proof?

- #2

HallsofIvy

Science Advisor

Homework Helper

- 41,833

- 961

- #3

- 9

- 0

Conclusions Justifications

1. p Given

2. ~z or ~y All cases

3. ~z Case 1

4. ~x A4

5. ~r A5

6. q A2

- Last Post

- Replies
- 4

- Views
- 2K

- Last Post

- Replies
- 1

- Views
- 4K

- Last Post

- Replies
- 2

- Views
- 4K

- Last Post

- Replies
- 4

- Views
- 1K

- Replies
- 1

- Views
- 369

- Last Post

- Replies
- 1

- Views
- 3K

- Last Post

- Replies
- 5

- Views
- 3K

- Last Post

- Replies
- 3

- Views
- 1K

- Replies
- 2

- Views
- 1K

- Replies
- 2

- Views
- 1K