Nuprl - Pf demorgan 1 1 5

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

At: demorgan 1 1 5

1. P: Prop
2. Q: Prop
3. P
4. Q
5. P
6. Q

(P Q)

By: Analyze 0

Generated subgoal:

1 7. P Q
False

About:

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