PrintForm Definitions sequent sat lemmas Sections ClassicalProps(jlc) Doc

At: not sequent satisfiable and falsifiable 1 1 1 1 1
1. eqF: {Formula=}
2. S1: Formula List
3. S2: Formula List
4. a: Assignment
5. FS1.a | F
6. FS1.a |= F
7. FS2.a | F

False
By: Thin -1
Generated subgoal:

1 False

About:
falselist