PrintForm Definitions sat lemmas Sections ClassicalProps(jlc) Doc

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

a |= q & a | r
By: Analyze 0
Generated subgoals:

1 a |= q
2 a | r

About:
and