p → q; ~ r → ~ q; ~ r ∴ ~ p TRUE

p → q
~ r → ~ q
~ r
inference logic ~ p
0

Truth check table

Casepqrp → q ~ r → ~ q ~ r ~ p
1TTTTTFF
2TTFTFTF
3TFTFTFF
4TFFFTTF
5FTTTTFT
6FTFTFTT
7FFTTTFT
8FFFTTTT
Public: Yes; Show truth table: Yes;