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

At: demorgan2

P,Q:Prop. Dec(P) Dec(Q) ((P & Q) P Q)
By: GenUnivCD
Generated subgoal:

11. P: Prop
2. Q: Prop
3. Dec(P)
4. Dec(Q)
(P & Q) P Q

About:
decidablepropimpliesandorall

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