PrintForm Definitions sequent satisfaction Sections ClassicalProps(jlc) Doc

At: sq stable sequent satisfiable

a:Assignment, S:Sequent. SqStable(a |= S)
By: UnivCD
Generated subgoal:

11. a: Assignment
2. S: Sequent
SqStable(a |= S)

About:
all