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

At: demorgan2 1 1 4 1

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

False

By: Analyze -1

Generated subgoal:

16. P
7. Q
False

About:
propandorfalse

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