q(a) q(a) p, p -+ q(a) p q(a) —'p q(b) q(b) p —y q(a), …p —y q(a), —rp —¥ q(b)...