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)...

1

Upload: others

Post on 31-May-2020

21 views

Category:

Documents


0 download

TRANSCRIPT