PrintForm Definitions sat lemmas Sections ClassicalProps(jlc) Doc

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

a | q a |= r
By: DNth 1 0
Generated subgoal:

1 a | q

About:
orequal