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

At: decidable functionality wrt iff 2 2 1 1 1
1. P: Prop
2. Q: Prop
3. P Q
4. P Q
5. Q False
6. P
7. Q

False
By:
FwdThru 5 [7]
THEN
Trivial
Generated subgoals:

None

About:
propimpliesfalse

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