a:Full( < M @ N,q.concl > ). a |= < M @ N,q.concl > 7. a: Assignment
8. a |
< M @ (q
r.N),concl > 9. a |
< M @ N,q.concl > 
a |= < r.(M @ N),concl > 
a | < r.(M @ N),concl > < M @ (qr.N),concl > < M @ N,q.concl > a |= < r.(M @ N),concl > a | < r.(M @ N),concl > | 1 | 6. a:Full( < M @ N,q.concl > ). a |= < M @ N,q.concl > 7. a: Assignment 8. a | < M @ (qr.N),concl > 9. a | < M @ N,q.concl > a |= < r.(M @ N),concl > a | < r.(M @ N),concl > |
About:
 |  |  |  |