Nuprl - Proof: qnot subx

(3steps total) PrintForm Definitions ElisTarskiPf B Sections NuprlLIB Doc

At: qnot subx

t,e:Term. NOT(t)/e = NOT(t/e)

By: GenUnivCD

Generated subgoal:

1 1. t: Term
2. e: Term
NOT(t)/e = NOT(t/e) 2 steps

About:

(3steps total) PrintForm Definitions ElisTarskiPf B Sections NuprlLIB Doc