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

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

False
By:
RenameVar `x' 6
THEN
Witness3 x
Generated subgoals:

None

About:
proporfalse

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