PrintForm Definitions sat lemmas Sections ClassicalProps(jlc) Doc

At: formula not sat lemma 1
1. F: Formula
2. a: Assignment

a |= F a | F
By: UnivCD
Generated subgoal:

13. a |= F
a | F

About:
implies