Exercise #4
1. P v S P → R VALID S → R R
|P |S |R |P v S |P → R |S →R | |
|T |T |T |T |T |F | |
|T |T |F |F |T |F | |
|T |F |T |T |F |T | |
|T |F |F |T |F |T | |
|F |T |T |T |T |F | |
|F |T |F |T |T |F | |
|F |F |T |T |T |F | |
|F |F |F |T |T |F | |
| | | | | | | |
2. L → (J v R) ~ R → J VALID ~ J → R
|L |J |R |→(JvR) |~R→J |~J→R | |
|T |T |T |T |F |F | |
|T |T |F |F |T |T | |
|T |F |T |F |T |T |