Nuprl Definition : as_strong

as strong as Q  ==  ∀x:T. ((P x)  (Q x))



Definitions occuring in Statement :  all: x:A. B[x] implies:  Q apply: a
Definitions occuring in definition :  all: x:A. B[x] implies:  Q apply: a
FDL editor aliases :  as_strong

Latex:
P  as  strong  as  Q    ==    \mforall{}x:T.  ((P  x)  {}\mRightarrow{}  (Q  x))



Date html generated: 2016_05_14-AM-06_05_17
Last ObjectModification: 2015_09_22-PM-05_46_51

Theory : relations


Home Index