Nuprl - Pf fnot wf 1 1

(3steps) PrintForm Definitions formula Sections ClassicalProps(jlc) Doc

At: fnot wf 1 1

1. x: Formula

inr(inl(x)) Formula

By: RecMemberFormulaCD

Generated subgoals:

None

About:

(3steps) PrintForm Definitions formula Sections ClassicalProps(jlc) Doc