Nuprl Lemma : fo-logic-test2

x:Dom. ((B x)  (B x))


Proof




Definitions occuring in Statement :  language1: language1{i:l}(D,A,B,C,P,Q,R,H.fml[D;A;B;C;P;Q;R;H]) all: x:A. B[x] implies:  Q apply: a
\mforall{}x:Dom.  ((B  x)  {}\mRightarrow{}  (B  x))



Date html generated: 2015_07_17-AM-07_52_45
Last ObjectModification: 2015_01_30-AM-01_13_09

Home Index