Nuprl Definition : predicate-and

predicate-and(A;B) ==  λp.let x,y = p in (A x) ∧ (B y)


Definitions occuring in Statement :  and: P ∧ Q,  apply: f a,  lambda: λx.A[x],  spread: spread def
Definitions occuring in definition :  lambda: λx.A[x],  spread: spread def,  and: P ∧ Q,  apply: f a
FDL editor aliases :  predicate-and
Latex:
predicate-and(A;B)  ==    \mlambda{}p.let  x,y  =  p  in  (A  x)  \mwedge{}  (B  y)


Date html generated: 2016_05_14-PM-04_08_57
Last ObjectModification: 2015_09_22-PM-06_02_13

Theory : fan-theorem


Home Index