hyp,M,N:Formula List, q,r:Formula. |= < hyp,q.(M @ N) > |= < hyp,r.(M @ N) > |= < hyp,M @ (qr.N) >

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

About: