PrintForm Definitions sat lemmas Sections ClassicalProps(jlc) Doc

At: formula imp falsifiable lemma 1 2
1. a: Assignment
2. q: Formula
3. r: Formula
4. a |= q & a | r

a | qr
By: Analyze -1
Generated subgoal:

14. a |= q
5. a | r
a | qr

About:
and