pq; ~ r ~ q; ~ r ~ p TRUE

pq
~ r ~ q
~ r
inference logic ~ p

Truth check table

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