2. M: Formula List
3. N: Formula List
4. q: Formula
5. r: Formula
6. |= < M @ N,q.concl >
7. |= < r.(M @ N),concl >
|= < M @ (q
r.N),concl > 
concl,M,N:Formula List, q,r:Formula.
|= < M @ N,q.concl > |= < r.(M @ N),concl > |= < M @ (qr.N),concl > | 1 | 1. concl: Formula List 2. M: Formula List 3. N: Formula List 4. q: Formula 5. r: Formula 6. |= < M @ N,q.concl > 7. |= < r.(M @ N),concl > |= < M @ (qr.N),concl > |
About:
 |  |  |  |  |