2. M: Formula List
3. N: Formula List
4. f2: Formula
5. |= < f2.hyp,M @ N >
|= < hyp,M @ (
f2.N) > 
hyp,M,N:Formula List, f2:Formula. |= < f2.hyp,M @ N > 
|= < hyp,M @ (f2.N) > | 1 | 1. hyp: Formula List 2. M: Formula List 3. N: Formula List 4. f2: Formula 5. |= < f2.hyp,M @ N > |= < hyp,M @ (f2.N) > |
About:
 |  |  |  |  |