(11steps) PrintForm Definitions core 3 jlc Sections Support(jlc) Doc

At: demorgan 1 1 5 1 2
1. P: Prop
2. Q: Prop
3. P
4. Q
5. P
6. Q
7. Q

False
By:
RenameVar `g' 7
THEN
Witness4 g
Generated subgoals:

None

About:
propfalse

(11steps) PrintForm Definitions core 3 jlc Sections Support(jlc) Doc