PrintForm
Definitions
sat
lemmas
Sections
ClassicalProps(jlc)
Doc
At:
formula
or
sat
lemma
1
1
7
1.
a:
Assignment
2.
q:
Formula
3.
r:
Formula
4.
3
= 3
3
= 3
3
= 3
By:
Choose [2]
Generated subgoals:
None
About:
= 3
3
= 3 
3 = 3
