PrintForm Definitions sequent falsification Sections ClassicalProps(jlc) Doc

At: sq stable sequent falsifiable

a:Assignment, S:Sequent. SqStable(a | S)
By:
Unfold `sequent_falsifiable` 0
THEN
UnivCD
Generated subgoal:

11. a: Assignment
2. S: Sequent
SqStable(FS.H.a |= F & FS.C.a | F)

About:
alland