PrintForm Definitions sat lemmas Sections ClassicalProps(jlc) Doc

At: formula imp sat lemma

a:Assignment, q,r:Formula. a |= qr a | q a |= r
By: UnivCD
Generated subgoal:

11. a: Assignment
2. q: Formula
3. r: Formula
a |= qr a | q a |= r

About:
allor