PrintForm Definitions sat lemmas Sections ClassicalProps(jlc) Doc

At: formula imp falsifiable 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:
alland