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

At: demorgan

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

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