PrintForm Definitions sat lemmas Sections ClassicalProps(jlc) Doc

At: formula falsifiable lemma1 1 1 1
1. a: Assignment
2. F: Formula
3. (F under a) = 3
4. 3 = 3

False
By: ThreeNEQ -1
Generated subgoals:

None

About:
falseequal