PrintForm Definitions sat lemmas Sections ClassicalProps(jlc) Doc

At: formula not falsifiable lemma 2 1
1. F: Formula
2. a: Assignment
3. a |= F

a | F
By:
OnHyps [-1;0] UnfoldTopAb
THEN
Reduce 0
Generated subgoal:

13. (F under a) = 3
(F under a) = 3

About:
equal