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

At: demorgan2 1 1 5
1. P: Prop
2. Q: Prop
3. P
4. Q
5. (P & Q)

P Q
By: DNth 1 0
Generated subgoals:

None

About:
propandor

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