PrintForm Definitions sat lemmas Sections ClassicalProps(jlc) Doc

At: assignment monotone 1 1 1 1 1 1 1 1
1. f: Formula
2. x: Var
3. a: Assignment
4. a': Assignment
5. a' extends a
6. 3 = 3
7. a(x) = 3

False
By: ThreeNEQ -2
Generated subgoals:

None

About:
falseequalapply