Question

The following statement `(p to q) to [(~p to q) to q]` is
A. a fallacy
B. a tautology
C. equivalent to `~p toq `
D. equivalent to `p to ~q`

Answer 1

Correct Answer - B
`(p to q) to {(~p to q) to q}`
`=(p to q) to {(p vvq) to q}`
`=( p to q) to {(~p to ~q) vvq}`
`=(p to q) to {(~p vvq) ^^(~qvvq)}`
`=(p to q) to (~p vvq)`
`=( pto q) to (p to q) `
=T