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

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

Q
By:
Analyze 5
THEN
DNth 2 0
THEN
Trivial
Generated subgoals:

None

About:
propor

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