PrintForm Definitions sat lemmas Sections ClassicalProps(jlc) Doc

At: formula and sat lemma1

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

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

About:
allimpliesand