PrintForm Definitions sequent sat lemmas Sections ClassicalProps(jlc) Doc

At: not sequent satisfiable and falsifiable

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

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

About:
alland