PrintForm Definitions sat lemmas Sections ClassicalProps(jlc) Doc

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

False
By: HypSubst 3 4
Generated subgoal:

14. 3 = 3
False

About:
falseequal