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

At: contrapositive

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

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

About:
decidablepropimpliesall

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