PrintForm Definitions sat lemmas Sections ClassicalProps(jlc) Doc

At: formula falsifiable lemma1

a:Assignment, F:Formula. a | F a |= F
By: UnivCD
Generated subgoal:

11. a: Assignment
2. F: Formula
3. a | F
a |= F

About:
allimplies