PrintForm Definitions sat lemmas Sections ClassicalProps(jlc) Doc

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

a |= qr
By: OnHyps [-1;0] UnfoldTopAb
Generated subgoal:

14. (r under a) = 3
(qr under a) = 3

About:
equal