PrintForm Definitions sat lemmas Sections ClassicalProps(jlc) Doc

At: formula and sat lemma1 1 1 1
1. a: Assignment
2. q: Formula
3. r: Formula
4. (q under a) (r under a) = 3
5. a |= q
6. a |= r

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

None

About:
andequal