Nuprl - Pf not assert iff bfalse

(6steps) PrintForm Definitions bool 2 jlc Sections Support(jlc) Doc

At: not assert iff bfalse

P:. P P = false

By: GenUnivCD

Generated subgoals:

1 1. P:
2. P
P = false

2 1. P:
2. P = false
P

About:

(6steps) PrintForm Definitions bool 2 jlc Sections Support(jlc) Doc