- #1

Panphobia

- 435

- 13

## Homework Statement

So I would know how to prove a statement like [itex]\sqrt{2}[/itex] by contradiction, all you have to do is assume to negation. But what about something like

p → q

Like if p = (bc mod a != 0), q = (b mod a != 0), how would I prove this, would I negate q or p, or both?