PrintForm Definitions sat lemmas Sections ClassicalProps(jlc) Doc

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

a |= qr
By: Analyze -1
Generated subgoals:

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

About:
or