PrintForm Definitions sequent falsification Sections ClassicalProps(jlc) Doc

At: sq stable sequent falsifiable 1
1. a: Assignment
2. S: Sequent

SqStable(FS.H.a |= F & FS.C.a | F)
By: ProveSqStable
Generated subgoals:

None

About:
and