At: zero rank valid or falsifiable 1 1 2 1 1 1 1 1 1 1 1 1
1. L: Sequent List
2. eqS: {Sequent=
}
3. eqF: {Formula=}
4. 
s
L.(
(s) = 0)
5. sL.(
disjoint(eqF;s.H;s.C))
6. z: Sequent
7. x: Formula
8. x(eqF) z.H
9. x(eqF) z.C
10. a: Assignment
11. a |= z 
a |
z
a |= z
By: Analyze -1 THENL [Trivial;Id]
Generated subgoal:| 1 | 11. a | z
a |= z |
About:
