Nuprl - Pf f or wf

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

At: f or wf

p,q:Formula. pq Formula

By: UnivCD

Generated subgoal:

1 1. p: Formula
2. q: Formula
pq Formula

About:

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